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

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

Tests whether the element is an algebraic integer resp. an element
of the order. The second parameter "order" checks, if the element
is
integral in the mathematical sence, e.g. if it has a denominator.

<p><p>

<h3>
Syntax:
</h3>
<pre>b := EltIsIntegral(a);
b := EltIsIntegral(a, "order");</pre>

<p>

<table>
<tr>
<td>boolean</td>
<td><pre>  b  </pre></td>
<td></td>
</tr>
<tr>
<td>algebraic element</td>
<td><pre>  a  </pre></td>
<td></td>
</tr>
</table>

<p>


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

<p><p>

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

<pre>

kash> o := Order(Z,4,3);
Generating polynomial: x^4 - 3

kash> a := Elt(o,[1,2,3,4]);
[1, 2, 3, 4]
kash> EltIsIntegral(a);
true
kash> EltIsIntegral(a/13);
false

kash> o:= Order(Z,2,5);
Generating polynomial: x^2 - 5

kash> a := Elt(o, [1,1]/2);
[1, 1] / 2
kash> EltIsIntegral(a);
true
kash> EltIsIntegral(a, "order");
> false

</pre>

<p>


<hr>

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