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