doc/codeDoc/html/SolveDio_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>SolveDio.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>SolveDio.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="SolveDio_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>Functions</h2></td></tr>
  15 <tr><td nowrap align=right valign=top>void&nbsp;</td><td valign=bottom><a class="el" href="SolveDio_8c.html#a0">RearrangeMatforSolveDio</a> (Matrix *M)</td></tr>
  16 <tr><td>&nbsp;</td><td><font size=-1><em>When rank &lt; hermi-&gt;NbRows; Verifying whether the solution agrees with the remaining n-rank rows as well.</em> <a href="#a0">More...</a><em></em></font><br><br></td></tr>
  17 <tr><td nowrap align=right valign=top>int&nbsp;</td><td valign=bottom><a class="el" href="SolveDio_8c.html#a1">SolveDiophantine</a> (Matrix *M, Matrix **U, Vector **X)</td></tr>
  18 </table>
  19 <hr><h2>Function Documentation</h2>
  20 <a name="a0" doxytag="SolveDio.c::RearrangeMatforSolveDio"></a><p>
  21 <table width="100%" cellpadding="2" cellspacing="0" border="0">
  22   <tr>
  23     <td class="md">
  24       <table cellpadding="0" cellspacing="0" border="0">
  25         <tr>
  26           <td class="md" nowrap valign="top"> void RearrangeMatforSolveDio </td>
  27           <td class="md" valign="top">(&nbsp;</td>
  28           <td class="md" nowrap valign="top">Matrix *&nbsp;</td>
  29           <td class="mdname1" valign="top" nowrap>&nbsp; <em>M</em>          </td>
  30           <td class="md" valign="top">)&nbsp;</td>
  31           <td class="md" nowrap><code> [static]</code></td>
  32         </tr>
  33
  34       </table>
  35     </td>
  36   </tr>
  37 </table>
  38 <table cellspacing=5 cellpadding=0 border=0>
  39   <tr>
  40     <td>
  41       &nbsp;
  42     </td>
  43     <td>
  44
  45 <p>
  46 When rank &lt; hermi-&gt;NbRows; Verifying whether the solution agrees with the remaining n-rank rows as well.
  47 <p>
  48 *
  49 <p>
  50 Definition at line <a class="el" href="SolveDio_8c-source.html#l00233">233</a> of file <a class="el" href="SolveDio_8c-source.html">SolveDio.c</a>.
  51 <p>
  52 References <a class="el" href="Matop_8c-source.html#l00279">AddANullRow</a>(), <a class="el" href="Matop_8c-source.html#l00041">ExchangeRows</a>(), <a class="el" href="NormalForms_8c-source.html#l00695">Hermite</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="verif__ehrhart_8c-source.html#l00043">min</a>, <a class="el" href="arithmetique_8h-source.html#l00319">value_assign</a>, <a class="el" href="arithmetique_8h-source.html#l00402">value_notzero_p</a>, and <a class="el" href="arithmetique_8h-source.html#l00401">value_zero_p</a>.
  53 <p>
  54 Referenced by <a class="el" href="SolveDio_8c-source.html#l00064">SolveDiophantine</a>().    </td>
  55   </tr>
  56 </table>
  57 <a name="a1" doxytag="SolveDio.c::SolveDiophantine"></a><p>
  58 <table width="100%" cellpadding="2" cellspacing="0" border="0">
  59   <tr>
  60     <td class="md">
  61       <table cellpadding="0" cellspacing="0" border="0">
  62         <tr>
  63           <td class="md" nowrap valign="top"> int SolveDiophantine </td>
  64           <td class="md" valign="top">(&nbsp;</td>
  65           <td class="md" nowrap valign="top">Matrix *&nbsp;</td>
  66           <td class="mdname" nowrap>&nbsp; <em>M</em>, </td>
  67         </tr>
  68         <tr>
  69           <td></td>
  70           <td></td>
  71           <td class="md" nowrap>Matrix **&nbsp;</td>
  72           <td class="mdname" nowrap>&nbsp; <em>U</em>, </td>
  73         </tr>
  74         <tr>
  75           <td></td>
  76           <td></td>
  77           <td class="md" nowrap>Vector **&nbsp;</td>
  78           <td class="mdname" nowrap>&nbsp; <em>X</em></td>
  79         </tr>
  80         <tr>
  81           <td></td>
  82           <td class="md">)&nbsp;</td>
  83           <td class="md" colspan="2"></td>
  84         </tr>
  85
  86       </table>
  87     </td>
  88   </tr>
  89 </table>
  90 <table cellspacing=5 cellpadding=0 border=0>
  91   <tr>
  92     <td>
  93       &nbsp;
  94     </td>
  95     <td>
  96
  97 <p>
  98
  99 <p>
 100 Definition at line <a class="el" href="SolveDio_8c-source.html#l00064">64</a> of file <a class="el" href="SolveDio_8c-source.html">SolveDio.c</a>.
 101 <p>
 102 References <a class="el" href="NormalForms_8c-source.html#l00695">Hermite</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="verif__ehrhart_8c-source.html#l00043">min</a>, <a class="el" href="SolveDio_8c-source.html#l00233">RearrangeMatforSolveDio</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#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#l00338">value_ne</a>, <a class="el" href="arithmetique_8h-source.html#l00402">value_notzero_p</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#l00137">Vector_Alloc</a>().
 103 <p>
 104 Referenced by <a class="el" href="Matop_8c-source.html#l00353">findHermiteBasis</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>
 105   </tr>
 106 </table>
 107 <hr><address align="right"><small>Generated on Fri Nov 8 12:10:07 2002 for Polylib by
 108 <a href="http://www.doxygen.org/index.html">
 109 <img src="doxygen.png" alt="doxygen" align="middle" border=0
 110 width=110 height=53></a>1.2.15 </small></address>
 111 </body>
 112 </html>