Appearance
How to ...
... compute an order of a number field?
... decompose a prime in the ring of integers?
... test if an ideal is principal?
... construct a residue field?
... reduce a polynomial modulo a prime ideal?