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