There are two representations for ideals, first by two generating elements and second by a module basis over the coefficient ring of the order. Multiplicative arithmetic is supported and you may also take the sum of two ideals, which is the same as to compute the gcd of these ideals.

Built:
Mon Nov 14 21:12:39 UTC 2005 on mackThe KANT Group