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