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