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

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

Performs a reduction on a lattice specially suited for enumeration.

<p><p>

<h3>
Syntax:
</h3>
<pre>Lambda2 := LatFinckeReduce(Lambda1);</pre>

<p>

<table>
<tr>
<td>lattice</td>
<td><pre>  Lambda2  </pre></td>
<td></td>
</tr>
<tr>
<td>lattice</td>
<td><pre>  Lambda1  </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(Poly(Zx, [1, 13, 13, 13, 169]));;
kash> Lambda1 := Lat(o);
Basis:
[1 -11.898972742509405137989481976338606158885263693444 141.585552326981794267\
402683032916810467108819026556 -1684.72262787189544893851956638913017882108158\
1769638]
[1 -2.865738406710101999775130600443243523094186702065 8.212456615693353982370\
235100796726754005980046214 -23.5347523370329086921017815011346528531834867999\
19]
[1.414213562373095048801688724209698078569671875377 1.247839220448618850760726\
838838852844070883136533 -4.806918221932389346705562523044457400769986746647 -\
14.66724711384104594780692605259030414602229895221]
[0 2.890521001958810373589806560427662461469013267521 5.1009346392098534968392\
65358522416976008886879576 -5.324055695526355025822004314533417988312952072015\
]

kash> Lambda2 := LatFinckeReduce(Lambda1);
> Basis:
[1 -8.898972742509405137989481976338606158885263693444 10.69685215937833774951\
8381293192142719370918398672 -8.3929181756421331436558159231442716924315445312\
98]
[1 0.134261593289898000224869399556756476905813297935 -23.31066585811776801515\
6201504078952000030073676501 79.4175118311570330970156479070963376256057136484\
54]
[1.414213562373095048801688724209698078569671875377 5.490479907567903997165793\
011467947079779898762664 8.919313203002418011662432704182923884009727755216 -5\
0.221971804833625921569542397881159401643756122474]
[0 2.890521001958810373589806560427662461469013267521 36.896665660756767606327\
137523226704052168032822307 64.55872298086831805701859966901857310820073028546\
]


</pre>

<p>


<hr>

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