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

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

Returns a list of positive S-units

<p><p>

<h3>
Syntax:
</h3>
<pre>P := OrderSUnitsPositive(L);</pre>

<p>

<table>
<tr>
<td>list</td>
<td><pre>  P  </pre></td>
<td></td>
</tr>
<tr>
<td>list</td>
<td><pre>  L  </pre></td>
<td></td>
</tr>
</table>

<p>


See also:&nbsp;&nbsp;<a href="kashref.html#OrderSUnits">OrderSUnits</a>, <a href="kashref.html#OrderUnitsFund">OrderUnitsFund</a>, <a href="kashref.html#EltMinkowski">EltMinkowski</a>

<p>

<h3>
Description:
</h3>
Given a list of independent S-units this function
returns a list consisting of a list of positive S-units
and the index in the original S-units.

<p><p>

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

<pre>

kash> o := OrderMaximal(x^3 + x^2 - 6*x - 1);
Generating polynomial: x^3 + x^2 - 6*x - 1
Discriminant: 985 

kash> OrderSig(o);
[ 3, 0 ]
kash> L := OrderUnitsFund(o);
[ [0, 1, 0], [2, -1, 0] ]
kash> List(L, EltMinkowski);
[ [ -0.1629618567775299422224210388659244025428534549274099, -2.93080160017275\
8070023094586767733368753328418998, 2.0937634569502880122455156256336577712961\
81873926], 
  [ 2.162961856777529942222421038865924402542853454927, 4.93080160017275807002\
3094586767733368753328418998, -0.093763456950288012245515625633657771296181873\
926] ]
kash> P := OrderSUnitsPositive(L);
[ [ [0, 1, 0], [2, -1, 0] ], 1 ]
kash> List(P[1], EltMinkowski);
> [ [ -0.1629618567775299422224210388659244025428534549274099, -2.93080160017275\
8070023094586767733368753328418998, 2.0937634569502880122455156256336577712961\
81873926], 
  [ 2.162961856777529942222421038865924402542853454927, 4.93080160017275807002\
3094586767733368753328418998, -0.093763456950288012245515625633657771296181873\
926] ]

</pre>

<p>


<hr>

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