4.13.1.2 FractionalIdeal Objects

class FractionalIdeal
FractionalIdeal( number_field, T, data)

Instances of class FractionalIdeal have the following functions (in addition to inherited functions and special functions):

characteristic,$  $ generators,$  $ hermite_basis,$  $ idele,$  $ integral_basis,$  $ is_principal,$  $ number_field,$  $ ramification,$  $ residue_class_degree,$  $ residue_class_field

Further documentation:

generators( )

Two elements that generate the ideal. The first is an integer and the second is a Z-linear combination of the chosen basis for O_K. OUTPUT: tuple - (p, v)

integral_basis( )

Integral basis (over Z), which need not be in Hermite normal form.

residue_class_field( )

See About this document... for information on suggesting changes.