Text this: Algorithmic algebra and number theory :