Algebraic number theory and an interface to PARI/GP
