Package sage :: Package rings :: Module number_field :: Class FractionalIdeal
[show private | hide private]
[frames | no frames]

Class FractionalIdeal


Method Summary
  __init__(self, number_field, T, data)
  __repr__(self)
  characteristic(self)
  generators(self)
Two elements that generate the ideal.
  hermite_basis(self)
  idele(self)
  integral_basis(self)
Integral basis (over Z), which need not be in Hermite normal form.
  is_principal(self)
  number_field(self)
  ramification(self)
  residue_class_degree(self)
  residue_class_field(self)

Method Details

generators(self)

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(self)

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

Generated by Epydoc 2.1 on Mon Jun 20 15:43:22 2005 http://epydoc.sf.net