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

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

Return the basis of a lattice.

<p><p>

<h3>
Syntax:
</h3>
<pre>M := LatBasis(Lambda);</pre>

<p>

<table>
<tr>
<td>matrix</td>
<td><pre>  M  </pre></td>
<td></td>
</tr>
<tr>
<td>lattice</td>
<td><pre>  Lambda  </pre></td>
<td></td>
</tr>
</table>

<p>


<h3>
Description:
</h3>
If the basis is known it is returned as a matrix.
Each column of this matrix represents a basis vector.
In case of a rel. lattice, a module is returned.

<p><p>

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

<pre>

kash> o := Order(Z, 2, 3);;
kash> Lambda := Lat(o);;
kash> M := LatBasis(Lambda);
[1 1.73205080756887729352744634150587236694280525381]
[1 -1.73205080756887729352744634150587236694280525381]
kash> L := OrderBasis(o);;
kash> List(L, x->EltToList(EltMinkowski(x)));
> [ [ 59/3277, 296/16385 ], [ 297/16385, 298/16385 ] ]

</pre>

<p>


<hr>

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