nzmath

round2

The round 2 method is for obtaining the maximal order of a number field from an order generated by a root of a defining polynomial of the field.
(new in 0.90.0)

See:

Functions

There are 2 public functions in the module.

round2(minpoly_coeff)

Return integral basis of the ring of integers of a field with its discriminant. The field is given by a list of integers, which is a polynomial of generating element theta. The polynomial ought to be monic, in other word, the generating element ought to be an algebraic integer.

The integral basis will be given as a list of rational vectors with respect to theta.

Dedekind(minpoly_coeff, p, e)

Return (finished or not, an order)

This is the Dedekind criterion.

Arguments:

The returned order is in a class ModuleWithDenominator.

Class

A class is defined to represent a Z-module in this module. It is not a general purpose Z-module, you are warned.

ModuleWithDenominator

Represent basis of Z-module with denominator.

To obtain basis from the module, one can use either methods of get_rationals or get_polynomials.