Algebraic Number Fields [HB 38]

Changes:

• A new version of KANT (Kash V2.2) has been installed. As a consequence, the computation of class groups, units and S-units is much faster.
• The procedure Verify for algebraic number fields and their orders has been removed, since it is no longer necessary.
• The parameters for the function ClassGroup for algebraic number fields and their orders have changed.
• The function ResidueClassField has been changed to take only one argument (a prime). The previous syntax, taking the ring and the prime, will be deleted in a future release.
• The functions CRT and ChineseRemainderTheorem have been changed to take a sequence of residues of type RngOrdElt's, followed by a sequence of moduli, as for the function over the integers. The previous four argument function will be deleted in a future release.

New features:

• The computation of the Galois group of the splitting field of a number field has been extended up to degree 20.
• Functionality for the rationals has been added for compatibility with orders in number rings.