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

<p>&nbsp;<p>
<hr noshade size="5">
<h2><a name="OrderSimplify"></a>
OrderSimplify
</h2>

Returns the given order in a simplified representation.

<p><p>

<h3>
Syntax:
</h3>
<pre>o1 := OrderSimplify(o);</pre>

<p>

<table>
<tr>
<td>order</td>
<td><pre>  o1  </pre></td>
<td></td>
</tr>
<tr>
<td>order</td>
<td><pre>  o  </pre></td>
<td></td>
</tr>
</table>

<p>


See also:&nbsp;&nbsp;<a href="kashref.html#OrderTransformationMatrix">OrderTransformationMatrix</a>, <a href="kashref.html#Order">Order</a>

<p>

<h3>
Description:
</h3>
The order is simplified in the sense
that the number of suborders might be reduced.

<p><p>

<p>
<hr>
<p>
<h3>
Example:
</h3>
Simplification of an order. 
<pre>

kash> o := Order (Poly(Zx,[1,0,73,-280, -2399]));
Generating polynomial: x^4 + 73*x^2 - 280*x - 2399

kash> M1 := Mat (Z, [[2,0,-1,-2],[0,2,-1,0],[0,0,1,0],[0,0,0,1]]);
[ 2  0 -1 -2]
[ 0  2 -1  0]
[ 0  0  1  0]
[ 0  0  0  1]
kash> M2 := Mat (Z, [[823,0,0,-409],[0,823,0,-789],[0,0,823,-28],[0,0,0,1]]);
[ 823    0    0 -409]
[   0  823    0 -789]
[   0    0  823  -28]
[   0    0    0    1]
kash> o := Order (o, M1, 2);
   F[1]
    |
   F[2]
  /
 /
Q
F  [ 1]     Given by transformation matrix
F  [ 2]     x^4 + 73*x^2 - 280*x - 2399

kash> o := Order (o, M2, 823);
   F[1]
    |
   F[2]
    |
   F[3]
  /
 /
Q
F  [ 1]     Given by transformation matrix
F  [ 2]     Given by transformation matrix
F  [ 3]     x^4 + 73*x^2 - 280*x - 2399

kash> O := OrderSimplify (o);
>    F[1]
    |
   F[2]
  /
 /
Q
F  [ 1]     Given by transformation matrix
F  [ 2]     x^4 + 73*x^2 - 280*x - 2399


</pre>

<p>


<hr>

<p>
<a href="../kashref.html"><- back</a>[back] [prev] [next] [index] [root]