doc/codeDoc/html/Lattice_8c.html

   1 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
   2 <html><head><meta http-equiv="Content-Type" content="text/html;charset=iso-8859-1">
   3 <title>Lattice.c File Reference</title>
   4 <link href="doxygen.css" rel="stylesheet" type="text/css">
   5 </head><body>
   6 <!-- Generated by Doxygen 1.2.15 -->
   7 <center>
   8 <a class="qindex" href="main.html">Main Page</a> &nbsp; <a class="qindex" href="annotated.html">Compound List</a> &nbsp; <a class="qindex" href="files.html">File List</a> &nbsp; <a class="qindex" href="functions.html">Compound Members</a> &nbsp; <a class="qindex" href="globals.html">File Members</a> &nbsp; </center>
   9 <hr><h1>Lattice.c File Reference</h1><code>#include &lt;stdlib.h&gt;</code><br>
  10 <code>#include &lt;polylib/polylib.h&gt;</code><br>
  11
  12 <p>
  13 <a href="Lattice_8c-source.html">Go to the source code of this file.</a><table border=0 cellpadding=0 cellspacing=0>
  14 <tr><td colspan=2><br><h2>Compounds</h2></td></tr>
  15 <tr><td nowrap align=right valign=top>struct &nbsp;</td><td valign=bottom><a class="el" href="structfactor.html">factor</a></td></tr>
  16 <tr><td colspan=2><br><h2>Functions</h2></td></tr>
  17 <tr><td nowrap align=right valign=top><a class="el" href="structfactor.html">factor</a>&nbsp;</td><td valign=bottom><a class="el" href="Lattice_8c.html#a0">allfactors</a> (int num)</td></tr>
  18 <tr><td nowrap align=right valign=top>void&nbsp;</td><td valign=bottom><a class="el" href="Lattice_8c.html#a1">PrintLatticeUnion</a> (FILE *fp, char *format, LatticeUnion *Head)</td></tr>
  19 <tr><td nowrap align=right valign=top>void&nbsp;</td><td valign=bottom><a class="el" href="Lattice_8c.html#a2">LatticeUnion_Free</a> (LatticeUnion *Head)</td></tr>
  20 <tr><td nowrap align=right valign=top>LatticeUnion *&nbsp;</td><td valign=bottom><a class="el" href="Lattice_8c.html#a3">LatticeUnion_Alloc</a> (void)</td></tr>
  21 <tr><td nowrap align=right valign=top>Bool&nbsp;</td><td valign=bottom><a class="el" href="Lattice_8c.html#a4">sameAffinepart</a> (Lattice *A, Lattice *B)</td></tr>
  22 <tr><td nowrap align=right valign=top>Lattice *&nbsp;</td><td valign=bottom><a class="el" href="Lattice_8c.html#a5">EmptyLattice</a> (int dimension)</td></tr>
  23 <tr><td nowrap align=right valign=top>Bool&nbsp;</td><td valign=bottom><a class="el" href="Lattice_8c.html#a6">isEmptyLattice</a> (Lattice *A)</td></tr>
  24 <tr><td nowrap align=right valign=top>Bool&nbsp;</td><td valign=bottom><a class="el" href="Lattice_8c.html#a7">isLinear</a> (Lattice *A)</td></tr>
  25 <tr><td nowrap align=right valign=top>void&nbsp;</td><td valign=bottom><a class="el" href="Lattice_8c.html#a8">AffineHermite</a> (Lattice *A, Lattice **H, Matrix **U)</td></tr>
  26 <tr><td nowrap align=right valign=top>void&nbsp;</td><td valign=bottom><a class="el" href="Lattice_8c.html#a9">AffineSmith</a> (Lattice *A, Lattice **U, Lattice **V, Lattice **Diag)</td></tr>
  27 <tr><td nowrap align=right valign=top>Lattice *&nbsp;</td><td valign=bottom><a class="el" href="Lattice_8c.html#a10">Homogenise</a> (Lattice *A, Bool Forward)</td></tr>
  28 <tr><td nowrap align=right valign=top>Bool&nbsp;</td><td valign=bottom><a class="el" href="Lattice_8c.html#a11">LatticeIncludes</a> (Lattice *A, Lattice *B)</td></tr>
  29 <tr><td nowrap align=right valign=top>Bool&nbsp;</td><td valign=bottom><a class="el" href="Lattice_8c.html#a12">sameLattice</a> (Lattice *A, Lattice *B)</td></tr>
  30 <tr><td nowrap align=right valign=top>Lattice *&nbsp;</td><td valign=bottom><a class="el" href="Lattice_8c.html#a13">ChangeLatticeDimension</a> (Lattice *A, int dimension)</td></tr>
  31 <tr><td nowrap align=right valign=top>Lattice *&nbsp;</td><td valign=bottom><a class="el" href="Lattice_8c.html#a14">ExtractLinearPart</a> (Lattice *A)</td></tr>
  32 <tr><td nowrap align=right valign=top>Matrix *&nbsp;</td><td valign=bottom><a class="el" href="Lattice_8c.html#a15">MakeDioEqforInter</a> (Matrix *A, Matrix *B)</td></tr>
  33 <tr><td nowrap align=right valign=top>Lattice *&nbsp;</td><td valign=bottom><a class="el" href="Lattice_8c.html#a16">LatticeIntersection</a> (Lattice *X, Lattice *Y)</td></tr>
  34 <tr><td nowrap align=right valign=top>Matrix *&nbsp;</td><td valign=bottom><a class="el" href="Lattice_8c.html#a17">MakeDioEqforInter</a> (Lattice *A, Lattice *B)</td></tr>
  35 <tr><td nowrap align=right valign=top>void&nbsp;</td><td valign=bottom><a class="el" href="Lattice_8c.html#a18">AddLattice</a> (LatticeUnion *, Matrix *, Matrix *, int, int)</td></tr>
  36 <tr><td nowrap align=right valign=top>LatticeUnion *&nbsp;</td><td valign=bottom><a class="el" href="Lattice_8c.html#a19">SplitLattice</a> (Matrix *, Matrix *, Matrix *)</td></tr>
  37 <tr><td nowrap align=right valign=top>LatticeUnion *&nbsp;</td><td valign=bottom><a class="el" href="Lattice_8c.html#a20">Lattice2LatticeUnion</a> (Lattice *X, Lattice *Y)</td></tr>
  38 <tr><td nowrap align=right valign=top>LatticeUnion *&nbsp;</td><td valign=bottom><a class="el" href="Lattice_8c.html#a21">LatticeDifference</a> (Lattice *A, Lattice *B)</td></tr>
  39 <tr><td>&nbsp;</td><td><font size=-1><em>Method :.</em> <a href="#a21">More...</a><em></em></font><br><br></td></tr>
  40 <tr><td nowrap align=right valign=top>LatticeUnion *&nbsp;</td><td valign=bottom><a class="el" href="Lattice_8c.html#a22">SplitLattice</a> (Lattice *B1, Lattice *B2, Matrix *C)</td></tr>
  41 <tr><td nowrap align=right valign=top>int&nbsp;</td><td valign=bottom><a class="el" href="Lattice_8c.html#a23">FindHermiteBasisofDomain</a> (Polyhedron *A, Matrix **B)</td></tr>
  42 <tr><td nowrap align=right valign=top>Lattice *&nbsp;</td><td valign=bottom><a class="el" href="Lattice_8c.html#a24">LatticeImage</a> (Lattice *A, Matrix *M)</td></tr>
  43 <tr><td nowrap align=right valign=top>Lattice *&nbsp;</td><td valign=bottom><a class="el" href="Lattice_8c.html#a25">LatticePreimage</a> (Lattice *L, Matrix *G)</td></tr>
  44 <tr><td nowrap align=right valign=top>Bool&nbsp;</td><td valign=bottom><a class="el" href="Lattice_8c.html#a26">IsLattice</a> (Matrix *<a class="el" href="polyparam_8c.html#a0">m</a>)</td></tr>
  45 <tr><td nowrap align=right valign=top>Bool&nbsp;</td><td valign=bottom><a class="el" href="Lattice_8c.html#a27">isfulldim</a> (Matrix *<a class="el" href="polyparam_8c.html#a0">m</a>)</td></tr>
  46 <tr><td nowrap align=right valign=top>Bool&nbsp;</td><td valign=bottom><a class="el" href="Lattice_8c.html#a28">Simplify</a> (LatticeUnion **InputList, LatticeUnion **ResultList, int dim)</td></tr>
  47 <tr><td nowrap align=right valign=top>int&nbsp;</td><td valign=bottom><a class="el" href="Lattice_8c.html#a29">LinearPartCompare</a> (const void *A, const void *B)</td></tr>
  48 <tr><td nowrap align=right valign=top>void&nbsp;</td><td valign=bottom><a class="el" href="Lattice_8c.html#a30">LinearPartSort</a> (LatticeUnion *Head)</td></tr>
  49 <tr><td nowrap align=right valign=top>int&nbsp;</td><td valign=bottom><a class="el" href="Lattice_8c.html#a31">AffinePartCompare</a> (const void *A, const void *B)</td></tr>
  50 <tr><td nowrap align=right valign=top>void&nbsp;</td><td valign=bottom><a class="el" href="Lattice_8c.html#a32">AffinePartSort</a> (LatticeUnion *List)</td></tr>
  51 <tr><td nowrap align=right valign=top>Bool&nbsp;</td><td valign=bottom><a class="el" href="Lattice_8c.html#a33">AlmostSameAffinePart</a> (LatticeUnion *A, LatticeUnion *B)</td></tr>
  52 <tr><td nowrap align=right valign=top>Bool&nbsp;</td><td valign=bottom><a class="el" href="Lattice_8c.html#a34">AffinePartSimplify</a> (LatticeUnion *curlist, LatticeUnion **newlist)</td></tr>
  53 <tr><td nowrap align=right valign=top>Bool&nbsp;</td><td valign=bottom><a class="el" href="Lattice_8c.html#a35">SameLinearPart</a> (LatticeUnion *A, LatticeUnion *B)</td></tr>
  54 <tr><td nowrap align=right valign=top>LatticeUnion *&nbsp;</td><td valign=bottom><a class="el" href="Lattice_8c.html#a36">LatticeSimplify</a> (LatticeUnion *latlist)</td></tr>
  55 <tr><td nowrap align=right valign=top>int&nbsp;</td><td valign=bottom><a class="el" href="Lattice_8c.html#a37">intcompare</a> (const void *a, const void *b)</td></tr>
  56 <tr><td nowrap align=right valign=top>int&nbsp;</td><td valign=bottom><a class="el" href="Lattice_8c.html#a38">polylib_sqrt</a> (int i)</td></tr>
  57 </table>
  58 <hr><h2>Function Documentation</h2>
  59 <a name="a18" doxytag="Lattice.c::AddLattice"></a><p>
  60 <table width="100%" cellpadding="2" cellspacing="0" border="0">
  61   <tr>
  62     <td class="md">
  63       <table cellpadding="0" cellspacing="0" border="0">
  64         <tr>
  65           <td class="md" nowrap valign="top"> void AddLattice </td>
  66           <td class="md" valign="top">(&nbsp;</td>
  67           <td class="md" nowrap valign="top">LatticeUnion *&nbsp;</td>
  68           <td class="mdname" nowrap>&nbsp;, </td>
  69         </tr>
  70         <tr>
  71           <td></td>
  72           <td></td>
  73           <td class="md" nowrap>Matrix *&nbsp;</td>
  74           <td class="mdname" nowrap>&nbsp;, </td>
  75         </tr>
  76         <tr>
  77           <td></td>
  78           <td></td>
  79           <td class="md" nowrap>Matrix *&nbsp;</td>
  80           <td class="mdname" nowrap>&nbsp;, </td>
  81         </tr>
  82         <tr>
  83           <td></td>
  84           <td></td>
  85           <td class="md" nowrap>int&nbsp;</td>
  86           <td class="mdname" nowrap>&nbsp;, </td>
  87         </tr>
  88         <tr>
  89           <td></td>
  90           <td></td>
  91           <td class="md" nowrap>int&nbsp;</td>
  92           <td class="mdname" nowrap>&nbsp;</td>
  93         </tr>
  94         <tr>
  95           <td></td>
  96           <td class="md">)&nbsp;</td>
  97           <td class="md" colspan="2"><code> [static]</code></td>
  98         </tr>
  99
 100       </table>
 101     </td>
 102   </tr>
 103 </table>
 104 <table cellspacing=5 cellpadding=0 border=0>
 105   <tr>
 106     <td>
 107       &nbsp;
 108     </td>
 109     <td>
 110
 111 <p>
 112
 113 <p>
 114 Definition at line <a class="el" href="Lattice_8c-source.html#l00912">912</a> of file <a class="el" href="Lattice_8c-source.html">Lattice.c</a>.
 115 <p>
 116 References <a class="el" href="Lattice_8c-source.html#l00159">AffineHermite</a>(), <a class="el" href="Matop_8c-source.html#l00101">Matrix_Copy</a>(), <a class="el" href="matrix_8c-source.html#l00085">Matrix_Free</a>(), <a class="el" href="arithmetique_8h-source.html#l00229">Value</a>, <a class="el" href="arithmetique_8h-source.html#l00367">value_addto</a>, <a class="el" href="arithmetique_8h-source.html#l00322">value_clear</a>, <a class="el" href="arithmetique_8h-source.html#l00318">value_init</a>, <a class="el" href="arithmetique_8h-source.html#l00371">value_multiply</a>, and <a class="el" href="arithmetique_8h-source.html#l00320">value_set_si</a>.
 117 <p>
 118 Referenced by <a class="el" href="Lattice_8c-source.html#l00885">SplitLattice</a>().    </td>
 119   </tr>
 120 </table>
 121 <a name="a8" doxytag="Lattice.c::AffineHermite"></a><p>
 122 <table width="100%" cellpadding="2" cellspacing="0" border="0">
 123   <tr>
 124     <td class="md">
 125       <table cellpadding="0" cellspacing="0" border="0">
 126         <tr>
 127           <td class="md" nowrap valign="top"> void AffineHermite </td>
 128           <td class="md" valign="top">(&nbsp;</td>
 129           <td class="md" nowrap valign="top">Lattice *&nbsp;</td>
 130           <td class="mdname" nowrap>&nbsp; <em>A</em>, </td>
 131         </tr>
 132         <tr>
 133           <td></td>
 134           <td></td>
 135           <td class="md" nowrap>Lattice **&nbsp;</td>
 136           <td class="mdname" nowrap>&nbsp; <em>H</em>, </td>
 137         </tr>
 138         <tr>
 139           <td></td>
 140           <td></td>
 141           <td class="md" nowrap>Matrix **&nbsp;</td>
 142           <td class="mdname" nowrap>&nbsp; <em>U</em></td>
 143         </tr>
 144         <tr>
 145           <td></td>
 146           <td class="md">)&nbsp;</td>
 147           <td class="md" colspan="2"></td>
 148         </tr>
 149
 150       </table>
 151     </td>
 152   </tr>
 153 </table>
 154 <table cellspacing=5 cellpadding=0 border=0>
 155   <tr>
 156     <td>
 157       &nbsp;
 158     </td>
 159     <td>
 160
 161 <p>
 162
 163 <p>
 164 Definition at line <a class="el" href="Lattice_8c-source.html#l00159">159</a> of file <a class="el" href="Lattice_8c-source.html">Lattice.c</a>.
 165 <p>
 166 References <a class="el" href="NormalForms_8c-source.html#l00695">Hermite</a>(), <a class="el" href="Lattice_8c-source.html#l00296">Homogenise</a>(), <a class="el" href="Lattice_8c-source.html#l00128">isLinear</a>(), <a class="el" href="Matop_8c-source.html#l00101">Matrix_Copy</a>(), and <a class="el" href="matrix_8c-source.html#l00085">Matrix_Free</a>().
 167 <p>
 168 Referenced by <a class="el" href="Lattice_8c-source.html#l00912">AddLattice</a>(), <a class="el" href="Zpolyhedron_8c-source.html#l00149">AddZPolytoZDomain</a>(), <a class="el" href="Zpolyhedron_8c-source.html#l00741">CanonicalForm</a>(), <a class="el" href="Lattice_8c-source.html#l00798">LatticeDifference</a>(), <a class="el" href="Lattice_8c-source.html#l00324">LatticeIncludes</a>(), <a class="el" href="Lattice_8c-source.html#l00459">LatticeIntersection</a>(), <a class="el" href="Zpolytest_8c-source.html#l00010">main</a>(), <a class="el" href="Lattice_8c-source.html#l00355">sameLattice</a>(), and <a class="el" href="Zpolyhedron_8c-source.html#l00949">SplitZpolyhedron</a>().    </td>
 169   </tr>
 170 </table>
 171 <a name="a31" doxytag="Lattice.c::AffinePartCompare"></a><p>
 172 <table width="100%" cellpadding="2" cellspacing="0" border="0">
 173   <tr>
 174     <td class="md">
 175       <table cellpadding="0" cellspacing="0" border="0">
 176         <tr>
 177           <td class="md" nowrap valign="top"> int AffinePartCompare </td>
 178           <td class="md" valign="top">(&nbsp;</td>
 179           <td class="md" nowrap valign="top">const void *&nbsp;</td>
 180           <td class="mdname" nowrap>&nbsp; <em>A</em>, </td>
 181         </tr>
 182         <tr>
 183           <td></td>
 184           <td></td>
 185           <td class="md" nowrap>const void *&nbsp;</td>
 186           <td class="mdname" nowrap>&nbsp; <em>B</em></td>
 187         </tr>
 188         <tr>
 189           <td></td>
 190           <td class="md">)&nbsp;</td>
 191           <td class="md" colspan="2"><code> [static]</code></td>
 192         </tr>
 193
 194       </table>
 195     </td>
 196   </tr>
 197 </table>
 198 <table cellspacing=5 cellpadding=0 border=0>
 199   <tr>
 200     <td>
 201       &nbsp;
 202     </td>
 203     <td>
 204
 205 <p>
 206
 207 <p>
 208 Definition at line <a class="el" href="Lattice_8c-source.html#l01462">1462</a> of file <a class="el" href="Lattice_8c-source.html">Lattice.c</a>.
 209 <p>
 210 References <a class="el" href="arithmetique_8h-source.html#l00339">value_gt</a>, and <a class="el" href="arithmetique_8h-source.html#l00341">value_lt</a>.
 211 <p>
 212 Referenced by <a class="el" href="Lattice_8c-source.html#l01484">AffinePartSort</a>().    </td>
 213   </tr>
 214 </table>
 215 <a name="a34" doxytag="Lattice.c::AffinePartSimplify"></a><p>
 216 <table width="100%" cellpadding="2" cellspacing="0" border="0">
 217   <tr>
 218     <td class="md">
 219       <table cellpadding="0" cellspacing="0" border="0">
 220         <tr>
 221           <td class="md" nowrap valign="top"> Bool AffinePartSimplify </td>
 222           <td class="md" valign="top">(&nbsp;</td>
 223           <td class="md" nowrap valign="top">LatticeUnion *&nbsp;</td>
 224           <td class="mdname" nowrap>&nbsp; <em>curlist</em>, </td>
 225         </tr>
 226         <tr>
 227           <td></td>
 228           <td></td>
 229           <td class="md" nowrap>LatticeUnion **&nbsp;</td>
 230           <td class="mdname" nowrap>&nbsp; <em>newlist</em></td>
 231         </tr>
 232         <tr>
 233           <td></td>
 234           <td class="md">)&nbsp;</td>
 235           <td class="md" colspan="2"><code> [static]</code></td>
 236         </tr>
 237
 238       </table>
 239     </td>
 240   </tr>
 241 </table>
 242 <table cellspacing=5 cellpadding=0 border=0>
 243   <tr>
 244     <td>
 245       &nbsp;
 246     </td>
 247     <td>
 248
 249 <p>
 250
 251 <p>
 252 Definition at line <a class="el" href="Lattice_8c-source.html#l01527">1527</a> of file <a class="el" href="Lattice_8c-source.html">Lattice.c</a>.
 253 <p>
 254 References <a class="el" href="Lattice_8c-source.html#l01484">AffinePartSort</a>(), <a class="el" href="Lattice_8c-source.html#l01508">AlmostSameAffinePart</a>(), <a class="el" href="Lattice_8c-source.html#l01284">Simplify</a>(), <a class="el" href="arithmetique_8h-source.html#l00229">Value</a>, <a class="el" href="arithmetique_8h-source.html#l00319">value_assign</a>, <a class="el" href="arithmetique_8h-source.html#l00322">value_clear</a>, and <a class="el" href="arithmetique_8h-source.html#l00318">value_init</a>.
 255 <p>
 256 Referenced by <a class="el" href="Lattice_8c-source.html#l01614">LatticeSimplify</a>().    </td>
 257   </tr>
 258 </table>
 259 <a name="a32" doxytag="Lattice.c::AffinePartSort"></a><p>
 260 <table width="100%" cellpadding="2" cellspacing="0" border="0">
 261   <tr>
 262     <td class="md">
 263       <table cellpadding="0" cellspacing="0" border="0">
 264         <tr>
 265           <td class="md" nowrap valign="top"> void AffinePartSort </td>
 266           <td class="md" valign="top">(&nbsp;</td>
 267           <td class="md" nowrap valign="top">LatticeUnion *&nbsp;</td>
 268           <td class="mdname1" valign="top" nowrap>&nbsp; <em>List</em>          </td>
 269           <td class="md" valign="top">)&nbsp;</td>
 270           <td class="md" nowrap><code> [static]</code></td>
 271         </tr>
 272
 273       </table>
 274     </td>
 275   </tr>
 276 </table>
 277 <table cellspacing=5 cellpadding=0 border=0>
 278   <tr>
 279     <td>
 280       &nbsp;
 281     </td>
 282     <td>
 283
 284 <p>
 285
 286 <p>
 287 Definition at line <a class="el" href="Lattice_8c-source.html#l01484">1484</a> of file <a class="el" href="Lattice_8c-source.html">Lattice.c</a>.
 288 <p>
 289 References <a class="el" href="Lattice_8c-source.html#l01462">AffinePartCompare</a>().
 290 <p>
 291 Referenced by <a class="el" href="Lattice_8c-source.html#l01527">AffinePartSimplify</a>().    </td>
 292   </tr>
 293 </table>
 294 <a name="a9" doxytag="Lattice.c::AffineSmith"></a><p>
 295 <table width="100%" cellpadding="2" cellspacing="0" border="0">
 296   <tr>
 297     <td class="md">
 298       <table cellpadding="0" cellspacing="0" border="0">
 299         <tr>
 300           <td class="md" nowrap valign="top"> void AffineSmith </td>
 301           <td class="md" valign="top">(&nbsp;</td>
 302           <td class="md" nowrap valign="top">Lattice *&nbsp;</td>
 303           <td class="mdname" nowrap>&nbsp; <em>A</em>, </td>
 304         </tr>
 305         <tr>
 306           <td></td>
 307           <td></td>
 308           <td class="md" nowrap>Lattice **&nbsp;</td>
 309           <td class="mdname" nowrap>&nbsp; <em>U</em>, </td>
 310         </tr>
 311         <tr>
 312           <td></td>
 313           <td></td>
 314           <td class="md" nowrap>Lattice **&nbsp;</td>
 315           <td class="mdname" nowrap>&nbsp; <em>V</em>, </td>
 316         </tr>
 317         <tr>
 318           <td></td>
 319           <td></td>
 320           <td class="md" nowrap>Lattice **&nbsp;</td>
 321           <td class="mdname" nowrap>&nbsp; <em>Diag</em></td>
 322         </tr>
 323         <tr>
 324           <td></td>
 325           <td class="md">)&nbsp;</td>
 326           <td class="md" colspan="2"></td>
 327         </tr>
 328
 329       </table>
 330     </td>
 331   </tr>
 332 </table>
 333 <table cellspacing=5 cellpadding=0 border=0>
 334   <tr>
 335     <td>
 336       &nbsp;
 337     </td>
 338     <td>
 339
 340 <p>
 341
 342 <p>
 343 Definition at line <a class="el" href="Lattice_8c-source.html#l00204">204</a> of file <a class="el" href="Lattice_8c-source.html">Lattice.c</a>.
 344 <p>
 345 References <a class="el" href="Lattice_8c-source.html#l00296">Homogenise</a>(), <a class="el" href="matrix_8c-source.html#l00028">Matrix_Alloc</a>(), <a class="el" href="Matop_8c-source.html#l00101">Matrix_Copy</a>(), <a class="el" href="matrix_8c-source.html#l00085">Matrix_Free</a>(), <a class="el" href="matrix_8c-source.html#l00873">Matrix_Inverse</a>(), <a class="el" href="NormalForms_8c-source.html#l00619">Smith</a>(), <a class="el" href="arithmetique_8h-source.html#l00229">Value</a>, <a class="el" href="arithmetique_8h-source.html#l00367">value_addto</a>, <a class="el" href="arithmetique_8h-source.html#l00319">value_assign</a>, <a class="el" href="arithmetique_8h-source.html#l00322">value_clear</a>, <a class="el" href="arithmetique_8h-source.html#l00374">value_decrement</a>, <a class="el" href="arithmetique_8h-source.html#l00375">value_division</a>, <a class="el" href="arithmetique_8h-source.html#l00230">VALUE_FMT</a>, <a class="el" href="arithmetique_8h-source.html#l00318">value_init</a>, <a class="el" href="arithmetique_8h-source.html#l00376">value_modulus</a>, <a class="el" href="arithmetique_8h-source.html#l00371">value_multiply</a>, <a class="el" href="arithmetique_8h-source.html#l00398">value_neg_p</a>, <a class="el" href="arithmetique_8h-source.html#l00324">value_print</a>, and <a class="el" href="arithmetique_8h-source.html#l00320">value_set_si</a>.
 346 <p>
 347 Referenced by <a class="el" href="Zpolytest_8c-source.html#l00010">main</a>().    </td>
 348   </tr>
 349 </table>
 350 <a name="a0" doxytag="Lattice.c::allfactors"></a><p>
 351 <table width="100%" cellpadding="2" cellspacing="0" border="0">
 352   <tr>
 353     <td class="md">
 354       <table cellpadding="0" cellspacing="0" border="0">
 355         <tr>
 356           <td class="md" nowrap valign="top"> <a class="el" href="structfactor.html">factor</a> allfactors </td>
 357           <td class="md" valign="top">(&nbsp;</td>
 358           <td class="md" nowrap valign="top">int&nbsp;</td>
 359           <td class="mdname1" valign="top" nowrap>&nbsp; <em>num</em>          </td>
 360           <td class="md" valign="top">)&nbsp;</td>
 361           <td class="md" nowrap><code> [static]</code></td>
 362         </tr>
 363
 364       </table>
 365     </td>
 366   </tr>
 367 </table>
 368 <table cellspacing=5 cellpadding=0 border=0>
 369   <tr>
 370     <td>
 371       &nbsp;
 372     </td>
 373     <td>
 374
 375 <p>
 376
 377 <p>
 378 Definition at line <a class="el" href="Lattice_8c-source.html#l01655">1655</a> of file <a class="el" href="Lattice_8c-source.html">Lattice.c</a>.
 379 <p>
 380 References <a class="el" href="Lattice_8c-source.html#l00006">factor::count</a>, <a class="el" href="Lattice_8c-source.html#l00007">factor::fac</a>, <a class="el" href="Lattice_8c-source.html#l01641">intcompare</a>(), and <a class="el" href="Lattice_8c-source.html#l01717">polylib_sqrt</a>().
 381 <p>
 382 Referenced by <a class="el" href="Lattice_8c-source.html#l01284">Simplify</a>().    </td>
 383   </tr>
 384 </table>
 385 <a name="a33" doxytag="Lattice.c::AlmostSameAffinePart"></a><p>
 386 <table width="100%" cellpadding="2" cellspacing="0" border="0">
 387   <tr>
 388     <td class="md">
 389       <table cellpadding="0" cellspacing="0" border="0">
 390         <tr>
 391           <td class="md" nowrap valign="top"> Bool AlmostSameAffinePart </td>
 392           <td class="md" valign="top">(&nbsp;</td>
 393           <td class="md" nowrap valign="top">LatticeUnion *&nbsp;</td>
 394           <td class="mdname" nowrap>&nbsp; <em>A</em>, </td>
 395         </tr>
 396         <tr>
 397           <td></td>
 398           <td></td>
 399           <td class="md" nowrap>LatticeUnion *&nbsp;</td>
 400           <td class="mdname" nowrap>&nbsp; <em>B</em></td>
 401         </tr>
 402         <tr>
 403           <td></td>
 404           <td class="md">)&nbsp;</td>
 405           <td class="md" colspan="2"><code> [static]</code></td>
 406         </tr>
 407
 408       </table>
 409     </td>
 410   </tr>
 411 </table>
 412 <table cellspacing=5 cellpadding=0 border=0>
 413   <tr>
 414     <td>
 415       &nbsp;
 416     </td>
 417     <td>
 418
 419 <p>
 420
 421 <p>
 422 Definition at line <a class="el" href="Lattice_8c-source.html#l01508">1508</a> of file <a class="el" href="Lattice_8c-source.html">Lattice.c</a>.
 423 <p>
 424 References <a class="el" href="arithmetique_8h-source.html#l00338">value_ne</a>.
 425 <p>
 426 Referenced by <a class="el" href="Lattice_8c-source.html#l01527">AffinePartSimplify</a>().    </td>
 427   </tr>
 428 </table>
 429 <a name="a13" doxytag="Lattice.c::ChangeLatticeDimension"></a><p>
 430 <table width="100%" cellpadding="2" cellspacing="0" border="0">
 431   <tr>
 432     <td class="md">
 433       <table cellpadding="0" cellspacing="0" border="0">
 434         <tr>
 435           <td class="md" nowrap valign="top"> Lattice* ChangeLatticeDimension </td>
 436           <td class="md" valign="top">(&nbsp;</td>
 437           <td class="md" nowrap valign="top">Lattice *&nbsp;</td>
 438           <td class="mdname" nowrap>&nbsp; <em>A</em>, </td>
 439         </tr>
 440         <tr>
 441           <td></td>
 442           <td></td>
 443           <td class="md" nowrap>int&nbsp;</td>
 444           <td class="mdname" nowrap>&nbsp; <em>dimension</em></td>
 445         </tr>
 446         <tr>
 447           <td></td>
 448           <td class="md">)&nbsp;</td>
 449           <td class="md" colspan="2"></td>
 450         </tr>
 451
 452       </table>
 453     </td>
 454   </tr>
 455 </table>
 456 <table cellspacing=5 cellpadding=0 border=0>
 457   <tr>
 458     <td>
 459       &nbsp;
 460     </td>
 461     <td>
 462
 463 <p>
 464
 465 <p>
 466 Definition at line <a class="el" href="Lattice_8c-source.html#l00393">393</a> of file <a class="el" href="Lattice_8c-source.html">Lattice.c</a>.
 467 <p>
 468 References <a class="el" href="matrix_8c-source.html#l00028">Matrix_Alloc</a>(), <a class="el" href="arithmetique_8h-source.html#l00319">value_assign</a>, and <a class="el" href="arithmetique_8h-source.html#l00320">value_set_si</a>.
 469 <p>
 470 Referenced by <a class="el" href="Zpolyhedron_8c-source.html#l00741">CanonicalForm</a>(), <a class="el" href="Lattice_8c-source.html#l00975">FindHermiteBasisofDomain</a>(), and <a class="el" href="Lattice_8c-source.html#l00658">Lattice2LatticeUnion</a>().    </td>
 471   </tr>
 472 </table>
 473 <a name="a5" doxytag="Lattice.c::EmptyLattice"></a><p>
 474 <table width="100%" cellpadding="2" cellspacing="0" border="0">
 475   <tr>
 476     <td class="md">
 477       <table cellpadding="0" cellspacing="0" border="0">
 478         <tr>
 479           <td class="md" nowrap valign="top"> Lattice* EmptyLattice </td>
 480           <td class="md" valign="top">(&nbsp;</td>
 481           <td class="md" nowrap valign="top">int&nbsp;</td>
 482           <td class="mdname1" valign="top" nowrap>&nbsp; <em>dimension</em>          </td>
 483           <td class="md" valign="top">)&nbsp;</td>
 484           <td class="md" nowrap></td>
 485         </tr>
 486
 487       </table>
 488     </td>
 489   </tr>
 490 </table>
 491 <table cellspacing=5 cellpadding=0 border=0>
 492   <tr>
 493     <td>
 494       &nbsp;
 495     </td>
 496     <td>
 497
 498 <p>
 499
 500 <p>
 501 Definition at line <a class="el" href="Lattice_8c-source.html#l00078">78</a> of file <a class="el" href="Lattice_8c-source.html">Lattice.c</a>.
 502 <p>
 503 References <a class="el" href="matrix_8c-source.html#l00028">Matrix_Alloc</a>(), and <a class="el" href="arithmetique_8h-source.html#l00320">value_set_si</a>.
 504 <p>
 505 Referenced by <a class="el" href="Zpolyhedron_8c-source.html#l00243">EmptyZPolyhedron</a>(), <a class="el" href="Lattice_8c-source.html#l01104">LatticeImage</a>(), <a class="el" href="Lattice_8c-source.html#l00459">LatticeIntersection</a>(), <a class="el" href="Lattice_8c-source.html#l01143">LatticePreimage</a>(), and <a class="el" href="Zpolytest_8c-source.html#l00010">main</a>().    </td>
 506   </tr>
 507 </table>
 508 <a name="a14" doxytag="Lattice.c::ExtractLinearPart"></a><p>
 509 <table width="100%" cellpadding="2" cellspacing="0" border="0">
 510   <tr>
 511     <td class="md">
 512       <table cellpadding="0" cellspacing="0" border="0">
 513         <tr>
 514           <td class="md" nowrap valign="top"> Lattice* ExtractLinearPart </td>
 515           <td class="md" valign="top">(&nbsp;</td>
 516           <td class="md" nowrap valign="top">Lattice *&nbsp;</td>
 517           <td class="mdname1" valign="top" nowrap>&nbsp; <em>A</em>          </td>
 518           <td class="md" valign="top">)&nbsp;</td>
 519           <td class="md" nowrap></td>
 520         </tr>
 521
 522       </table>
 523     </td>
 524   </tr>
 525 </table>
 526 <table cellspacing=5 cellpadding=0 border=0>
 527   <tr>
 528     <td>
 529       &nbsp;
 530     </td>
 531     <td>
 532
 533 <p>
 534
 535 <p>
 536 Definition at line <a class="el" href="Lattice_8c-source.html#l00423">423</a> of file <a class="el" href="Lattice_8c-source.html">Lattice.c</a>.
 537 <p>
 538 References <a class="el" href="matrix_8c-source.html#l00028">Matrix_Alloc</a>(), and <a class="el" href="arithmetique_8h-source.html#l00319">value_assign</a>.
 539 <p>
 540 Referenced by <a class="el" href="Lattice_8c-source.html#l00658">Lattice2LatticeUnion</a>().    </td>
 541   </tr>
 542 </table>
 543 <a name="a23" doxytag="Lattice.c::FindHermiteBasisofDomain"></a><p>
 544 <table width="100%" cellpadding="2" cellspacing="0" border="0">
 545   <tr>
 546     <td class="md">
 547       <table cellpadding="0" cellspacing="0" border="0">
 548         <tr>
 549           <td class="md" nowrap valign="top"> int FindHermiteBasisofDomain </td>
 550           <td class="md" valign="top">(&nbsp;</td>
 551           <td class="md" nowrap valign="top">Polyhedron *&nbsp;</td>
 552           <td class="mdname" nowrap>&nbsp; <em>A</em>, </td>
 553         </tr>
 554         <tr>
 555           <td></td>
 556           <td></td>
 557           <td class="md" nowrap>Matrix **&nbsp;</td>
 558           <td class="mdname" nowrap>&nbsp; <em>B</em></td>
 559         </tr>
 560         <tr>
 561           <td></td>
 562           <td class="md">)&nbsp;</td>
 563           <td class="md" colspan="2"></td>
 564         </tr>
 565
 566       </table>
 567     </td>
 568   </tr>
 569 </table>
 570 <table cellspacing=5 cellpadding=0 border=0>
 571   <tr>
 572     <td>
 573       &nbsp;
 574     </td>
 575     <td>
 576
 577 <p>
 578
 579 <p>
 580 Definition at line <a class="el" href="Lattice_8c-source.html#l00975">975</a> of file <a class="el" href="Lattice_8c-source.html">Lattice.c</a>.
 581 <p>
 582 References <a class="el" href="Lattice_8c-source.html#l00393">ChangeLatticeDimension</a>(), <a class="el" href="polyhedron_8c-source.html#l03915">DomainImage</a>(), <a class="el" href="Matop_8c-source.html#l00353">findHermiteBasis</a>(), <a class="el" href="Matop_8c-source.html#l00024">Identity</a>(), <a class="el" href="Matop_8c-source.html#l00007">Lcm</a>(), <a class="el" href="matrix_8c-source.html#l00028">Matrix_Alloc</a>(), <a class="el" href="Matop_8c-source.html#l00101">Matrix_Copy</a>(), <a class="el" href="matrix_8c-source.html#l00085">Matrix_Free</a>(), <a class="el" href="matrix_8c-source.html#l00873">Matrix_Inverse</a>(), <a class="el" href="matrix_8c-source.html#l00825">Matrix_Product</a>(), <a class="el" href="Matop_8c-source.html#l00332">RemoveColumn</a>(), <a class="el" href="arithmetique_8h-source.html#l00229">Value</a>, <a class="el" href="arithmetique_8h-source.html#l00319">value_assign</a>, <a class="el" href="arithmetique_8h-source.html#l00322">value_clear</a>, <a class="el" href="arithmetique_8h-source.html#l00375">value_division</a>, <a class="el" href="arithmetique_8h-source.html#l00318">value_init</a>, <a class="el" href="arithmetique_8h-source.html#l00371">value_multiply</a>, <a class="el" href="arithmetique_8h-source.html#l00402">value_notzero_p</a>, <a class="el" href="arithmetique_8h-source.html#l00320">value_set_si</a>, <a class="el" href="arithmetique_8h-source.html#l00372">value_substract</a>, and <a class="el" href="arithmetique_8h-source.html#l00401">value_zero_p</a>.
 583 <p>
 584 Referenced by <a class="el" href="Zpolyhedron_8c-source.html#l00741">CanonicalForm</a>().    </td>
 585   </tr>
 586 </table>
 587 <a name="a10" doxytag="Lattice.c::Homogenise"></a><p>
 588 <table width="100%" cellpadding="2" cellspacing="0" border="0">
 589   <tr>
 590     <td class="md">
 591       <table cellpadding="0" cellspacing="0" border="0">
 592         <tr>
 593           <td class="md" nowrap valign="top"> Lattice* Homogenise </td>
 594           <td class="md" valign="top">(&nbsp;</td>
 595           <td class="md" nowrap valign="top">Lattice *&nbsp;</td>
 596           <td class="mdname" nowrap>&nbsp; <em>A</em>, </td>
 597         </tr>
 598         <tr>
 599           <td></td>
 600           <td></td>
 601           <td class="md" nowrap>Bool&nbsp;</td>
 602           <td class="mdname" nowrap>&nbsp; <em>Forward</em></td>
 603         </tr>
 604         <tr>
 605           <td></td>
 606           <td class="md">)&nbsp;</td>
 607           <td class="md" colspan="2"></td>
 608         </tr>
 609
 610       </table>
 611     </td>
 612   </tr>
 613 </table>
 614 <table cellspacing=5 cellpadding=0 border=0>
 615   <tr>
 616     <td>
 617       &nbsp;
 618     </td>
 619     <td>
 620
 621 <p>
 622
 623 <p>
 624 Definition at line <a class="el" href="Lattice_8c-source.html#l00296">296</a> of file <a class="el" href="Lattice_8c-source.html">Lattice.c</a>.
 625 <p>
 626 References <a class="el" href="Matop_8c-source.html#l00101">Matrix_Copy</a>(), <a class="el" href="Matop_8c-source.html#l00225">PutColumnFirst</a>(), <a class="el" href="Matop_8c-source.html#l00252">PutColumnLast</a>(), <a class="el" href="Matop_8c-source.html#l00198">PutRowFirst</a>(), and <a class="el" href="Matop_8c-source.html#l00170">PutRowLast</a>().
 627 <p>
 628 Referenced by <a class="el" href="Lattice_8c-source.html#l00159">AffineHermite</a>(), <a class="el" href="Lattice_8c-source.html#l00204">AffineSmith</a>(), and <a class="el" href="Matop_8c-source.html#l00140">isinHnf</a>().    </td>
 629   </tr>
 630 </table>
 631 <a name="a37" doxytag="Lattice.c::intcompare"></a><p>
 632 <table width="100%" cellpadding="2" cellspacing="0" border="0">
 633   <tr>
 634     <td class="md">
 635       <table cellpadding="0" cellspacing="0" border="0">
 636         <tr>
 637           <td class="md" nowrap valign="top"> int intcompare </td>
 638           <td class="md" valign="top">(&nbsp;</td>
 639           <td class="md" nowrap valign="top">const void *&nbsp;</td>
 640           <td class="mdname" nowrap>&nbsp; <em>a</em>, </td>
 641         </tr>
 642         <tr>
 643           <td></td>
 644           <td></td>
 645           <td class="md" nowrap>const void *&nbsp;</td>
 646           <td class="mdname" nowrap>&nbsp; <em>b</em></td>
 647         </tr>
 648         <tr>
 649           <td></td>
 650           <td class="md">)&nbsp;</td>
 651           <td class="md" colspan="2"></td>
 652         </tr>
 653
 654       </table>
 655     </td>
 656   </tr>
 657 </table>
 658 <table cellspacing=5 cellpadding=0 border=0>
 659   <tr>
 660     <td>
 661       &nbsp;
 662     </td>
 663     <td>
 664
 665 <p>
 666
 667 <p>
 668 Definition at line <a class="el" href="Lattice_8c-source.html#l01641">1641</a> of file <a class="el" href="Lattice_8c-source.html">Lattice.c</a>.
 669 <p>
 670 Referenced by <a class="el" href="Lattice_8c-source.html#l01655">allfactors</a>().    </td>
 671   </tr>
 672 </table>
 673 <a name="a6" doxytag="Lattice.c::isEmptyLattice"></a><p>
 674 <table width="100%" cellpadding="2" cellspacing="0" border="0">
 675   <tr>
 676     <td class="md">
 677       <table cellpadding="0" cellspacing="0" border="0">
 678         <tr>
 679           <td class="md" nowrap valign="top"> Bool isEmptyLattice </td>
 680           <td class="md" valign="top">(&nbsp;</td>
 681           <td class="md" nowrap valign="top">Lattice *&nbsp;</td>
 682           <td class="mdname1" valign="top" nowrap>&nbsp; <em>A</em>          </td>
 683           <td class="md" valign="top">)&nbsp;</td>
 684           <td class="md" nowrap></td>
 685         </tr>
 686
 687       </table>
 688     </td>
 689   </tr>
 690 </table>
 691 <table cellspacing=5 cellpadding=0 border=0>
 692   <tr>
 693     <td>
 694       &nbsp;
 695     </td>
 696     <td>
 697
 698 <p>
 699
 700 <p>
 701 Definition at line <a class="el" href="Lattice_8c-source.html#l00101">101</a> of file <a class="el" href="Lattice_8c-source.html">Lattice.c</a>.
 702 <p>
 703 References <a class="el" href="arithmetique_8h-source.html#l00402">value_notzero_p</a>, and <a class="el" href="arithmetique_8h-source.html#l00403">value_one_p</a>.
 704 <p>
 705 Referenced by <a class="el" href="Zpolyhedron_8c-source.html#l00832">IntegraliseLattice</a>(), <a class="el" href="Zpolyhedron_8c-source.html#l00022">isEmptyZPolyhedron</a>(), <a class="el" href="Lattice_8c-source.html#l00658">Lattice2LatticeUnion</a>(), <a class="el" href="Lattice_8c-source.html#l00798">LatticeDifference</a>(), <a class="el" href="Lattice_8c-source.html#l00459">LatticeIntersection</a>(), <a class="el" href="Zpolytest_8c-source.html#l00010">main</a>(), <a class="el" href="Zpolyhedron_8c-source.html#l00949">SplitZpolyhedron</a>(), <a class="el" href="Zpolyhedron_8c-source.html#l00037">ZPolyhedron_Alloc</a>(), <a class="el" href="Zpolyhedron_8c-source.html#l00649">ZPolyhedronImage</a>(), <a class="el" href="Zpolyhedron_8c-source.html#l00527">ZPolyhedronIntersection</a>(), and <a class="el" href="Zpolyhedron_8c-source.html#l00699">ZPolyhedronPreimage</a>().    </td>
 706   </tr>
 707 </table>
 708 <a name="a27" doxytag="Lattice.c::isfulldim"></a><p>
 709 <table width="100%" cellpadding="2" cellspacing="0" border="0">
 710   <tr>
 711     <td class="md">
 712       <table cellpadding="0" cellspacing="0" border="0">
 713         <tr>
 714           <td class="md" nowrap valign="top"> Bool isfulldim </td>
 715           <td class="md" valign="top">(&nbsp;</td>
 716           <td class="md" nowrap valign="top">Matrix *&nbsp;</td>
 717           <td class="mdname1" valign="top" nowrap>&nbsp; <em>m</em>          </td>
 718           <td class="md" valign="top">)&nbsp;</td>
 719           <td class="md" nowrap></td>
 720         </tr>
 721
 722       </table>
 723     </td>
 724   </tr>
 725 </table>
 726 <table cellspacing=5 cellpadding=0 border=0>
 727   <tr>
 728     <td>
 729       &nbsp;
 730     </td>
 731     <td>
 732
 733 <p>
 734
 735 <p>
 736 Definition at line <a class="el" href="Lattice_8c-source.html#l01245">1245</a> of file <a class="el" href="Lattice_8c-source.html">Lattice.c</a>.
 737 <p>
 738 References <a class="el" href="NormalForms_8c-source.html#l00695">Hermite</a>(), <a class="el" href="matrix_8c-source.html#l00085">Matrix_Free</a>(), and <a class="el" href="arithmetique_8h-source.html#l00401">value_zero_p</a>.
 739 <p>
 740 Referenced by <a class="el" href="Zpolyhedron_8c-source.html#l00037">ZPolyhedron_Alloc</a>().    </td>
 741   </tr>
 742 </table>
 743 <a name="a26" doxytag="Lattice.c::IsLattice"></a><p>
 744 <table width="100%" cellpadding="2" cellspacing="0" border="0">
 745   <tr>
 746     <td class="md">
 747       <table cellpadding="0" cellspacing="0" border="0">
 748         <tr>
 749           <td class="md" nowrap valign="top"> Bool IsLattice </td>
 750           <td class="md" valign="top">(&nbsp;</td>
 751           <td class="md" nowrap valign="top">Matrix *&nbsp;</td>
 752           <td class="mdname1" valign="top" nowrap>&nbsp; <em>m</em>          </td>
 753           <td class="md" valign="top">)&nbsp;</td>
 754           <td class="md" nowrap></td>
 755         </tr>
 756
 757       </table>
 758     </td>
 759   </tr>
 760 </table>
 761 <table cellspacing=5 cellpadding=0 border=0>
 762   <tr>
 763     <td>
 764       &nbsp;
 765     </td>
 766     <td>
 767
 768 <p>
 769
 770 <p>
 771 Definition at line <a class="el" href="Lattice_8c-source.html#l01217">1217</a> of file <a class="el" href="Lattice_8c-source.html">Lattice.c</a>.
 772 <p>
 773 References <a class="el" href="arithmetique_8h-source.html#l00404">value_notone_p</a>, and <a class="el" href="arithmetique_8h-source.html#l00402">value_notzero_p</a>.
 774 <p>
 775 Referenced by <a class="el" href="Zpolyhedron_8c-source.html#l00037">ZPolyhedron_Alloc</a>().    </td>
 776   </tr>
 777 </table>
 778 <a name="a7" doxytag="Lattice.c::isLinear"></a><p>
 779 <table width="100%" cellpadding="2" cellspacing="0" border="0">
 780   <tr>
 781     <td class="md">
 782       <table cellpadding="0" cellspacing="0" border="0">
 783         <tr>
 784           <td class="md" nowrap valign="top"> Bool isLinear </td>
 785           <td class="md" valign="top">(&nbsp;</td>
 786           <td class="md" nowrap valign="top">Lattice *&nbsp;</td>
 787           <td class="mdname1" valign="top" nowrap>&nbsp; <em>A</em>          </td>
 788           <td class="md" valign="top">)&nbsp;</td>
 789           <td class="md" nowrap></td>
 790         </tr>
 791
 792       </table>
 793     </td>
 794   </tr>
 795 </table>
 796 <table cellspacing=5 cellpadding=0 border=0>
 797   <tr>
 798     <td>
 799       &nbsp;
 800     </td>
 801     <td>
 802
 803 <p>
 804
 805 <p>
 806 Definition at line <a class="el" href="Lattice_8c-source.html#l00128">128</a> of file <a class="el" href="Lattice_8c-source.html">Lattice.c</a>.
 807 <p>
 808 References <a class="el" href="arithmetique_8h-source.html#l00402">value_notzero_p</a>.
 809 <p>
 810 Referenced by <a class="el" href="Lattice_8c-source.html#l00159">AffineHermite</a>().    </td>
 811   </tr>
 812 </table>
 813 <a name="a20" doxytag="Lattice.c::Lattice2LatticeUnion"></a><p>
 814 <table width="100%" cellpadding="2" cellspacing="0" border="0">
 815   <tr>
 816     <td class="md">
 817       <table cellpadding="0" cellspacing="0" border="0">
 818         <tr>
 819           <td class="md" nowrap valign="top"> LatticeUnion* Lattice2LatticeUnion </td>
 820           <td class="md" valign="top">(&nbsp;</td>
 821           <td class="md" nowrap valign="top">Lattice *&nbsp;</td>
 822           <td class="mdname" nowrap>&nbsp; <em>X</em>, </td>
 823         </tr>
 824         <tr>
 825           <td></td>
 826           <td></td>
 827           <td class="md" nowrap>Lattice *&nbsp;</td>
 828           <td class="mdname" nowrap>&nbsp; <em>Y</em></td>
 829         </tr>
 830         <tr>
 831           <td></td>
 832           <td class="md">)&nbsp;</td>
 833           <td class="md" colspan="2"></td>
 834         </tr>
 835
 836       </table>
 837     </td>
 838   </tr>
 839 </table>
 840 <table cellspacing=5 cellpadding=0 border=0>
 841   <tr>
 842     <td>
 843       &nbsp;
 844     </td>
 845     <td>
 846
 847 <p>
 848
 849 <p>
 850 Definition at line <a class="el" href="Lattice_8c-source.html#l00658">658</a> of file <a class="el" href="Lattice_8c-source.html">Lattice.c</a>.
 851 <p>
 852 References <a class="el" href="Lattice_8c-source.html#l00393">ChangeLatticeDimension</a>(), <a class="el" href="Lattice_8c-source.html#l00423">ExtractLinearPart</a>(), <a class="el" href="Lattice_8c-source.html#l00101">isEmptyLattice</a>(), <a class="el" href="Lattice_8c-source.html#l00459">LatticeIntersection</a>(), <a class="el" href="matrix_8c-source.html#l00028">Matrix_Alloc</a>(), <a class="el" href="Matop_8c-source.html#l00101">Matrix_Copy</a>(), <a class="el" href="matrix_8c-source.html#l00085">Matrix_Free</a>(), <a class="el" href="matrix_8c-source.html#l00873">Matrix_Inverse</a>(), <a class="el" href="matrix_8c-source.html#l00825">Matrix_Product</a>(), <a class="el" href="NormalForms_8c-source.html#l00619">Smith</a>(), <a class="el" href="Lattice_8c-source.html#l00885">SplitLattice</a>(), <a class="el" href="arithmetique_8h-source.html#l00229">Value</a>, <a class="el" href="arithmetique_8h-source.html#l00319">value_assign</a>, <a class="el" href="arithmetique_8h-source.html#l00322">value_clear</a>, <a class="el" href="arithmetique_8h-source.html#l00375">value_division</a>, and <a class="el" href="arithmetique_8h-source.html#l00318">value_init</a>.
 853 <p>
 854 Referenced by <a class="el" href="Lattice_8c-source.html#l00798">LatticeDifference</a>(), and <a class="el" href="Zpolyhedron_8c-source.html#l00949">SplitZpolyhedron</a>().    </td>
 855   </tr>
 856 </table>
 857 <a name="a21" doxytag="Lattice.c::LatticeDifference"></a><p>
 858 <table width="100%" cellpadding="2" cellspacing="0" border="0">
 859   <tr>
 860     <td class="md">
 861       <table cellpadding="0" cellspacing="0" border="0">
 862         <tr>
 863           <td class="md" nowrap valign="top"> LatticeUnion* LatticeDifference </td>
 864           <td class="md" valign="top">(&nbsp;</td>
 865           <td class="md" nowrap valign="top">Lattice *&nbsp;</td>
 866           <td class="mdname" nowrap>&nbsp; <em>A</em>, </td>
 867         </tr>
 868         <tr>
 869           <td></td>
 870           <td></td>
 871           <td class="md" nowrap>Lattice *&nbsp;</td>
 872           <td class="mdname" nowrap>&nbsp; <em>B</em></td>
 873         </tr>
 874         <tr>
 875           <td></td>
 876           <td class="md">)&nbsp;</td>
 877           <td class="md" colspan="2"></td>
 878         </tr>
 879
 880       </table>
 881     </td>
 882   </tr>
 883 </table>
 884 <table cellspacing=5 cellpadding=0 border=0>
 885   <tr>
 886     <td>
 887       &nbsp;
 888     </td>
 889     <td>
 890
 891 <p>
 892 Method :.
 893 <p>
 894
 895 <p>
 896 Definition at line <a class="el" href="Lattice_8c-source.html#l00798">798</a> of file <a class="el" href="Lattice_8c-source.html">Lattice.c</a>.
 897 <p>
 898 References <a class="el" href="Lattice_8c-source.html#l00159">AffineHermite</a>(), <a class="el" href="Lattice_8c-source.html#l00101">isEmptyLattice</a>(), <a class="el" href="Matop_8c-source.html#l00140">isinHnf</a>(), <a class="el" href="Lattice_8c-source.html#l00658">Lattice2LatticeUnion</a>(), <a class="el" href="Lattice_8c-source.html#l01614">LatticeSimplify</a>(), <a class="el" href="Matop_8c-source.html#l00101">Matrix_Copy</a>(), and <a class="el" href="matrix_8c-source.html#l00085">Matrix_Free</a>().
 899 <p>
 900 Referenced by <a class="el" href="Zpolytest_8c-source.html#l00010">main</a>(), and <a class="el" href="Zpolyhedron_8c-source.html#l00572">ZPolyhedronDifference</a>().    </td>
 901   </tr>
 902 </table>
 903 <a name="a24" doxytag="Lattice.c::LatticeImage"></a><p>
 904 <table width="100%" cellpadding="2" cellspacing="0" border="0">
 905   <tr>
 906     <td class="md">
 907       <table cellpadding="0" cellspacing="0" border="0">
 908         <tr>
 909           <td class="md" nowrap valign="top"> Lattice* LatticeImage </td>
 910           <td class="md" valign="top">(&nbsp;</td>
 911           <td class="md" nowrap valign="top">Lattice *&nbsp;</td>
 912           <td class="mdname" nowrap>&nbsp; <em>A</em>, </td>
 913         </tr>
 914         <tr>
 915           <td></td>
 916           <td></td>
 917           <td class="md" nowrap>Matrix *&nbsp;</td>
 918           <td class="mdname" nowrap>&nbsp; <em>M</em></td>
 919         </tr>
 920         <tr>
 921           <td></td>
 922           <td class="md">)&nbsp;</td>
 923           <td class="md" colspan="2"></td>
 924         </tr>
 925
 926       </table>
 927     </td>
 928   </tr>
 929 </table>
 930 <table cellspacing=5 cellpadding=0 border=0>
 931   <tr>
 932     <td>
 933       &nbsp;
 934     </td>
 935     <td>
 936
 937 <p>
 938
 939 <p>
 940 Definition at line <a class="el" href="Lattice_8c-source.html#l01104">1104</a> of file <a class="el" href="Lattice_8c-source.html">Lattice.c</a>.
 941 <p>
 942 References <a class="el" href="Lattice_8c-source.html#l00078">EmptyLattice</a>(), <a class="el" href="Lattice_8c-source.html#l01143">LatticePreimage</a>(), <a class="el" href="matrix_8c-source.html#l00028">Matrix_Alloc</a>(), <a class="el" href="Matop_8c-source.html#l00101">Matrix_Copy</a>(), <a class="el" href="matrix_8c-source.html#l00085">Matrix_Free</a>(), <a class="el" href="matrix_8c-source.html#l00873">Matrix_Inverse</a>(), <a class="el" href="matrix_8c-source.html#l00825">Matrix_Product</a>(), and <a class="el" href="arithmetique_8h-source.html#l00403">value_one_p</a>.
 943 <p>
 944 Referenced by <a class="el" href="Zpolyhedron_8c-source.html#l00832">IntegraliseLattice</a>(), <a class="el" href="Zpolytest_8c-source.html#l00010">main</a>(), and <a class="el" href="Zpolyhedron_8c-source.html#l00649">ZPolyhedronImage</a>().    </td>
 945   </tr>
 946 </table>
 947 <a name="a11" doxytag="Lattice.c::LatticeIncludes"></a><p>
 948 <table width="100%" cellpadding="2" cellspacing="0" border="0">
 949   <tr>
 950     <td class="md">
 951       <table cellpadding="0" cellspacing="0" border="0">
 952         <tr>
 953           <td class="md" nowrap valign="top"> Bool LatticeIncludes </td>
 954           <td class="md" valign="top">(&nbsp;</td>
 955           <td class="md" nowrap valign="top">Lattice *&nbsp;</td>
 956           <td class="mdname" nowrap>&nbsp; <em>A</em>, </td>
 957         </tr>
 958         <tr>
 959           <td></td>
 960           <td></td>
 961           <td class="md" nowrap>Lattice *&nbsp;</td>
 962           <td class="mdname" nowrap>&nbsp; <em>B</em></td>
 963         </tr>
 964         <tr>
 965           <td></td>
 966           <td class="md">)&nbsp;</td>
 967           <td class="md" colspan="2"></td>
 968         </tr>
 969
 970       </table>
 971     </td>
 972   </tr>
 973 </table>
 974 <table cellspacing=5 cellpadding=0 border=0>
 975   <tr>
 976     <td>
 977       &nbsp;
 978     </td>
 979     <td>
 980
 981 <p>
 982
 983 <p>
 984 Definition at line <a class="el" href="Lattice_8c-source.html#l00324">324</a> of file <a class="el" href="Lattice_8c-source.html">Lattice.c</a>.
 985 <p>
 986 References <a class="el" href="Lattice_8c-source.html#l00159">AffineHermite</a>(), <a class="el" href="Lattice_8c-source.html#l00459">LatticeIntersection</a>(), <a class="el" href="matrix_8c-source.html#l00085">Matrix_Free</a>(), and <a class="el" href="Lattice_8c-source.html#l00355">sameLattice</a>().
 987 <p>
 988 Referenced by <a class="el" href="Zpolytest_8c-source.html#l00010">main</a>(), and <a class="el" href="Zpolyhedron_8c-source.html#l00285">ZPolyhedronIncludes</a>().    </td>
 989   </tr>
 990 </table>
 991 <a name="a16" doxytag="Lattice.c::LatticeIntersection"></a><p>
 992 <table width="100%" cellpadding="2" cellspacing="0" border="0">
 993   <tr>
 994     <td class="md">
 995       <table cellpadding="0" cellspacing="0" border="0">
 996         <tr>
 997           <td class="md" nowrap valign="top"> Lattice* LatticeIntersection </td>
 998           <td class="md" valign="top">(&nbsp;</td>
 999           <td class="md" nowrap valign="top">Lattice *&nbsp;</td>
1000           <td class="mdname" nowrap>&nbsp; <em>X</em>, </td>
1001         </tr>
1002         <tr>
1003           <td></td>
1004           <td></td>
1005           <td class="md" nowrap>Lattice *&nbsp;</td>
1006           <td class="mdname" nowrap>&nbsp; <em>Y</em></td>
1007         </tr>
1008         <tr>
1009           <td></td>
1010           <td class="md">)&nbsp;</td>
1011           <td class="md" colspan="2"></td>
1012         </tr>
1013
1014       </table>
1015     </td>
1016   </tr>
1017 </table>
1018 <table cellspacing=5 cellpadding=0 border=0>
1019   <tr>
1020     <td>
1021       &nbsp;
1022     </td>
1023     <td>
1024
1025 <p>
1026
1027 <p>
1028 Definition at line <a class="el" href="Lattice_8c-source.html#l00459">459</a> of file <a class="el" href="Lattice_8c-source.html">Lattice.c</a>.
1029 <p>
1030 References <a class="el" href="Lattice_8c-source.html#l00159">AffineHermite</a>(), <a class="el" href="Lattice_8c-source.html#l00078">EmptyLattice</a>(), <a class="el" href="Lattice_8c-source.html#l00101">isEmptyLattice</a>(), <a class="el" href="Matop_8c-source.html#l00140">isinHnf</a>(), <a class="el" href="Lattice_8c-source.html#l00553">MakeDioEqforInter</a>(), <a class="el" href="matrix_8c-source.html#l00028">Matrix_Alloc</a>(), <a class="el" href="Matop_8c-source.html#l00101">Matrix_Copy</a>(), <a class="el" href="matrix_8c-source.html#l00085">Matrix_Free</a>(), <a class="el" href="SolveDio_8c-source.html#l00064">SolveDiophantine</a>(), <a class="el" href="arithmetique_8h-source.html#l00319">value_assign</a>, <a class="el" href="arithmetique_8h-source.html#l00320">value_set_si</a>, and <a class="el" href="vector_8c-source.html#l00162">Vector_Free</a>().
1031 <p>
1032 Referenced by <a class="el" href="Lattice_8c-source.html#l00658">Lattice2LatticeUnion</a>(), <a class="el" href="Lattice_8c-source.html#l00324">LatticeIncludes</a>(), <a class="el" href="Zpolytest_8c-source.html#l00010">main</a>(), and <a class="el" href="Zpolyhedron_8c-source.html#l00527">ZPolyhedronIntersection</a>().    </td>
1033   </tr>
1034 </table>
1035 <a name="a25" doxytag="Lattice.c::LatticePreimage"></a><p>
1036 <table width="100%" cellpadding="2" cellspacing="0" border="0">
1037   <tr>
1038     <td class="md">
1039       <table cellpadding="0" cellspacing="0" border="0">
1040         <tr>
1041           <td class="md" nowrap valign="top"> Lattice* LatticePreimage </td>
1042           <td class="md" valign="top">(&nbsp;</td>
1043           <td class="md" nowrap valign="top">Lattice *&nbsp;</td>
1044           <td class="mdname" nowrap>&nbsp; <em>L</em>, </td>
1045         </tr>
1046         <tr>
1047           <td></td>
1048           <td></td>
1049           <td class="md" nowrap>Matrix *&nbsp;</td>
1050           <td class="mdname" nowrap>&nbsp; <em>G</em></td>
1051         </tr>
1052         <tr>
1053           <td></td>
1054           <td class="md">)&nbsp;</td>
1055           <td class="md" colspan="2"></td>
1056         </tr>
1057
1058       </table>
1059     </td>
1060   </tr>
1061 </table>
1062 <table cellspacing=5 cellpadding=0 border=0>
1063   <tr>
1064     <td>
1065       &nbsp;
1066     </td>
1067     <td>
1068
1069 <p>
1070
1071 <p>
1072 Definition at line <a class="el" href="Lattice_8c-source.html#l01143">1143</a> of file <a class="el" href="Lattice_8c-source.html">Lattice.c</a>.
1073 <p>
1074 References <a class="el" href="Lattice_8c-source.html#l00078">EmptyLattice</a>(), <a class="el" href="matrix_8c-source.html#l00028">Matrix_Alloc</a>(), <a class="el" href="matrix_8c-source.html#l00085">Matrix_Free</a>(), <a class="el" href="SolveDio_8c-source.html#l00064">SolveDiophantine</a>(), <a class="el" href="arithmetique_8h-source.html#l00229">Value</a>, <a class="el" href="arithmetique_8h-source.html#l00319">value_assign</a>, <a class="el" href="arithmetique_8h-source.html#l00322">value_clear</a>, <a class="el" href="arithmetique_8h-source.html#l00318">value_init</a>, <a class="el" href="arithmetique_8h-source.html#l00371">value_multiply</a>, <a class="el" href="arithmetique_8h-source.html#l00378">value_oppose</a>, <a class="el" href="arithmetique_8h-source.html#l00320">value_set_si</a>, <a class="el" href="arithmetique_8h-source.html#l00372">value_substract</a>, and <a class="el" href="vector_8c-source.html#l00162">Vector_Free</a>().
1075 <p>
1076 Referenced by <a class="el" href="Lattice_8c-source.html#l01104">LatticeImage</a>(), <a class="el" href="Zpolytest_8c-source.html#l00010">main</a>(), and <a class="el" href="Zpolyhedron_8c-source.html#l00699">ZPolyhedronPreimage</a>().    </td>
1077   </tr>
1078 </table>
1079 <a name="a36" doxytag="Lattice.c::LatticeSimplify"></a><p>
1080 <table width="100%" cellpadding="2" cellspacing="0" border="0">
1081   <tr>
1082     <td class="md">
1083       <table cellpadding="0" cellspacing="0" border="0">
1084         <tr>
1085           <td class="md" nowrap valign="top"> LatticeUnion* LatticeSimplify </td>
1086           <td class="md" valign="top">(&nbsp;</td>
1087           <td class="md" nowrap valign="top">LatticeUnion *&nbsp;</td>
1088           <td class="mdname1" valign="top" nowrap>&nbsp; <em>latlist</em>          </td>
1089           <td class="md" valign="top">)&nbsp;</td>
1090           <td class="md" nowrap></td>
1091         </tr>
1092
1093       </table>
1094     </td>
1095   </tr>
1096 </table>
1097 <table cellspacing=5 cellpadding=0 border=0>
1098   <tr>
1099     <td>
1100       &nbsp;
1101     </td>
1102     <td>
1103
1104 <p>
1105
1106 <p>
1107 Definition at line <a class="el" href="Lattice_8c-source.html#l01614">1614</a> of file <a class="el" href="Lattice_8c-source.html">Lattice.c</a>.
1108 <p>
1109 References <a class="el" href="Lattice_8c-source.html#l01527">AffinePartSimplify</a>(), <a class="el" href="Lattice_8c-source.html#l01430">LinearPartSort</a>(), and <a class="el" href="Lattice_8c-source.html#l01598">SameLinearPart</a>().
1110 <p>
1111 Referenced by <a class="el" href="Lattice_8c-source.html#l00798">LatticeDifference</a>(), <a class="el" href="Zpolytest_8c-source.html#l00010">main</a>(), and <a class="el" href="Zpolyhedron_8c-source.html#l00865">ZDomainSimplify</a>().    </td>
1112   </tr>
1113 </table>
1114 <a name="a3" doxytag="Lattice.c::LatticeUnion_Alloc"></a><p>
1115 <table width="100%" cellpadding="2" cellspacing="0" border="0">
1116   <tr>
1117     <td class="md">
1118       <table cellpadding="0" cellspacing="0" border="0">
1119         <tr>
1120           <td class="md" nowrap valign="top"> LatticeUnion* LatticeUnion_Alloc </td>
1121           <td class="md" valign="top">(&nbsp;</td>
1122           <td class="md" nowrap valign="top">void&nbsp;</td>
1123           <td class="mdname1" valign="top" nowrap>&nbsp;          </td>
1124           <td class="md" valign="top">)&nbsp;</td>
1125           <td class="md" nowrap></td>
1126         </tr>
1127
1128       </table>
1129     </td>
1130   </tr>
1131 </table>
1132 <table cellspacing=5 cellpadding=0 border=0>
1133   <tr>
1134     <td>
1135       &nbsp;
1136     </td>
1137     <td>
1138
1139 <p>
1140
1141 <p>
1142 Definition at line <a class="el" href="Lattice_8c-source.html#l00043">43</a> of file <a class="el" href="Lattice_8c-source.html">Lattice.c</a>.
1143 <p>
1144 Referenced by <a class="el" href="Zpolytest_8c-source.html#l00010">main</a>().    </td>
1145   </tr>
1146 </table>
1147 <a name="a2" doxytag="Lattice.c::LatticeUnion_Free"></a><p>
1148 <table width="100%" cellpadding="2" cellspacing="0" border="0">
1149   <tr>
1150     <td class="md">
1151       <table cellpadding="0" cellspacing="0" border="0">
1152         <tr>
1153           <td class="md" nowrap valign="top"> void LatticeUnion_Free </td>
1154           <td class="md" valign="top">(&nbsp;</td>
1155           <td class="md" nowrap valign="top">LatticeUnion *&nbsp;</td>
1156           <td class="mdname1" valign="top" nowrap>&nbsp; <em>Head</em>          </td>
1157           <td class="md" valign="top">)&nbsp;</td>
1158           <td class="md" nowrap></td>
1159         </tr>
1160
1161       </table>
1162     </td>
1163   </tr>
1164 </table>
1165 <table cellspacing=5 cellpadding=0 border=0>
1166   <tr>
1167     <td>
1168       &nbsp;
1169     </td>
1170     <td>
1171
1172 <p>
1173
1174 <p>
1175 Definition at line <a class="el" href="Lattice_8c-source.html#l00027">27</a> of file <a class="el" href="Lattice_8c-source.html">Lattice.c</a>.
1176 <p>
1177 References <a class="el" href="matrix_8c-source.html#l00085">Matrix_Free</a>().
1178 <p>
1179 Referenced by <a class="el" href="Zpolytest_8c-source.html#l00010">main</a>(), and <a class="el" href="Zpolyhedron_8c-source.html#l00865">ZDomainSimplify</a>().    </td>
1180   </tr>
1181 </table>
1182 <a name="a29" doxytag="Lattice.c::LinearPartCompare"></a><p>
1183 <table width="100%" cellpadding="2" cellspacing="0" border="0">
1184   <tr>
1185     <td class="md">
1186       <table cellpadding="0" cellspacing="0" border="0">
1187         <tr>
1188           <td class="md" nowrap valign="top"> int LinearPartCompare </td>
1189           <td class="md" valign="top">(&nbsp;</td>
1190           <td class="md" nowrap valign="top">const void *&nbsp;</td>
1191           <td class="mdname" nowrap>&nbsp; <em>A</em>, </td>
1192         </tr>
1193         <tr>
1194           <td></td>
1195           <td></td>
1196           <td class="md" nowrap>const void *&nbsp;</td>
1197           <td class="mdname" nowrap>&nbsp; <em>B</em></td>
1198         </tr>
1199         <tr>
1200           <td></td>
1201           <td class="md">)&nbsp;</td>
1202           <td class="md" colspan="2"><code> [static]</code></td>
1203         </tr>
1204
1205       </table>
1206     </td>
1207   </tr>
1208 </table>
1209 <table cellspacing=5 cellpadding=0 border=0>
1210   <tr>
1211     <td>
1212       &nbsp;
1213     </td>
1214     <td>
1215
1216 <p>
1217
1218 <p>
1219 Definition at line <a class="el" href="Lattice_8c-source.html#l01407">1407</a> of file <a class="el" href="Lattice_8c-source.html">Lattice.c</a>.
1220 <p>
1221 References <a class="el" href="arithmetique_8h-source.html#l00339">value_gt</a>, and <a class="el" href="arithmetique_8h-source.html#l00341">value_lt</a>.
1222 <p>
1223 Referenced by <a class="el" href="Lattice_8c-source.html#l01430">LinearPartSort</a>().    </td>
1224   </tr>
1225 </table>
1226 <a name="a30" doxytag="Lattice.c::LinearPartSort"></a><p>
1227 <table width="100%" cellpadding="2" cellspacing="0" border="0">
1228   <tr>
1229     <td class="md">
1230       <table cellpadding="0" cellspacing="0" border="0">
1231         <tr>
1232           <td class="md" nowrap valign="top"> void LinearPartSort </td>
1233           <td class="md" valign="top">(&nbsp;</td>
1234           <td class="md" nowrap valign="top">LatticeUnion *&nbsp;</td>
1235           <td class="mdname1" valign="top" nowrap>&nbsp; <em>Head</em>          </td>
1236           <td class="md" valign="top">)&nbsp;</td>
1237           <td class="md" nowrap><code> [static]</code></td>
1238         </tr>
1239
1240       </table>
1241     </td>
1242   </tr>
1243 </table>
1244 <table cellspacing=5 cellpadding=0 border=0>
1245   <tr>
1246     <td>
1247       &nbsp;
1248     </td>
1249     <td>
1250
1251 <p>
1252
1253 <p>
1254 Definition at line <a class="el" href="Lattice_8c-source.html#l01430">1430</a> of file <a class="el" href="Lattice_8c-source.html">Lattice.c</a>.
1255 <p>
1256 References <a class="el" href="Lattice_8c-source.html#l01407">LinearPartCompare</a>().
1257 <p>
1258 Referenced by <a class="el" href="Lattice_8c-source.html#l01614">LatticeSimplify</a>().    </td>
1259   </tr>
1260 </table>
1261 <a name="a17" doxytag="Lattice.c::MakeDioEqforInter"></a><p>
1262 <table width="100%" cellpadding="2" cellspacing="0" border="0">
1263   <tr>
1264     <td class="md">
1265       <table cellpadding="0" cellspacing="0" border="0">
1266         <tr>
1267           <td class="md" nowrap valign="top"> Matrix* MakeDioEqforInter </td>
1268           <td class="md" valign="top">(&nbsp;</td>
1269           <td class="md" nowrap valign="top">Lattice *&nbsp;</td>
1270           <td class="mdname" nowrap>&nbsp; <em>A</em>, </td>
1271         </tr>
1272         <tr>
1273           <td></td>
1274           <td></td>
1275           <td class="md" nowrap>Lattice *&nbsp;</td>
1276           <td class="mdname" nowrap>&nbsp; <em>B</em></td>
1277         </tr>
1278         <tr>
1279           <td></td>
1280           <td class="md">)&nbsp;</td>
1281           <td class="md" colspan="2"><code> [static]</code></td>
1282         </tr>
1283
1284       </table>
1285     </td>
1286   </tr>
1287 </table>
1288 <table cellspacing=5 cellpadding=0 border=0>
1289   <tr>
1290     <td>
1291       &nbsp;
1292     </td>
1293     <td>
1294
1295 <p>
1296
1297 <p>
1298 Definition at line <a class="el" href="Lattice_8c-source.html#l00553">553</a> of file <a class="el" href="Lattice_8c-source.html">Lattice.c</a>.
1299 <p>
1300 References <a class="el" href="matrix_8c-source.html#l00028">Matrix_Alloc</a>(), <a class="el" href="arithmetique_8h-source.html#l00378">value_oppose</a>, and <a class="el" href="arithmetique_8h-source.html#l00320">value_set_si</a>.
1301 <p>
1302 Referenced by <a class="el" href="Lattice_8c-source.html#l00459">LatticeIntersection</a>().    </td>
1303   </tr>
1304 </table>
1305 <a name="a15" doxytag="Lattice.c::MakeDioEqforInter"></a><p>
1306 <table width="100%" cellpadding="2" cellspacing="0" border="0">
1307   <tr>
1308     <td class="md">
1309       <table cellpadding="0" cellspacing="0" border="0">
1310         <tr>
1311           <td class="md" nowrap valign="top"> Matrix* MakeDioEqforInter </td>
1312           <td class="md" valign="top">(&nbsp;</td>
1313           <td class="md" nowrap valign="top">Matrix *&nbsp;</td>
1314           <td class="mdname" nowrap>&nbsp; <em>A</em>, </td>
1315         </tr>
1316         <tr>
1317           <td></td>
1318           <td></td>
1319           <td class="md" nowrap>Matrix *&nbsp;</td>
1320           <td class="mdname" nowrap>&nbsp; <em>B</em></td>
1321         </tr>
1322         <tr>
1323           <td></td>
1324           <td class="md">)&nbsp;</td>
1325           <td class="md" colspan="2"><code> [static]</code></td>
1326         </tr>
1327
1328       </table>
1329     </td>
1330   </tr>
1331 </table>
1332 <table cellspacing=5 cellpadding=0 border=0>
1333   <tr>
1334     <td>
1335       &nbsp;
1336     </td>
1337     <td>
1338
1339 <p>
1340     </td>
1341   </tr>
1342 </table>
1343 <a name="a38" doxytag="Lattice.c::polylib_sqrt"></a><p>
1344 <table width="100%" cellpadding="2" cellspacing="0" border="0">
1345   <tr>
1346     <td class="md">
1347       <table cellpadding="0" cellspacing="0" border="0">
1348         <tr>
1349           <td class="md" nowrap valign="top"> int polylib_sqrt </td>
1350           <td class="md" valign="top">(&nbsp;</td>
1351           <td class="md" nowrap valign="top">int&nbsp;</td>
1352           <td class="mdname1" valign="top" nowrap>&nbsp; <em>i</em>          </td>
1353           <td class="md" valign="top">)&nbsp;</td>
1354           <td class="md" nowrap><code> [static]</code></td>
1355         </tr>
1356
1357       </table>
1358     </td>
1359   </tr>
1360 </table>
1361 <table cellspacing=5 cellpadding=0 border=0>
1362   <tr>
1363     <td>
1364       &nbsp;
1365     </td>
1366     <td>
1367
1368 <p>
1369
1370 <p>
1371 Definition at line <a class="el" href="Lattice_8c-source.html#l01717">1717</a> of file <a class="el" href="Lattice_8c-source.html">Lattice.c</a>.
1372 <p>
1373 Referenced by <a class="el" href="Lattice_8c-source.html#l01655">allfactors</a>().    </td>
1374   </tr>
1375 </table>
1376 <a name="a1" doxytag="Lattice.c::PrintLatticeUnion"></a><p>
1377 <table width="100%" cellpadding="2" cellspacing="0" border="0">
1378   <tr>
1379     <td class="md">
1380       <table cellpadding="0" cellspacing="0" border="0">
1381         <tr>
1382           <td class="md" nowrap valign="top"> void PrintLatticeUnion </td>
1383           <td class="md" valign="top">(&nbsp;</td>
1384           <td class="md" nowrap valign="top">FILE *&nbsp;</td>
1385           <td class="mdname" nowrap>&nbsp; <em>fp</em>, </td>
1386         </tr>
1387         <tr>
1388           <td></td>
1389           <td></td>
1390           <td class="md" nowrap>char *&nbsp;</td>
1391           <td class="mdname" nowrap>&nbsp; <em>format</em>, </td>
1392         </tr>
1393         <tr>
1394           <td></td>
1395           <td></td>
1396           <td class="md" nowrap>LatticeUnion *&nbsp;</td>
1397           <td class="mdname" nowrap>&nbsp; <em>Head</em></td>
1398         </tr>
1399         <tr>
1400           <td></td>
1401           <td class="md">)&nbsp;</td>
1402           <td class="md" colspan="2"></td>
1403         </tr>
1404
1405       </table>
1406     </td>
1407   </tr>
1408 </table>
1409 <table cellspacing=5 cellpadding=0 border=0>
1410   <tr>
1411     <td>
1412       &nbsp;
1413     </td>
1414     <td>
1415
1416 <p>
1417
1418 <p>
1419 Definition at line <a class="el" href="Lattice_8c-source.html#l00015">15</a> of file <a class="el" href="Lattice_8c-source.html">Lattice.c</a>.
1420 <p>
1421 References <a class="el" href="matrix_8c-source.html#l00109">Matrix_Print</a>().
1422 <p>
1423 Referenced by <a class="el" href="Zpolytest_8c-source.html#l00010">main</a>().    </td>
1424   </tr>
1425 </table>
1426 <a name="a4" doxytag="Lattice.c::sameAffinepart"></a><p>
1427 <table width="100%" cellpadding="2" cellspacing="0" border="0">
1428   <tr>
1429     <td class="md">
1430       <table cellpadding="0" cellspacing="0" border="0">
1431         <tr>
1432           <td class="md" nowrap valign="top"> Bool sameAffinepart </td>
1433           <td class="md" valign="top">(&nbsp;</td>
1434           <td class="md" nowrap valign="top">Lattice *&nbsp;</td>
1435           <td class="mdname" nowrap>&nbsp; <em>A</em>, </td>
1436         </tr>
1437         <tr>
1438           <td></td>
1439           <td></td>
1440           <td class="md" nowrap>Lattice *&nbsp;</td>
1441           <td class="mdname" nowrap>&nbsp; <em>B</em></td>
1442         </tr>
1443         <tr>
1444           <td></td>
1445           <td class="md">)&nbsp;</td>
1446           <td class="md" colspan="2"></td>
1447         </tr>
1448
1449       </table>
1450     </td>
1451   </tr>
1452 </table>
1453 <table cellspacing=5 cellpadding=0 border=0>
1454   <tr>
1455     <td>
1456       &nbsp;
1457     </td>
1458     <td>
1459
1460 <p>
1461
1462 <p>
1463 Definition at line <a class="el" href="Lattice_8c-source.html#l00057">57</a> of file <a class="el" href="Lattice_8c-source.html">Lattice.c</a>.
1464 <p>
1465 References <a class="el" href="arithmetique_8h-source.html#l00338">value_ne</a>.    </td>
1466   </tr>
1467 </table>
1468 <a name="a12" doxytag="Lattice.c::sameLattice"></a><p>
1469 <table width="100%" cellpadding="2" cellspacing="0" border="0">
1470   <tr>
1471     <td class="md">
1472       <table cellpadding="0" cellspacing="0" border="0">
1473         <tr>
1474           <td class="md" nowrap valign="top"> Bool sameLattice </td>
1475           <td class="md" valign="top">(&nbsp;</td>
1476           <td class="md" nowrap valign="top">Lattice *&nbsp;</td>
1477           <td class="mdname" nowrap>&nbsp; <em>A</em>, </td>
1478         </tr>
1479         <tr>
1480           <td></td>
1481           <td></td>
1482           <td class="md" nowrap>Lattice *&nbsp;</td>
1483           <td class="mdname" nowrap>&nbsp; <em>B</em></td>
1484         </tr>
1485         <tr>
1486           <td></td>
1487           <td class="md">)&nbsp;</td>
1488           <td class="md" colspan="2"></td>
1489         </tr>
1490
1491       </table>
1492     </td>
1493   </tr>
1494 </table>
1495 <table cellspacing=5 cellpadding=0 border=0>
1496   <tr>
1497     <td>
1498       &nbsp;
1499     </td>
1500     <td>
1501
1502 <p>
1503
1504 <p>
1505 Definition at line <a class="el" href="Lattice_8c-source.html#l00355">355</a> of file <a class="el" href="Lattice_8c-source.html">Lattice.c</a>.
1506 <p>
1507 References <a class="el" href="Lattice_8c-source.html#l00159">AffineHermite</a>(), <a class="el" href="matrix_8c-source.html#l00085">Matrix_Free</a>(), and <a class="el" href="arithmetique_8h-source.html#l00338">value_ne</a>.
1508 <p>
1509 Referenced by <a class="el" href="Zpolyhedron_8c-source.html#l00149">AddZPolytoZDomain</a>(), and <a class="el" href="Lattice_8c-source.html#l00324">LatticeIncludes</a>().    </td>
1510   </tr>
1511 </table>
1512 <a name="a35" doxytag="Lattice.c::SameLinearPart"></a><p>
1513 <table width="100%" cellpadding="2" cellspacing="0" border="0">
1514   <tr>
1515     <td class="md">
1516       <table cellpadding="0" cellspacing="0" border="0">
1517         <tr>
1518           <td class="md" nowrap valign="top"> Bool SameLinearPart </td>
1519           <td class="md" valign="top">(&nbsp;</td>
1520           <td class="md" nowrap valign="top">LatticeUnion *&nbsp;</td>
1521           <td class="mdname" nowrap>&nbsp; <em>A</em>, </td>
1522         </tr>
1523         <tr>
1524           <td></td>
1525           <td></td>
1526           <td class="md" nowrap>LatticeUnion *&nbsp;</td>
1527           <td class="mdname" nowrap>&nbsp; <em>B</em></td>
1528         </tr>
1529         <tr>
1530           <td></td>
1531           <td class="md">)&nbsp;</td>
1532           <td class="md" colspan="2"><code> [static]</code></td>
1533         </tr>
1534
1535       </table>
1536     </td>
1537   </tr>
1538 </table>
1539 <table cellspacing=5 cellpadding=0 border=0>
1540   <tr>
1541     <td>
1542       &nbsp;
1543     </td>
1544     <td>
1545
1546 <p>
1547
1548 <p>
1549 Definition at line <a class="el" href="Lattice_8c-source.html#l01598">1598</a> of file <a class="el" href="Lattice_8c-source.html">Lattice.c</a>.
1550 <p>
1551 References <a class="el" href="arithmetique_8h-source.html#l00338">value_ne</a>.
1552 <p>
1553 Referenced by <a class="el" href="Lattice_8c-source.html#l01614">LatticeSimplify</a>().    </td>
1554   </tr>
1555 </table>
1556 <a name="a28" doxytag="Lattice.c::Simplify"></a><p>
1557 <table width="100%" cellpadding="2" cellspacing="0" border="0">
1558   <tr>
1559     <td class="md">
1560       <table cellpadding="0" cellspacing="0" border="0">
1561         <tr>
1562           <td class="md" nowrap valign="top"> Bool Simplify </td>
1563           <td class="md" valign="top">(&nbsp;</td>
1564           <td class="md" nowrap valign="top">LatticeUnion **&nbsp;</td>
1565           <td class="mdname" nowrap>&nbsp; <em>InputList</em>, </td>
1566         </tr>
1567         <tr>
1568           <td></td>
1569           <td></td>
1570           <td class="md" nowrap>LatticeUnion **&nbsp;</td>
1571           <td class="mdname" nowrap>&nbsp; <em>ResultList</em>, </td>
1572         </tr>
1573         <tr>
1574           <td></td>
1575           <td></td>
1576           <td class="md" nowrap>int&nbsp;</td>
1577           <td class="mdname" nowrap>&nbsp; <em>dim</em></td>
1578         </tr>
1579         <tr>
1580           <td></td>
1581           <td class="md">)&nbsp;</td>
1582           <td class="md" colspan="2"><code> [static]</code></td>
1583         </tr>
1584
1585       </table>
1586     </td>
1587   </tr>
1588 </table>
1589 <table cellspacing=5 cellpadding=0 border=0>
1590   <tr>
1591     <td>
1592       &nbsp;
1593     </td>
1594     <td>
1595
1596 <p>
1597
1598 <p>
1599 Definition at line <a class="el" href="Lattice_8c-source.html#l01284">1284</a> of file <a class="el" href="Lattice_8c-source.html">Lattice.c</a>.
1600 <p>
1601 References <a class="el" href="Lattice_8c-source.html#l01655">allfactors</a>(), <a class="el" href="Lattice_8c-source.html#l00006">factor::count</a>, <a class="el" href="Lattice_8c-source.html#l00007">factor::fac</a>, <a class="el" href="Matop_8c-source.html#l00101">Matrix_Copy</a>(), <a class="el" href="matrix_8c-source.html#l00085">Matrix_Free</a>(), <a class="el" href="arithmetique_8h-source.html#l00229">Value</a>, <a class="el" href="arithmetique_8h-source.html#l00367">value_addto</a>, <a class="el" href="arithmetique_8h-source.html#l00319">value_assign</a>, <a class="el" href="arithmetique_8h-source.html#l00322">value_clear</a>, <a class="el" href="arithmetique_8h-source.html#l00375">value_division</a>, <a class="el" href="arithmetique_8h-source.html#l00337">value_eq</a>, <a class="el" href="arithmetique_8h-source.html#l00340">value_ge</a>, <a class="el" href="arithmetique_8h-source.html#l00339">value_gt</a>, <a class="el" href="arithmetique_8h-source.html#l00369">value_increment</a>, <a class="el" href="arithmetique_8h-source.html#l00318">value_init</a>, <a class="el" href="arithmetique_8h-source.html#l00341">value_lt</a>, <a class="el" href="arithmetique_8h-source.html#l00320">value_set_si</a>, and <a class="el" href="arithmetique_8h-source.html#l00237">VALUE_TO_INT</a>.
1602 <p>
1603 Referenced by <a class="el" href="Lattice_8c-source.html#l01527">AffinePartSimplify</a>().    </td>
1604   </tr>
1605 </table>
1606 <a name="a22" doxytag="Lattice.c::SplitLattice"></a><p>
1607 <table width="100%" cellpadding="2" cellspacing="0" border="0">
1608   <tr>
1609     <td class="md">
1610       <table cellpadding="0" cellspacing="0" border="0">
1611         <tr>
1612           <td class="md" nowrap valign="top"> LatticeUnion* SplitLattice </td>
1613           <td class="md" valign="top">(&nbsp;</td>
1614           <td class="md" nowrap valign="top">Lattice *&nbsp;</td>
1615           <td class="mdname" nowrap>&nbsp; <em>B1</em>, </td>
1616         </tr>
1617         <tr>
1618           <td></td>
1619           <td></td>
1620           <td class="md" nowrap>Lattice *&nbsp;</td>
1621           <td class="mdname" nowrap>&nbsp; <em>B2</em>, </td>
1622         </tr>
1623         <tr>
1624           <td></td>
1625           <td></td>
1626           <td class="md" nowrap>Matrix *&nbsp;</td>
1627           <td class="mdname" nowrap>&nbsp; <em>C</em></td>
1628         </tr>
1629         <tr>
1630           <td></td>
1631           <td class="md">)&nbsp;</td>
1632           <td class="md" colspan="2"></td>
1633         </tr>
1634
1635       </table>
1636     </td>
1637   </tr>
1638 </table>
1639 <table cellspacing=5 cellpadding=0 border=0>
1640   <tr>
1641     <td>
1642       &nbsp;
1643     </td>
1644     <td>
1645
1646 <p>
1647
1648 <p>
1649 Definition at line <a class="el" href="Lattice_8c-source.html#l00885">885</a> of file <a class="el" href="Lattice_8c-source.html">Lattice.c</a>.
1650 <p>
1651 References <a class="el" href="Lattice_8c-source.html#l00912">AddLattice</a>(), and <a class="el" href="arithmetique_8h-source.html#l00237">VALUE_TO_INT</a>.
1652 <p>
1653 Referenced by <a class="el" href="Lattice_8c-source.html#l00658">Lattice2LatticeUnion</a>().    </td>
1654   </tr>
1655 </table>
1656 <a name="a19" doxytag="Lattice.c::SplitLattice"></a><p>
1657 <table width="100%" cellpadding="2" cellspacing="0" border="0">
1658   <tr>
1659     <td class="md">
1660       <table cellpadding="0" cellspacing="0" border="0">
1661         <tr>
1662           <td class="md" nowrap valign="top"> LatticeUnion* SplitLattice </td>
1663           <td class="md" valign="top">(&nbsp;</td>
1664           <td class="md" nowrap valign="top">Matrix *&nbsp;</td>
1665           <td class="mdname" nowrap>&nbsp;, </td>
1666         </tr>
1667         <tr>
1668           <td></td>
1669           <td></td>
1670           <td class="md" nowrap>Matrix *&nbsp;</td>
1671           <td class="mdname" nowrap>&nbsp;, </td>
1672         </tr>
1673         <tr>
1674           <td></td>
1675           <td></td>
1676           <td class="md" nowrap>Matrix *&nbsp;</td>
1677           <td class="mdname" nowrap>&nbsp;</td>
1678         </tr>
1679         <tr>
1680           <td></td>
1681           <td class="md">)&nbsp;</td>
1682           <td class="md" colspan="2"></td>
1683         </tr>
1684
1685       </table>
1686     </td>
1687   </tr>
1688 </table>
1689 <table cellspacing=5 cellpadding=0 border=0>
1690   <tr>
1691     <td>
1692       &nbsp;
1693     </td>
1694     <td>
1695
1696 <p>
1697     </td>
1698   </tr>
1699 </table>
1700 <hr><address align="right"><small>Generated on Fri Nov 8 12:10:07 2002 for Polylib by
1701 <a href="http://www.doxygen.org/index.html">
1702 <img src="doxygen.png" alt="doxygen" align="middle" border=0
1703 width=110 height=53></a>1.2.15 </small></address>
1704 </body>
1705 </html>