Package sage :: Package algebras :: Module quatalg :: Class Ideal_QQ
[show private | hide private]
[frames | no frames]

Class Ideal_QQ

Lattice --+    
          |    
      Ideal --+
              |
Lattice --+   |
          |   |
 Lattice_QQ --+
              |
             Ideal_QQ


Method Summary
  is_isomorphic(self, other)
  is_left_isomorphic(self, other)
  is_right_isomorphic(self, other)
  isomorphism(self, other)
  left_isomorphism(self, other)
  left_order(self)
  norm(self)
Return the norm of the ideal, which is the positive generator of the image of the norm map in ZZ.
  right_isomorphism(self, other)
  right_order(self)
    Inherited from Lattice_QQ
  gram_matrix(self)
Return the Gram matrix with respect to the norm on the basis.
  reduced_basis(self)
Return a Minkowski-reduced basis for self.
  reduced_gram_matrix(self)
Return the unique Minkowski-reduced Gram matrix.
    Inherited from Ideal
  __init__(self)
  __mul__(self, other)
Return the product (=composition) of ideals self and other.
  __repr__(self)
  composite(self, other)
Return the product (=composition) of ideals self and other.
  conjugate(self)
Return the conjugate ideal.
  intersection(self, other)
Return the intersection of ideals self and other.

Method Details

norm(self)

Return the norm of the ideal, which is the positive generator of the image of the norm map in ZZ.

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