Number Theory

Here are some sample computations using Axiom's algebraic number facilities.