[back] [prev] [next] [index] [root]

 


IdealOrder

This function returns the order of an ideal.

Syntax:

O := IdealOrder(I);

Order
  O  
Ideal
  I  

Description:

This function returns the order of an ideal under which it is defined. The order is included in the KASH data structure ideal, no calculation occurs.


Example:


kash> O:=Order(Z,2,-3);
Generating polynomial: x^2 + 3

kash> I:=3*O;
<3>
kash> IdealOrder(I);
> Generating polynomial: x^2 + 3



<- back[back] [prev] [next] [index] [root]