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

 


OrderCoefOrder

Returns the coefficient ring of a given order.

Syntax:

c := OrderCoefOrder(o);

order, ring of integers
  c  
order
  o  

See also:  OrderEquationOrder, OrderSubOrder

Description:

Returns the coefficient ring c of the given order o.


Example:

A simple relative extension

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

kash> o2:=Order(o1,2,3);
      F[1]
        /
       /
   E1[1]
  /
 /
Q
F  [ 1]     x^2 - 3
E 1[ 1]     x^2 - 2

kash> OrderCoefOrder(o2);
> Generating polynomial: x^2 - 2



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