2WF70 (2018-1) Algorithmic algebra and number theory