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

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

Returns the trace of an algebraic element. The trace is contained
in the coefficient ring of the defining order or
in the given order o.

<p><p>

<h3>
Syntax:
</h3>
<pre>t := EltTrace (a [,o]);</pre>

<p>

<table>
<tr>
<td>rational number or algebraic element</td>
<td><pre>  t  </pre></td>
<td></td>
</tr>
<tr>
<td>algebraic element</td>
<td><pre>  a  </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#EltNorm">EltNorm</a>

<p>

<h3>
Description:
</h3>
<i>no detailed description available yet</i>

<p><p>

<p>
<hr>
<p>
<h3>
Example:
</h3>
Computation of several traces. 
<pre>

kash> o := Order (Poly(Zx,[1,0,73,-280,-2399]));;
kash> O := OrderMaximal (o);;
kash> oo := Order (O,2,3);
      F[1]
        /
       /
   E1[1]
    |
   E1[2]
  /
 /
Q
F  [ 1]     x^2 - 3
E 1[ 1]     Given by transformation matrix
E 1[ 2]     x^4 + 73*x^2 - 280*x - 2399

kash> a := Elt (O,[0,0,0,1]);;
kash> b := EltMove (a,oo);
[[0, 0, 0, 1], 0]
kash> EltTrace (b);
[0, 0, 0, 2]
kash> EltTrace (EltTrace (b));
> -138

</pre>

<p>


<hr>

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