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

 


OrderDeg

Returns the relative degree of the given order.

Syntax:

d := OrderDeg(o);

integer
  d  
order
  o  

See also:  OrderDegAbs

Description:

Returns the degree [Q(o) : Q(C(o))] of Q(o) as vector space over Q(C(o)), where C(o) is the coefficient ring of the given order.


Example:

Some relative degrees of extensions.

kash> F := Order (Poly (Zx,[1,0,-186,0,13097,0,-412704,0,4946176]));
Generating polynomial: x^8 - 186*x^6 + 13097*x^4 - 412704*x^2 + 4946176

kash> E := Order (F, 2, 7);
      F[1]
        /
       /
   E1[1]
  /
 /
Q
F  [ 1]     x^2 - 7
E 1[ 1]     x^8 - 186*x^6 + 13097*x^4 - 412704*x^2 + 4946176

kash> OrderDeg (E);
2
kash> OrderDeg (F);
> 8


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