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

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

Computes the norm of an algebraic number, an ideal, a polynomial
or an alff element or divisor.

<p><p>

<h3>
Syntax:
</h3>
<pre>n := Norm(a);
n := Norm(b, o);</pre>

<p>

<table>
<tr>
<td>int | rational | algebraic number | polynomial</td>
<td><pre>  n  </pre></td>
<td></td>
</tr>
<tr>
<td>algebraic element | ideal | polynomial | alff element | ff element</td>
<td><pre>  a  </pre></td>
<td></td>
</tr>
<tr>
<td>algebraic element | ff element</td>
<td><pre>  b  </pre></td>
<td></td>
</tr>
<tr>
<td>order</td>
<td><pre>  o  </pre></td>
<td></td>
</tr>
</table>

<p>


<h3>
Description:
</h3>
Depending on the type of <tt> a</tt> or <tt> b</tt> the norm of an algebraic
element, the norm of an ideal, polynomial or an alff element or
divisor
is computed.

<p><p>

<p>
<hr>
<p>
<h3>
Example:
</h3>
This examples take place in {\Bbb Q}(\sqrt5): 
<pre>

kash> o := Order(Z, 2, 5);;
kash> Norm(Elt(o, [1, 2]));
-19
kash> u := OrderUnitsFund(o);
[ [2, 1] ]
kash> Norm(u[1]);
-1
kash> Norm(2*o);
4
kash> Norm(Ideal(2, Elt(o,[2,3 ])));
> 1

</pre>

<p>


<hr>

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