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

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

Computes the conjugates of an algebraic number.

<p><p>

<h3>
Syntax:
</h3>
<pre>v := EltCon(alpha);
c := EltCon(alpha,i);</pre>

<p>

<table>
<tr>
<td>complex matrix</td>
<td><pre>  v  </pre></td>
<td></td>
</tr>
<tr>
<td>complex number</td>
<td><pre>  c  </pre></td>
<td></td>
</tr>
<tr>
<td>algebraic element</td>
<td><pre>  alpha  </pre></td>
<td></td>
</tr>
<tr>
<td>integer</td>
<td><pre>  i  </pre></td>
<td></td>
</tr>
</table>

<p>


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

<p>

<h3>
Description:
</h3>
Let a be an algebraic number whose underlying order
is of degree n over Z.\bigskip

<tt> EltCon(a)</tt>
returns the complex matrix (a^{(1)}, &hellip; ,a^{(n)}).\medskip

<tt> EltCon(a,i)</tt>
returns the complex number a^{(i)}.

<p><p>

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

<pre>

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

kash> rho := Elt(O,[0,1,0]);
[0, 1, 0]
kash> EltCon(rho);
[1.259921049894873164767210607278228350570251464701 -0.62996052494743658238360\
53036391141752851257323509024 + 1.09112363597172140356007261418980888132587333\
874*i -0.6299605249474365823836053036391141752851257323509024 - 1.091123635971\
72140356007261418980888132587333874*i]
kash> a1 := EltCon (rho,1);
1.259921049894873164767210607278228350570251464701
kash> a2 := EltCon (rho,2);
-0.6299605249474365823836053036391141752851257323509024 + 1.091123635971721403\
56007261418980888132587333874*i
kash> a3 := EltCon (rho,3);
-0.6299605249474365823836053036391141752851257323509024 - 1.091123635971721403\
56007261418980888132587333874*i
kash> a1^3;
> 1.999999999999999999999999999999999999999999999998

</pre>

<p>


<hr>

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