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

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

Given an order of a global function field,
the function returns an order with
a 0-reduced basis.

<p><p>

<h3>
Syntax:
</h3>
<pre>o2 := AlffOrderReduce(o1);</pre>

<p>

<table>
<tr>
<td>global function field order</td>
<td><pre>  o2  </pre></td>
<td></td>
</tr>
<tr>
<td>global function field order</td>
<td><pre>  o1  </pre></td>
<td></td>
</tr>
</table>

<p>


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

<p>

<h3>
Description:
</h3>
The infinite place of k(T) has to be tamely ramified in F.
See Scho1 for definitions and algorithms.

<p><p>

<p>
<hr>
<p>
<h3>
Example:
</h3>

<pre>

kash> AlffInit(FF(5,2));
"Defining global variables: k, w, kT, kTf, kTy, T, y, AlffGlobals"
kash> AlffOrders(y^3+T^13*y^2+T^4+T+1);
"Defining global variables: F, o, oi, one"
kash> o;
Finite maximal order of 
Algebraic function field defined by
.1^3 + .1^2*.2^13 + .2^4 + .2 + 1
over
Univariate rational function field over GF(5^2)
Variables: T
given by transformation matrix
[   T + 3        0        3]
[       0    T + 3        4]
[       0        0        1]
with denominator T + 3
kash> AlffOrderReduce(o);
> Finite maximal order of 
Algebraic function field defined by
.1^3 + .1^2*.2^13 + .2^4 + .2 + 1
over
Univariate rational function field over GF(5^2)
Variables: T
given by transformation matrix
[               T + 3              3*T + 4              4*T + 3]
[                   0        T^14 + 3*T^13    3*T^14 + T^13 + 4]
[                   0                T + 3              3*T + 1]
with denominator T + 3

</pre>

<p>


<hr>

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