doc/codeDoc/html/vector_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>vector.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>vector.c File Reference</h1><code>#include &lt;stdio.h&gt;</code><br>
  10 <code>#include &lt;stdlib.h&gt;</code><br>
  11 <code>#include &lt;polylib/polylib.h&gt;</code><br>
  12
  13 <p>
  14 <a href="vector_8c-source.html">Go to the source code of this file.</a><table border=0 cellpadding=0 cellspacing=0>
  15 <tr><td colspan=2><br><h2>Functions</h2></td></tr>
  16 <tr><td nowrap align=right valign=top>void&nbsp;</td><td valign=bottom><a class="el" href="vector_8c.html#a0">Factorial</a> (int <a class="el" href="polyparam_8c.html#a2">n</a>, <a class="el" href="arithmetique_8h.html#a93">Value</a> *fact)</td></tr>
  17 <tr><td nowrap align=right valign=top>void&nbsp;</td><td valign=bottom><a class="el" href="vector_8c.html#a1">Binomial</a> (int <a class="el" href="polyparam_8c.html#a2">n</a>, int p, <a class="el" href="arithmetique_8h.html#a93">Value</a> *result)</td></tr>
  18 <tr><td nowrap align=right valign=top>void&nbsp;</td><td valign=bottom><a class="el" href="vector_8c.html#a2">CNP</a> (int a, int b, <a class="el" href="arithmetique_8h.html#a93">Value</a> *result)</td></tr>
  19 <tr><td nowrap align=right valign=top>void&nbsp;</td><td valign=bottom><a class="el" href="vector_8c.html#a3">Gcd</a> (<a class="el" href="arithmetique_8h.html#a93">Value</a> a, <a class="el" href="arithmetique_8h.html#a93">Value</a> b, <a class="el" href="arithmetique_8h.html#a93">Value</a> *result)</td></tr>
  20 <tr><td nowrap align=right valign=top>int&nbsp;</td><td valign=bottom><a class="el" href="vector_8c.html#a4">First_Non_Zero</a> (<a class="el" href="arithmetique_8h.html#a93">Value</a> *p, unsigned length)</td></tr>
  21 <tr><td nowrap align=right valign=top>Vector *&nbsp;</td><td valign=bottom><a class="el" href="vector_8c.html#a5">Vector_Alloc</a> (unsigned length)</td></tr>
  22 <tr><td nowrap align=right valign=top>void&nbsp;</td><td valign=bottom><a class="el" href="vector_8c.html#a6">Vector_Free</a> (Vector *vector)</td></tr>
  23 <tr><td nowrap align=right valign=top>void&nbsp;</td><td valign=bottom><a class="el" href="vector_8c.html#a7">Vector_Print</a> (FILE *Dst, char *Format, Vector *vector)</td></tr>
  24 <tr><td nowrap align=right valign=top>Vector *&nbsp;</td><td valign=bottom><a class="el" href="vector_8c.html#a8">Vector_Read</a> ()</td></tr>
  25 <tr><td nowrap align=right valign=top>void&nbsp;</td><td valign=bottom><a class="el" href="vector_8c.html#a9">Vector_Set</a> (<a class="el" href="arithmetique_8h.html#a93">Value</a> *p, int <a class="el" href="polyparam_8c.html#a2">n</a>, unsigned length)</td></tr>
  26 <tr><td nowrap align=right valign=top>void&nbsp;</td><td valign=bottom><a class="el" href="vector_8c.html#a10">Vector_Exchange</a> (<a class="el" href="arithmetique_8h.html#a93">Value</a> *p1, <a class="el" href="arithmetique_8h.html#a93">Value</a> *p2, unsigned length)</td></tr>
  27 <tr><td nowrap align=right valign=top>void&nbsp;</td><td valign=bottom><a class="el" href="vector_8c.html#a11">Vector_Copy</a> (<a class="el" href="arithmetique_8h.html#a93">Value</a> *p1, <a class="el" href="arithmetique_8h.html#a93">Value</a> *p2, unsigned length)</td></tr>
  28 <tr><td nowrap align=right valign=top>void&nbsp;</td><td valign=bottom><a class="el" href="vector_8c.html#a12">Vector_Add</a> (<a class="el" href="arithmetique_8h.html#a93">Value</a> *p1, <a class="el" href="arithmetique_8h.html#a93">Value</a> *p2, <a class="el" href="arithmetique_8h.html#a93">Value</a> *p3, unsigned length)</td></tr>
  29 <tr><td nowrap align=right valign=top>void&nbsp;</td><td valign=bottom><a class="el" href="vector_8c.html#a13">Vector_Sub</a> (<a class="el" href="arithmetique_8h.html#a93">Value</a> *p1, <a class="el" href="arithmetique_8h.html#a93">Value</a> *p2, <a class="el" href="arithmetique_8h.html#a93">Value</a> *p3, unsigned length)</td></tr>
  30 <tr><td nowrap align=right valign=top>void&nbsp;</td><td valign=bottom><a class="el" href="vector_8c.html#a14">Vector_Or</a> (<a class="el" href="arithmetique_8h.html#a93">Value</a> *p1, <a class="el" href="arithmetique_8h.html#a93">Value</a> *p2, <a class="el" href="arithmetique_8h.html#a93">Value</a> *p3, unsigned length)</td></tr>
  31 <tr><td nowrap align=right valign=top>void&nbsp;</td><td valign=bottom><a class="el" href="vector_8c.html#a15">Vector_Scale</a> (<a class="el" href="arithmetique_8h.html#a93">Value</a> *p1, <a class="el" href="arithmetique_8h.html#a93">Value</a> *p2, <a class="el" href="arithmetique_8h.html#a93">Value</a> lambda, unsigned length)</td></tr>
  32 <tr><td nowrap align=right valign=top>void&nbsp;</td><td valign=bottom><a class="el" href="vector_8c.html#a16">Vector_AntiScale</a> (<a class="el" href="arithmetique_8h.html#a93">Value</a> *p1, <a class="el" href="arithmetique_8h.html#a93">Value</a> *p2, <a class="el" href="arithmetique_8h.html#a93">Value</a> lambda, unsigned length)</td></tr>
  33 <tr><td nowrap align=right valign=top>void&nbsp;</td><td valign=bottom><a class="el" href="vector_8c.html#a17">Inner_Product</a> (<a class="el" href="arithmetique_8h.html#a93">Value</a> *p1, <a class="el" href="arithmetique_8h.html#a93">Value</a> *p2, unsigned length, <a class="el" href="arithmetique_8h.html#a93">Value</a> *ip)</td></tr>
  34 <tr><td nowrap align=right valign=top>void&nbsp;</td><td valign=bottom><a class="el" href="vector_8c.html#a18">Vector_Max</a> (<a class="el" href="arithmetique_8h.html#a93">Value</a> *p, unsigned length, <a class="el" href="arithmetique_8h.html#a93">Value</a> *<a class="el" href="verif__ehrhart_8c.html#a7">max</a>)</td></tr>
  35 <tr><td nowrap align=right valign=top>void&nbsp;</td><td valign=bottom><a class="el" href="vector_8c.html#a19">Vector_Min</a> (<a class="el" href="arithmetique_8h.html#a93">Value</a> *p, unsigned length, <a class="el" href="arithmetique_8h.html#a93">Value</a> *<a class="el" href="verif__ehrhart_8c.html#a6">min</a>)</td></tr>
  36 <tr><td nowrap align=right valign=top>void&nbsp;</td><td valign=bottom><a class="el" href="vector_8c.html#a20">Vector_Combine</a> (<a class="el" href="arithmetique_8h.html#a93">Value</a> *p1, <a class="el" href="arithmetique_8h.html#a93">Value</a> *p2, <a class="el" href="arithmetique_8h.html#a93">Value</a> *p3, <a class="el" href="arithmetique_8h.html#a93">Value</a> lambda, <a class="el" href="arithmetique_8h.html#a93">Value</a> mu, unsigned length)</td></tr>
  37 <tr><td nowrap align=right valign=top>int&nbsp;</td><td valign=bottom><a class="el" href="vector_8c.html#a21">Vector_Equal</a> (<a class="el" href="arithmetique_8h.html#a93">Value</a> *Vec1, <a class="el" href="arithmetique_8h.html#a93">Value</a> *Vec2, unsigned <a class="el" href="polyparam_8c.html#a2">n</a>)</td></tr>
  38 <tr><td nowrap align=right valign=top>void&nbsp;</td><td valign=bottom><a class="el" href="vector_8c.html#a22">Vector_Min_Not_Zero</a> (<a class="el" href="arithmetique_8h.html#a93">Value</a> *p, unsigned length, int *index, <a class="el" href="arithmetique_8h.html#a93">Value</a> *<a class="el" href="verif__ehrhart_8c.html#a6">min</a>)</td></tr>
  39 <tr><td nowrap align=right valign=top>void&nbsp;</td><td valign=bottom><a class="el" href="vector_8c.html#a23">Vector_Gcd</a> (<a class="el" href="arithmetique_8h.html#a93">Value</a> *p, unsigned length, <a class="el" href="arithmetique_8h.html#a93">Value</a> *<a class="el" href="verif__ehrhart_8c.html#a6">min</a>)</td></tr>
  40 <tr><td nowrap align=right valign=top>void&nbsp;</td><td valign=bottom><a class="el" href="vector_8c.html#a24">Vector_Map</a> (<a class="el" href="arithmetique_8h.html#a93">Value</a> *p1, <a class="el" href="arithmetique_8h.html#a93">Value</a> *p2, <a class="el" href="arithmetique_8h.html#a93">Value</a> *p3, unsigned length, <a class="el" href="arithmetique_8h.html#a93">Value</a> *(*f)())</td></tr>
  41 <tr><td nowrap align=right valign=top>void&nbsp;</td><td valign=bottom><a class="el" href="vector_8c.html#a25">Vector_Normalize</a> (<a class="el" href="arithmetique_8h.html#a93">Value</a> *p, unsigned length)</td></tr>
  42 <tr><td nowrap align=right valign=top>void&nbsp;</td><td valign=bottom><a class="el" href="vector_8c.html#a26">Vector_Normalize_Positive</a> (<a class="el" href="arithmetique_8h.html#a93">Value</a> *p, int length, int pos)</td></tr>
  43 <tr><td nowrap align=right valign=top>void&nbsp;</td><td valign=bottom><a class="el" href="vector_8c.html#a27">Vector_Reduce</a> (<a class="el" href="arithmetique_8h.html#a93">Value</a> *p, unsigned length, void(*f)(<a class="el" href="arithmetique_8h.html#a93">Value</a>, <a class="el" href="arithmetique_8h.html#a93">Value</a> *), <a class="el" href="arithmetique_8h.html#a93">Value</a> *r)</td></tr>
  44 <tr><td nowrap align=right valign=top>void&nbsp;</td><td valign=bottom><a class="el" href="vector_8c.html#a28">Vector_Sort</a> (<a class="el" href="arithmetique_8h.html#a93">Value</a> *vector, unsigned <a class="el" href="polyparam_8c.html#a2">n</a>)</td></tr>
  45 </table>
  46 <hr><h2>Function Documentation</h2>
  47 <a name="a1" doxytag="vector.c::Binomial"></a><p>
  48 <table width="100%" cellpadding="2" cellspacing="0" border="0">
  49   <tr>
  50     <td class="md">
  51       <table cellpadding="0" cellspacing="0" border="0">
  52         <tr>
  53           <td class="md" nowrap valign="top"> void Binomial </td>
  54           <td class="md" valign="top">(&nbsp;</td>
  55           <td class="md" nowrap valign="top">int&nbsp;</td>
  56           <td class="mdname" nowrap>&nbsp; <em>n</em>, </td>
  57         </tr>
  58         <tr>
  59           <td></td>
  60           <td></td>
  61           <td class="md" nowrap>int&nbsp;</td>
  62           <td class="mdname" nowrap>&nbsp; <em>p</em>, </td>
  63         </tr>
  64         <tr>
  65           <td></td>
  66           <td></td>
  67           <td class="md" nowrap><a class="el" href="arithmetique_8h.html#a93">Value</a> *&nbsp;</td>
  68           <td class="mdname" nowrap>&nbsp; <em>result</em></td>
  69         </tr>
  70         <tr>
  71           <td></td>
  72           <td class="md">)&nbsp;</td>
  73           <td class="md" colspan="2"></td>
  74         </tr>
  75
  76       </table>
  77     </td>
  78   </tr>
  79 </table>
  80 <table cellspacing=5 cellpadding=0 border=0>
  81   <tr>
  82     <td>
  83       &nbsp;
  84     </td>
  85     <td>
  86
  87 <p>
  88
  89 <p>
  90 Definition at line <a class="el" href="vector_8c-source.html#l00044">44</a> of file <a class="el" href="vector_8c-source.html">vector.c</a>.
  91 <p>
  92 References <a class="el" href="vector_8c-source.html#l00026">Factorial</a>(), <a class="el" href="arithmetique_8h-source.html#l00229">Value</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>, and <a class="el" href="arithmetique_8h-source.html#l00320">value_set_si</a>.    </td>
  93   </tr>
  94 </table>
  95 <a name="a2" doxytag="vector.c::CNP"></a><p>
  96 <table width="100%" cellpadding="2" cellspacing="0" border="0">
  97   <tr>
  98     <td class="md">
  99       <table cellpadding="0" cellspacing="0" border="0">
 100         <tr>
 101           <td class="md" nowrap valign="top"> void CNP </td>
 102           <td class="md" valign="top">(&nbsp;</td>
 103           <td class="md" nowrap valign="top">int&nbsp;</td>
 104           <td class="mdname" nowrap>&nbsp; <em>a</em>, </td>
 105         </tr>
 106         <tr>
 107           <td></td>
 108           <td></td>
 109           <td class="md" nowrap>int&nbsp;</td>
 110           <td class="mdname" nowrap>&nbsp; <em>b</em>, </td>
 111         </tr>
 112         <tr>
 113           <td></td>
 114           <td></td>
 115           <td class="md" nowrap><a class="el" href="arithmetique_8h.html#a93">Value</a> *&nbsp;</td>
 116           <td class="mdname" nowrap>&nbsp; <em>result</em></td>
 117         </tr>
 118         <tr>
 119           <td></td>
 120           <td class="md">)&nbsp;</td>
 121           <td class="md" colspan="2"></td>
 122         </tr>
 123
 124       </table>
 125     </td>
 126   </tr>
 127 </table>
 128 <table cellspacing=5 cellpadding=0 border=0>
 129   <tr>
 130     <td>
 131       &nbsp;
 132     </td>
 133     <td>
 134
 135 <p>
 136
 137 <p>
 138 Definition at line <a class="el" href="vector_8c-source.html#l00072">72</a> of file <a class="el" href="vector_8c-source.html">vector.c</a>.
 139 <p>
 140 References <a class="el" href="arithmetique_8h-source.html#l00229">Value</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>, and <a class="el" href="arithmetique_8h-source.html#l00320">value_set_si</a>.    </td>
 141   </tr>
 142 </table>
 143 <a name="a0" doxytag="vector.c::Factorial"></a><p>
 144 <table width="100%" cellpadding="2" cellspacing="0" border="0">
 145   <tr>
 146     <td class="md">
 147       <table cellpadding="0" cellspacing="0" border="0">
 148         <tr>
 149           <td class="md" nowrap valign="top"> void Factorial </td>
 150           <td class="md" valign="top">(&nbsp;</td>
 151           <td class="md" nowrap valign="top">int&nbsp;</td>
 152           <td class="mdname" nowrap>&nbsp; <em>n</em>, </td>
 153         </tr>
 154         <tr>
 155           <td></td>
 156           <td></td>
 157           <td class="md" nowrap><a class="el" href="arithmetique_8h.html#a93">Value</a> *&nbsp;</td>
 158           <td class="mdname" nowrap>&nbsp; <em>fact</em></td>
 159         </tr>
 160         <tr>
 161           <td></td>
 162           <td class="md">)&nbsp;</td>
 163           <td class="md" colspan="2"></td>
 164         </tr>
 165
 166       </table>
 167     </td>
 168   </tr>
 169 </table>
 170 <table cellspacing=5 cellpadding=0 border=0>
 171   <tr>
 172     <td>
 173       &nbsp;
 174     </td>
 175     <td>
 176
 177 <p>
 178
 179 <p>
 180 Definition at line <a class="el" href="vector_8c-source.html#l00026">26</a> of file <a class="el" href="vector_8c-source.html">vector.c</a>.
 181 <p>
 182 References <a class="el" href="arithmetique_8h-source.html#l00229">Value</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>.
 183 <p>
 184 Referenced by <a class="el" href="vector_8c-source.html#l00044">Binomial</a>().    </td>
 185   </tr>
 186 </table>
 187 <a name="a4" doxytag="vector.c::First_Non_Zero"></a><p>
 188 <table width="100%" cellpadding="2" cellspacing="0" border="0">
 189   <tr>
 190     <td class="md">
 191       <table cellpadding="0" cellspacing="0" border="0">
 192         <tr>
 193           <td class="md" nowrap valign="top"> int First_Non_Zero </td>
 194           <td class="md" valign="top">(&nbsp;</td>
 195           <td class="md" nowrap valign="top"><a class="el" href="arithmetique_8h.html#a93">Value</a> *&nbsp;</td>
 196           <td class="mdname" nowrap>&nbsp; <em>p</em>, </td>
 197         </tr>
 198         <tr>
 199           <td></td>
 200           <td></td>
 201           <td class="md" nowrap>unsigned&nbsp;</td>
 202           <td class="mdname" nowrap>&nbsp; <em>length</em></td>
 203         </tr>
 204         <tr>
 205           <td></td>
 206           <td class="md">)&nbsp;</td>
 207           <td class="md" colspan="2"></td>
 208         </tr>
 209
 210       </table>
 211     </td>
 212   </tr>
 213 </table>
 214 <table cellspacing=5 cellpadding=0 border=0>
 215   <tr>
 216     <td>
 217       &nbsp;
 218     </td>
 219     <td>
 220
 221 <p>
 222
 223 <p>
 224 Definition at line <a class="el" href="vector_8c-source.html#l00120">120</a> of file <a class="el" href="vector_8c-source.html">vector.c</a>.
 225 <p>
 226 References <a class="el" href="arithmetique_8h-source.html#l00229">Value</a>, and <a class="el" href="arithmetique_8h-source.html#l00402">value_notzero_p</a>.    </td>
 227   </tr>
 228 </table>
 229 <a name="a3" doxytag="vector.c::Gcd"></a><p>
 230 <table width="100%" cellpadding="2" cellspacing="0" border="0">
 231   <tr>
 232     <td class="md">
 233       <table cellpadding="0" cellspacing="0" border="0">
 234         <tr>
 235           <td class="md" nowrap valign="top"> void Gcd </td>
 236           <td class="md" valign="top">(&nbsp;</td>
 237           <td class="md" nowrap valign="top"><a class="el" href="arithmetique_8h.html#a93">Value</a>&nbsp;</td>
 238           <td class="mdname" nowrap>&nbsp; <em>a</em>, </td>
 239         </tr>
 240         <tr>
 241           <td></td>
 242           <td></td>
 243           <td class="md" nowrap><a class="el" href="arithmetique_8h.html#a93">Value</a>&nbsp;</td>
 244           <td class="mdname" nowrap>&nbsp; <em>b</em>, </td>
 245         </tr>
 246         <tr>
 247           <td></td>
 248           <td></td>
 249           <td class="md" nowrap><a class="el" href="arithmetique_8h.html#a93">Value</a> *&nbsp;</td>
 250           <td class="mdname" nowrap>&nbsp; <em>result</em></td>
 251         </tr>
 252         <tr>
 253           <td></td>
 254           <td class="md">)&nbsp;</td>
 255           <td class="md" colspan="2"></td>
 256         </tr>
 257
 258       </table>
 259     </td>
 260   </tr>
 261 </table>
 262 <table cellspacing=5 cellpadding=0 border=0>
 263   <tr>
 264     <td>
 265       &nbsp;
 266     </td>
 267     <td>
 268
 269 <p>
 270
 271 <p>
 272 Definition at line <a class="el" href="vector_8c-source.html#l00099">99</a> of file <a class="el" href="vector_8c-source.html">vector.c</a>.
 273 <p>
 274 References <a class="el" href="arithmetique_8h-source.html#l00229">Value</a>, <a class="el" href="arithmetique_8h-source.html#l00379">value_absolute</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#l00376">value_modulus</a>, and <a class="el" href="arithmetique_8h-source.html#l00402">value_notzero_p</a>.
 275 <p>
 276 Referenced by <a class="el" href="polyhedron_8c-source.html#l00197">Combine</a>(), <a class="el" href="alpha_8c-source.html#l00357">GaussSimplify</a>(), <a class="el" href="Matop_8c-source.html#l00007">Lcm</a>(), <a class="el" href="matrix_8c-source.html#l00556">MatInverse</a>(), <a class="el" href="matrix_8c-source.html#l00873">Matrix_Inverse</a>(), <a class="el" href="polyparam_8c-source.html#l01402">Print_Vertex</a>(), <a class="el" href="matrix_8c-source.html#l00684">rat_prodmat</a>(), and <a class="el" href="polyparam_8c-source.html#l00127">TestRank</a>().    </td>
 277   </tr>
 278 </table>
 279 <a name="a17" doxytag="vector.c::Inner_Product"></a><p>
 280 <table width="100%" cellpadding="2" cellspacing="0" border="0">
 281   <tr>
 282     <td class="md">
 283       <table cellpadding="0" cellspacing="0" border="0">
 284         <tr>
 285           <td class="md" nowrap valign="top"> void Inner_Product </td>
 286           <td class="md" valign="top">(&nbsp;</td>
 287           <td class="md" nowrap valign="top"><a class="el" href="arithmetique_8h.html#a93">Value</a> *&nbsp;</td>
 288           <td class="mdname" nowrap>&nbsp; <em>p1</em>, </td>
 289         </tr>
 290         <tr>
 291           <td></td>
 292           <td></td>
 293           <td class="md" nowrap><a class="el" href="arithmetique_8h.html#a93">Value</a> *&nbsp;</td>
 294           <td class="mdname" nowrap>&nbsp; <em>p2</em>, </td>
 295         </tr>
 296         <tr>
 297           <td></td>
 298           <td></td>
 299           <td class="md" nowrap>unsigned&nbsp;</td>
 300           <td class="mdname" nowrap>&nbsp; <em>length</em>, </td>
 301         </tr>
 302         <tr>
 303           <td></td>
 304           <td></td>
 305           <td class="md" nowrap><a class="el" href="arithmetique_8h.html#a93">Value</a> *&nbsp;</td>
 306           <td class="mdname" nowrap>&nbsp; <em>ip</em></td>
 307         </tr>
 308         <tr>
 309           <td></td>
 310           <td class="md">)&nbsp;</td>
 311           <td class="md" colspan="2"></td>
 312         </tr>
 313
 314       </table>
 315     </td>
 316   </tr>
 317 </table>
 318 <table cellspacing=5 cellpadding=0 border=0>
 319   <tr>
 320     <td>
 321       &nbsp;
 322     </td>
 323     <td>
 324
 325 <p>
 326
 327 <p>
 328 Definition at line <a class="el" href="vector_8c-source.html#l00362">362</a> of file <a class="el" href="vector_8c-source.html">vector.c</a>.
 329 <p>
 330 References <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>, and <a class="el" href="arithmetique_8h-source.html#l00371">value_multiply</a>.
 331 <p>
 332 Referenced by <a class="el" href="polyhedron_8c-source.html#l03625">lower_upper_bounds</a>().    </td>
 333   </tr>
 334 </table>
 335 <a name="a12" doxytag="vector.c::Vector_Add"></a><p>
 336 <table width="100%" cellpadding="2" cellspacing="0" border="0">
 337   <tr>
 338     <td class="md">
 339       <table cellpadding="0" cellspacing="0" border="0">
 340         <tr>
 341           <td class="md" nowrap valign="top"> void Vector_Add </td>
 342           <td class="md" valign="top">(&nbsp;</td>
 343           <td class="md" nowrap valign="top"><a class="el" href="arithmetique_8h.html#a93">Value</a> *&nbsp;</td>
 344           <td class="mdname" nowrap>&nbsp; <em>p1</em>, </td>
 345         </tr>
 346         <tr>
 347           <td></td>
 348           <td></td>
 349           <td class="md" nowrap><a class="el" href="arithmetique_8h.html#a93">Value</a> *&nbsp;</td>
 350           <td class="mdname" nowrap>&nbsp; <em>p2</em>, </td>
 351         </tr>
 352         <tr>
 353           <td></td>
 354           <td></td>
 355           <td class="md" nowrap><a class="el" href="arithmetique_8h.html#a93">Value</a> *&nbsp;</td>
 356           <td class="mdname" nowrap>&nbsp; <em>p3</em>, </td>
 357         </tr>
 358         <tr>
 359           <td></td>
 360           <td></td>
 361           <td class="md" nowrap>unsigned&nbsp;</td>
 362           <td class="mdname" nowrap>&nbsp; <em>length</em></td>
 363         </tr>
 364         <tr>
 365           <td></td>
 366           <td class="md">)&nbsp;</td>
 367           <td class="md" colspan="2"></td>
 368         </tr>
 369
 370       </table>
 371     </td>
 372   </tr>
 373 </table>
 374 <table cellspacing=5 cellpadding=0 border=0>
 375   <tr>
 376     <td>
 377       &nbsp;
 378     </td>
 379     <td>
 380
 381 <p>
 382
 383 <p>
 384 Definition at line <a class="el" href="vector_8c-source.html#l00269">269</a> of file <a class="el" href="vector_8c-source.html">vector.c</a>.
 385 <p>
 386 References <a class="el" href="arithmetique_8h-source.html#l00229">Value</a>, and <a class="el" href="arithmetique_8h-source.html#l00367">value_addto</a>.    </td>
 387   </tr>
 388 </table>
 389 <a name="a5" doxytag="vector.c::Vector_Alloc"></a><p>
 390 <table width="100%" cellpadding="2" cellspacing="0" border="0">
 391   <tr>
 392     <td class="md">
 393       <table cellpadding="0" cellspacing="0" border="0">
 394         <tr>
 395           <td class="md" nowrap valign="top"> Vector* Vector_Alloc </td>
 396           <td class="md" valign="top">(&nbsp;</td>
 397           <td class="md" nowrap valign="top">unsigned&nbsp;</td>
 398           <td class="mdname1" valign="top" nowrap>&nbsp; <em>length</em>          </td>
 399           <td class="md" valign="top">)&nbsp;</td>
 400           <td class="md" nowrap></td>
 401         </tr>
 402
 403       </table>
 404     </td>
 405   </tr>
 406 </table>
 407 <table cellspacing=5 cellpadding=0 border=0>
 408   <tr>
 409     <td>
 410       &nbsp;
 411     </td>
 412     <td>
 413
 414 <p>
 415
 416 <p>
 417 Definition at line <a class="el" href="vector_8c-source.html#l00137">137</a> of file <a class="el" href="vector_8c-source.html">vector.c</a>.
 418 <p>
 419 References <a class="el" href="errormsg_8c-source.html#l00028">errormsg1</a>(), <a class="el" href="arithmetique_8h-source.html#l00229">Value</a>, and <a class="el" href="arithmetique_8h-source.html#l00318">value_init</a>.
 420 <p>
 421 Referenced by <a class="el" href="SolveDio_8c-source.html#l00064">SolveDiophantine</a>(), and <a class="el" href="vector_8c-source.html#l00198">Vector_Read</a>().    </td>
 422   </tr>
 423 </table>
 424 <a name="a16" doxytag="vector.c::Vector_AntiScale"></a><p>
 425 <table width="100%" cellpadding="2" cellspacing="0" border="0">
 426   <tr>
 427     <td class="md">
 428       <table cellpadding="0" cellspacing="0" border="0">
 429         <tr>
 430           <td class="md" nowrap valign="top"> void Vector_AntiScale </td>
 431           <td class="md" valign="top">(&nbsp;</td>
 432           <td class="md" nowrap valign="top"><a class="el" href="arithmetique_8h.html#a93">Value</a> *&nbsp;</td>
 433           <td class="mdname" nowrap>&nbsp; <em>p1</em>, </td>
 434         </tr>
 435         <tr>
 436           <td></td>
 437           <td></td>
 438           <td class="md" nowrap><a class="el" href="arithmetique_8h.html#a93">Value</a> *&nbsp;</td>
 439           <td class="mdname" nowrap>&nbsp; <em>p2</em>, </td>
 440         </tr>
 441         <tr>
 442           <td></td>
 443           <td></td>
 444           <td class="md" nowrap><a class="el" href="arithmetique_8h.html#a93">Value</a>&nbsp;</td>
 445           <td class="mdname" nowrap>&nbsp; <em>lambda</em>, </td>
 446         </tr>
 447         <tr>
 448           <td></td>
 449           <td></td>
 450           <td class="md" nowrap>unsigned&nbsp;</td>
 451           <td class="mdname" nowrap>&nbsp; <em>length</em></td>
 452         </tr>
 453         <tr>
 454           <td></td>
 455           <td class="md">)&nbsp;</td>
 456           <td class="md" colspan="2"></td>
 457         </tr>
 458
 459       </table>
 460     </td>
 461   </tr>
 462 </table>
 463 <table cellspacing=5 cellpadding=0 border=0>
 464   <tr>
 465     <td>
 466       &nbsp;
 467     </td>
 468     <td>
 469
 470 <p>
 471
 472 <p>
 473 Definition at line <a class="el" href="vector_8c-source.html#l00344">344</a> of file <a class="el" href="vector_8c-source.html">vector.c</a>.
 474 <p>
 475 References <a class="el" href="arithmetique_8h-source.html#l00229">Value</a>, and <a class="el" href="arithmetique_8h-source.html#l00375">value_division</a>.    </td>
 476   </tr>
 477 </table>
 478 <a name="a20" doxytag="vector.c::Vector_Combine"></a><p>
 479 <table width="100%" cellpadding="2" cellspacing="0" border="0">
 480   <tr>
 481     <td class="md">
 482       <table cellpadding="0" cellspacing="0" border="0">
 483         <tr>
 484           <td class="md" nowrap valign="top"> void Vector_Combine </td>
 485           <td class="md" valign="top">(&nbsp;</td>
 486           <td class="md" nowrap valign="top"><a class="el" href="arithmetique_8h.html#a93">Value</a> *&nbsp;</td>
 487           <td class="mdname" nowrap>&nbsp; <em>p1</em>, </td>
 488         </tr>
 489         <tr>
 490           <td></td>
 491           <td></td>
 492           <td class="md" nowrap><a class="el" href="arithmetique_8h.html#a93">Value</a> *&nbsp;</td>
 493           <td class="mdname" nowrap>&nbsp; <em>p2</em>, </td>
 494         </tr>
 495         <tr>
 496           <td></td>
 497           <td></td>
 498           <td class="md" nowrap><a class="el" href="arithmetique_8h.html#a93">Value</a> *&nbsp;</td>
 499           <td class="mdname" nowrap>&nbsp; <em>p3</em>, </td>
 500         </tr>
 501         <tr>
 502           <td></td>
 503           <td></td>
 504           <td class="md" nowrap><a class="el" href="arithmetique_8h.html#a93">Value</a>&nbsp;</td>
 505           <td class="mdname" nowrap>&nbsp; <em>lambda</em>, </td>
 506         </tr>
 507         <tr>
 508           <td></td>
 509           <td></td>
 510           <td class="md" nowrap><a class="el" href="arithmetique_8h.html#a93">Value</a>&nbsp;</td>
 511           <td class="mdname" nowrap>&nbsp; <em>mu</em>, </td>
 512         </tr>
 513         <tr>
 514           <td></td>
 515           <td></td>
 516           <td class="md" nowrap>unsigned&nbsp;</td>
 517           <td class="mdname" nowrap>&nbsp; <em>length</em></td>
 518         </tr>
 519         <tr>
 520           <td></td>
 521           <td class="md">)&nbsp;</td>
 522           <td class="md" colspan="2"></td>
 523         </tr>
 524
 525       </table>
 526     </td>
 527   </tr>
 528 </table>
 529 <table cellspacing=5 cellpadding=0 border=0>
 530   <tr>
 531     <td>
 532       &nbsp;
 533     </td>
 534     <td>
 535
 536 <p>
 537
 538 <p>
 539 Definition at line <a class="el" href="vector_8c-source.html#l00422">422</a> of file <a class="el" href="vector_8c-source.html">vector.c</a>.
 540 <p>
 541 References <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>, and <a class="el" href="arithmetique_8h-source.html#l00371">value_multiply</a>.
 542 <p>
 543 Referenced by <a class="el" href="polyhedron_8c-source.html#l00197">Combine</a>(), and <a class="el" href="alpha_8c-source.html#l00357">GaussSimplify</a>().    </td>
 544   </tr>
 545 </table>
 546 <a name="a11" doxytag="vector.c::Vector_Copy"></a><p>
 547 <table width="100%" cellpadding="2" cellspacing="0" border="0">
 548   <tr>
 549     <td class="md">
 550       <table cellpadding="0" cellspacing="0" border="0">
 551         <tr>
 552           <td class="md" nowrap valign="top"> void Vector_Copy </td>
 553           <td class="md" valign="top">(&nbsp;</td>
 554           <td class="md" nowrap valign="top"><a class="el" href="arithmetique_8h.html#a93">Value</a> *&nbsp;</td>
 555           <td class="mdname" nowrap>&nbsp; <em>p1</em>, </td>
 556         </tr>
 557         <tr>
 558           <td></td>
 559           <td></td>
 560           <td class="md" nowrap><a class="el" href="arithmetique_8h.html#a93">Value</a> *&nbsp;</td>
 561           <td class="mdname" nowrap>&nbsp; <em>p2</em>, </td>
 562         </tr>
 563         <tr>
 564           <td></td>
 565           <td></td>
 566           <td class="md" nowrap>unsigned&nbsp;</td>
 567           <td class="mdname" nowrap>&nbsp; <em>length</em></td>
 568         </tr>
 569         <tr>
 570           <td></td>
 571           <td class="md">)&nbsp;</td>
 572           <td class="md" colspan="2"></td>
 573         </tr>
 574
 575       </table>
 576     </td>
 577   </tr>
 578 </table>
 579 <table cellspacing=5 cellpadding=0 border=0>
 580   <tr>
 581     <td>
 582       &nbsp;
 583     </td>
 584     <td>
 585
 586 <p>
 587
 588 <p>
 589 Definition at line <a class="el" href="vector_8c-source.html#l00252">252</a> of file <a class="el" href="vector_8c-source.html">vector.c</a>.
 590 <p>
 591 References <a class="el" href="arithmetique_8h-source.html#l00229">Value</a>, and <a class="el" href="arithmetique_8h-source.html#l00319">value_assign</a>.
 592 <p>
 593 Referenced by <a class="el" href="polyhedron_8c-source.html#l02209">AddConstraints</a>(), <a class="el" href="polyhedron_8c-source.html#l02528">AddRays</a>(), <a class="el" href="polyhedron_8c-source.html#l00340">Chernikova</a>(), <a class="el" href="polyhedron_8c-source.html#l03109">DomainSimplify</a>(), <a class="el" href="polyparam_8c-source.html#l00912">Find_m_faces</a>(), <a class="el" href="polyhedron_8c-source.html#l02753">FindSimple</a>(), <a class="el" href="polyhedron_8c-source.html#l02015">Polyhedron2Constraints</a>(), <a class="el" href="polyhedron_8c-source.html#l02508">Polyhedron2Rays</a>(), <a class="el" href="polyhedron_8c-source.html#l02648">Polyhedron_Copy</a>(), <a class="el" href="polyhedron_8c-source.html#l00824">Remove_Redundants</a>(), <a class="el" href="matrix_8c-source.html#l00401">right_hermite</a>(), <a class="el" href="polyhedron_8c-source.html#l02976">SimplifyConstraints</a>(), <a class="el" href="polyhedron_8c-source.html#l03056">SimplifyEqualities</a>(), <a class="el" href="polyhedron_8c-source.html#l03215">Stras_DomainSimplify</a>(), <a class="el" href="polyhedron_8c-source.html#l02388">SubConstraint</a>(), and <a class="el" href="polyparam_8c-source.html#l00303">traite_m_face</a>().    </td>
 594   </tr>
 595 </table>
 596 <a name="a21" doxytag="vector.c::Vector_Equal"></a><p>
 597 <table width="100%" cellpadding="2" cellspacing="0" border="0">
 598   <tr>
 599     <td class="md">
 600       <table cellpadding="0" cellspacing="0" border="0">
 601         <tr>
 602           <td class="md" nowrap valign="top"> int Vector_Equal </td>
 603           <td class="md" valign="top">(&nbsp;</td>
 604           <td class="md" nowrap valign="top"><a class="el" href="arithmetique_8h.html#a93">Value</a> *&nbsp;</td>
 605           <td class="mdname" nowrap>&nbsp; <em>Vec1</em>, </td>
 606         </tr>
 607         <tr>
 608           <td></td>
 609           <td></td>
 610           <td class="md" nowrap><a class="el" href="arithmetique_8h.html#a93">Value</a> *&nbsp;</td>
 611           <td class="mdname" nowrap>&nbsp; <em>Vec2</em>, </td>
 612         </tr>
 613         <tr>
 614           <td></td>
 615           <td></td>
 616           <td class="md" nowrap>unsigned&nbsp;</td>
 617           <td class="mdname" nowrap>&nbsp; <em>n</em></td>
 618         </tr>
 619         <tr>
 620           <td></td>
 621           <td class="md">)&nbsp;</td>
 622           <td class="md" colspan="2"></td>
 623         </tr>
 624
 625       </table>
 626     </td>
 627   </tr>
 628 </table>
 629 <table cellspacing=5 cellpadding=0 border=0>
 630   <tr>
 631     <td>
 632       &nbsp;
 633     </td>
 634     <td>
 635
 636 <p>
 637
 638 <p>
 639 Definition at line <a class="el" href="vector_8c-source.html#l00453">453</a> of file <a class="el" href="vector_8c-source.html">vector.c</a>.
 640 <p>
 641 References <a class="el" href="arithmetique_8h-source.html#l00229">Value</a>, and <a class="el" href="arithmetique_8h-source.html#l00338">value_ne</a>.    </td>
 642   </tr>
 643 </table>
 644 <a name="a10" doxytag="vector.c::Vector_Exchange"></a><p>
 645 <table width="100%" cellpadding="2" cellspacing="0" border="0">
 646   <tr>
 647     <td class="md">
 648       <table cellpadding="0" cellspacing="0" border="0">
 649         <tr>
 650           <td class="md" nowrap valign="top"> void Vector_Exchange </td>
 651           <td class="md" valign="top">(&nbsp;</td>
 652           <td class="md" nowrap valign="top"><a class="el" href="arithmetique_8h.html#a93">Value</a> *&nbsp;</td>
 653           <td class="mdname" nowrap>&nbsp; <em>p1</em>, </td>
 654         </tr>
 655         <tr>
 656           <td></td>
 657           <td></td>
 658           <td class="md" nowrap><a class="el" href="arithmetique_8h.html#a93">Value</a> *&nbsp;</td>
 659           <td class="mdname" nowrap>&nbsp; <em>p2</em>, </td>
 660         </tr>
 661         <tr>
 662           <td></td>
 663           <td></td>
 664           <td class="md" nowrap>unsigned&nbsp;</td>
 665           <td class="mdname" nowrap>&nbsp; <em>length</em></td>
 666         </tr>
 667         <tr>
 668           <td></td>
 669           <td class="md">)&nbsp;</td>
 670           <td class="md" colspan="2"></td>
 671         </tr>
 672
 673       </table>
 674     </td>
 675   </tr>
 676 </table>
 677 <table cellspacing=5 cellpadding=0 border=0>
 678   <tr>
 679     <td>
 680       &nbsp;
 681     </td>
 682     <td>
 683
 684 <p>
 685
 686 <p>
 687 Definition at line <a class="el" href="vector_8c-source.html#l00239">239</a> of file <a class="el" href="vector_8c-source.html">vector.c</a>.
 688 <p>
 689 References <a class="el" href="arithmetique_8h-source.html#l00229">Value</a>, and <a class="el" href="arithmetique_8h-source.html#l00325">value_swap</a>.
 690 <p>
 691 Referenced by <a class="el" href="polyhedron_8c-source.html#l00340">Chernikova</a>(), <a class="el" href="polyhedron_8c-source.html#l00699">Gauss</a>(), <a class="el" href="alpha_8c-source.html#l00357">GaussSimplify</a>(), <a class="el" href="matrix_8c-source.html#l00192">hermite</a>(), <a class="el" href="polyhedron_8c-source.html#l00284">RaySort</a>(), and <a class="el" href="polyhedron_8c-source.html#l00824">Remove_Redundants</a>().    </td>
 692   </tr>
 693 </table>
 694 <a name="a6" doxytag="vector.c::Vector_Free"></a><p>
 695 <table width="100%" cellpadding="2" cellspacing="0" border="0">
 696   <tr>
 697     <td class="md">
 698       <table cellpadding="0" cellspacing="0" border="0">
 699         <tr>
 700           <td class="md" nowrap valign="top"> void Vector_Free </td>
 701           <td class="md" valign="top">(&nbsp;</td>
 702           <td class="md" nowrap valign="top">Vector *&nbsp;</td>
 703           <td class="mdname1" valign="top" nowrap>&nbsp; <em>vector</em>          </td>
 704           <td class="md" valign="top">)&nbsp;</td>
 705           <td class="md" nowrap></td>
 706         </tr>
 707
 708       </table>
 709     </td>
 710   </tr>
 711 </table>
 712 <table cellspacing=5 cellpadding=0 border=0>
 713   <tr>
 714     <td>
 715       &nbsp;
 716     </td>
 717     <td>
 718
 719 <p>
 720
 721 <p>
 722 Definition at line <a class="el" href="vector_8c-source.html#l00162">162</a> of file <a class="el" href="vector_8c-source.html">vector.c</a>.
 723 <p>
 724 References <a class="el" href="arithmetique_8h-source.html#l00322">value_clear</a>.
 725 <p>
 726 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>
 727   </tr>
 728 </table>
 729 <a name="a23" doxytag="vector.c::Vector_Gcd"></a><p>
 730 <table width="100%" cellpadding="2" cellspacing="0" border="0">
 731   <tr>
 732     <td class="md">
 733       <table cellpadding="0" cellspacing="0" border="0">
 734         <tr>
 735           <td class="md" nowrap valign="top"> void Vector_Gcd </td>
 736           <td class="md" valign="top">(&nbsp;</td>
 737           <td class="md" nowrap valign="top"><a class="el" href="arithmetique_8h.html#a93">Value</a> *&nbsp;</td>
 738           <td class="mdname" nowrap>&nbsp; <em>p</em>, </td>
 739         </tr>
 740         <tr>
 741           <td></td>
 742           <td></td>
 743           <td class="md" nowrap>unsigned&nbsp;</td>
 744           <td class="mdname" nowrap>&nbsp; <em>length</em>, </td>
 745         </tr>
 746         <tr>
 747           <td></td>
 748           <td></td>
 749           <td class="md" nowrap><a class="el" href="arithmetique_8h.html#a93">Value</a> *&nbsp;</td>
 750           <td class="mdname" nowrap>&nbsp; <em>min</em></td>
 751         </tr>
 752         <tr>
 753           <td></td>
 754           <td class="md">)&nbsp;</td>
 755           <td class="md" colspan="2"></td>
 756         </tr>
 757
 758       </table>
 759     </td>
 760   </tr>
 761 </table>
 762 <table cellspacing=5 cellpadding=0 border=0>
 763   <tr>
 764     <td>
 765       &nbsp;
 766     </td>
 767     <td>
 768
 769 <p>
 770
 771 <p>
 772 Definition at line <a class="el" href="vector_8c-source.html#l00513">513</a> of file <a class="el" href="vector_8c-source.html">vector.c</a>.
 773 <p>
 774 References <a class="el" href="verif__ehrhart_8c-source.html#l00043">min</a>, <a class="el" href="arithmetique_8h-source.html#l00229">Value</a>, <a class="el" href="arithmetique_8h-source.html#l00379">value_absolute</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#l00376">value_modulus</a>, <a class="el" href="arithmetique_8h-source.html#l00404">value_notone_p</a>, <a class="el" href="arithmetique_8h-source.html#l00402">value_notzero_p</a>, and <a class="el" href="vector_8c-source.html#l00475">Vector_Min_Not_Zero</a>().
 775 <p>
 776 Referenced by <a class="el" href="polyhedron_8c-source.html#l00699">Gauss</a>(), <a class="el" href="alpha_8c-source.html#l00357">GaussSimplify</a>(), <a class="el" href="matrix_8c-source.html#l00556">MatInverse</a>(), <a class="el" href="matrix_8c-source.html#l00873">Matrix_Inverse</a>(), <a class="el" href="vector_8c-source.html#l00582">Vector_Normalize</a>(), and <a class="el" href="vector_8c-source.html#l00610">Vector_Normalize_Positive</a>().    </td>
 777   </tr>
 778 </table>
 779 <a name="a24" doxytag="vector.c::Vector_Map"></a><p>
 780 <table width="100%" cellpadding="2" cellspacing="0" border="0">
 781   <tr>
 782     <td class="md">
 783       <table cellpadding="0" cellspacing="0" border="0">
 784         <tr>
 785           <td class="md" nowrap valign="top"> void Vector_Map </td>
 786           <td class="md" valign="top">(&nbsp;</td>
 787           <td class="md" nowrap valign="top"><a class="el" href="arithmetique_8h.html#a93">Value</a> *&nbsp;</td>
 788           <td class="mdname" nowrap>&nbsp; <em>p1</em>, </td>
 789         </tr>
 790         <tr>
 791           <td></td>
 792           <td></td>
 793           <td class="md" nowrap><a class="el" href="arithmetique_8h.html#a93">Value</a> *&nbsp;</td>
 794           <td class="mdname" nowrap>&nbsp; <em>p2</em>, </td>
 795         </tr>
 796         <tr>
 797           <td></td>
 798           <td></td>
 799           <td class="md" nowrap><a class="el" href="arithmetique_8h.html#a93">Value</a> *&nbsp;</td>
 800           <td class="mdname" nowrap>&nbsp; <em>p3</em>, </td>
 801         </tr>
 802         <tr>
 803           <td></td>
 804           <td></td>
 805           <td class="md" nowrap>unsigned&nbsp;</td>
 806           <td class="mdname" nowrap>&nbsp; <em>length</em>, </td>
 807         </tr>
 808         <tr>
 809           <td></td>
 810           <td></td>
 811           <td class="md" nowrap><a class="el" href="arithmetique_8h.html#a93">Value</a> *(*&nbsp;</td>
 812           <td class="mdname" nowrap>&nbsp; <em>f</em>)()</td>
 813         </tr>
 814         <tr>
 815           <td></td>
 816           <td class="md">)&nbsp;</td>
 817           <td class="md" colspan="2"></td>
 818         </tr>
 819
 820       </table>
 821     </td>
 822   </tr>
 823 </table>
 824 <table cellspacing=5 cellpadding=0 border=0>
 825   <tr>
 826     <td>
 827       &nbsp;
 828     </td>
 829     <td>
 830
 831 <p>
 832
 833 <p>
 834 Definition at line <a class="el" href="vector_8c-source.html#l00562">562</a> of file <a class="el" href="vector_8c-source.html">vector.c</a>.
 835 <p>
 836 References <a class="el" href="arithmetique_8h-source.html#l00229">Value</a>, and <a class="el" href="arithmetique_8h-source.html#l00319">value_assign</a>.    </td>
 837   </tr>
 838 </table>
 839 <a name="a18" doxytag="vector.c::Vector_Max"></a><p>
 840 <table width="100%" cellpadding="2" cellspacing="0" border="0">
 841   <tr>
 842     <td class="md">
 843       <table cellpadding="0" cellspacing="0" border="0">
 844         <tr>
 845           <td class="md" nowrap valign="top"> void Vector_Max </td>
 846           <td class="md" valign="top">(&nbsp;</td>
 847           <td class="md" nowrap valign="top"><a class="el" href="arithmetique_8h.html#a93">Value</a> *&nbsp;</td>
 848           <td class="mdname" nowrap>&nbsp; <em>p</em>, </td>
 849         </tr>
 850         <tr>
 851           <td></td>
 852           <td></td>
 853           <td class="md" nowrap>unsigned&nbsp;</td>
 854           <td class="mdname" nowrap>&nbsp; <em>length</em>, </td>
 855         </tr>
 856         <tr>
 857           <td></td>
 858           <td></td>
 859           <td class="md" nowrap><a class="el" href="arithmetique_8h.html#a93">Value</a> *&nbsp;</td>
 860           <td class="mdname" nowrap>&nbsp; <em>max</em></td>
 861         </tr>
 862         <tr>
 863           <td></td>
 864           <td class="md">)&nbsp;</td>
 865           <td class="md" colspan="2"></td>
 866         </tr>
 867
 868       </table>
 869     </td>
 870   </tr>
 871 </table>
 872 <table cellspacing=5 cellpadding=0 border=0>
 873   <tr>
 874     <td>
 875       &nbsp;
 876     </td>
 877     <td>
 878
 879 <p>
 880
 881 <p>
 882 Definition at line <a class="el" href="vector_8c-source.html#l00385">385</a> of file <a class="el" href="vector_8c-source.html">vector.c</a>.
 883 <p>
 884 References <a class="el" href="verif__ehrhart_8c-source.html#l00043">max</a>, <a class="el" href="arithmetique_8h-source.html#l00229">Value</a>, <a class="el" href="arithmetique_8h-source.html#l00319">value_assign</a>, and <a class="el" href="arithmetique_8h-source.html#l00381">value_maximum</a>.    </td>
 885   </tr>
 886 </table>
 887 <a name="a19" doxytag="vector.c::Vector_Min"></a><p>
 888 <table width="100%" cellpadding="2" cellspacing="0" border="0">
 889   <tr>
 890     <td class="md">
 891       <table cellpadding="0" cellspacing="0" border="0">
 892         <tr>
 893           <td class="md" nowrap valign="top"> void Vector_Min </td>
 894           <td class="md" valign="top">(&nbsp;</td>
 895           <td class="md" nowrap valign="top"><a class="el" href="arithmetique_8h.html#a93">Value</a> *&nbsp;</td>
 896           <td class="mdname" nowrap>&nbsp; <em>p</em>, </td>
 897         </tr>
 898         <tr>
 899           <td></td>
 900           <td></td>
 901           <td class="md" nowrap>unsigned&nbsp;</td>
 902           <td class="mdname" nowrap>&nbsp; <em>length</em>, </td>
 903         </tr>
 904         <tr>
 905           <td></td>
 906           <td></td>
 907           <td class="md" nowrap><a class="el" href="arithmetique_8h.html#a93">Value</a> *&nbsp;</td>
 908           <td class="mdname" nowrap>&nbsp; <em>min</em></td>
 909         </tr>
 910         <tr>
 911           <td></td>
 912           <td class="md">)&nbsp;</td>
 913           <td class="md" colspan="2"></td>
 914         </tr>
 915
 916       </table>
 917     </td>
 918   </tr>
 919 </table>
 920 <table cellspacing=5 cellpadding=0 border=0>
 921   <tr>
 922     <td>
 923       &nbsp;
 924     </td>
 925     <td>
 926
 927 <p>
 928
 929 <p>
 930 Definition at line <a class="el" href="vector_8c-source.html#l00402">402</a> of file <a class="el" href="vector_8c-source.html">vector.c</a>.
 931 <p>
 932 References <a class="el" href="verif__ehrhart_8c-source.html#l00043">min</a>, <a class="el" href="arithmetique_8h-source.html#l00229">Value</a>, <a class="el" href="arithmetique_8h-source.html#l00319">value_assign</a>, and <a class="el" href="arithmetique_8h-source.html#l00380">value_minimum</a>.    </td>
 933   </tr>
 934 </table>
 935 <a name="a22" doxytag="vector.c::Vector_Min_Not_Zero"></a><p>
 936 <table width="100%" cellpadding="2" cellspacing="0" border="0">
 937   <tr>
 938     <td class="md">
 939       <table cellpadding="0" cellspacing="0" border="0">
 940         <tr>
 941           <td class="md" nowrap valign="top"> void Vector_Min_Not_Zero </td>
 942           <td class="md" valign="top">(&nbsp;</td>
 943           <td class="md" nowrap valign="top"><a class="el" href="arithmetique_8h.html#a93">Value</a> *&nbsp;</td>
 944           <td class="mdname" nowrap>&nbsp; <em>p</em>, </td>
 945         </tr>
 946         <tr>
 947           <td></td>
 948           <td></td>
 949           <td class="md" nowrap>unsigned&nbsp;</td>
 950           <td class="mdname" nowrap>&nbsp; <em>length</em>, </td>
 951         </tr>
 952         <tr>
 953           <td></td>
 954           <td></td>
 955           <td class="md" nowrap>int *&nbsp;</td>
 956           <td class="mdname" nowrap>&nbsp; <em>index</em>, </td>
 957         </tr>
 958         <tr>
 959           <td></td>
 960           <td></td>
 961           <td class="md" nowrap><a class="el" href="arithmetique_8h.html#a93">Value</a> *&nbsp;</td>
 962           <td class="mdname" nowrap>&nbsp; <em>min</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="vector_8c-source.html#l00475">475</a> of file <a class="el" href="vector_8c-source.html">vector.c</a>.
 985 <p>
 986 References <a class="el" href="verif__ehrhart_8c-source.html#l00043">min</a>, <a class="el" href="arithmetique_8h-source.html#l00229">Value</a>, <a class="el" href="arithmetique_8h-source.html#l00379">value_absolute</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#l00341">value_lt</a>, <a class="el" href="arithmetique_8h-source.html#l00402">value_notzero_p</a>, and <a class="el" href="arithmetique_8h-source.html#l00320">value_set_si</a>.
 987 <p>
 988 Referenced by <a class="el" href="vector_8c-source.html#l00513">Vector_Gcd</a>().    </td>
 989   </tr>
 990 </table>
 991 <a name="a25" doxytag="vector.c::Vector_Normalize"></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"> void Vector_Normalize </td>
 998           <td class="md" valign="top">(&nbsp;</td>
 999           <td class="md" nowrap valign="top"><a class="el" href="arithmetique_8h.html#a93">Value</a> *&nbsp;</td>
1000           <td class="mdname" nowrap>&nbsp; <em>p</em>, </td>
1001         </tr>
1002         <tr>
1003           <td></td>
1004           <td></td>
1005           <td class="md" nowrap>unsigned&nbsp;</td>
1006           <td class="mdname" nowrap>&nbsp; <em>length</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="vector_8c-source.html#l00582">582</a> of file <a class="el" href="vector_8c-source.html">vector.c</a>.
1029 <p>
1030 References <a class="el" href="arithmetique_8h-source.html#l00229">Value</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#l00339">value_gt</a>, <a class="el" href="arithmetique_8h-source.html#l00318">value_init</a>, <a class="el" href="arithmetique_8h-source.html#l00320">value_set_si</a>, and <a class="el" href="vector_8c-source.html#l00513">Vector_Gcd</a>().
1031 <p>
1032 Referenced by <a class="el" href="polyhedron_8c-source.html#l00197">Combine</a>(), and <a class="el" href="alpha_8c-source.html#l00357">GaussSimplify</a>().    </td>
1033   </tr>
1034 </table>
1035 <a name="a26" doxytag="vector.c::Vector_Normalize_Positive"></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"> void Vector_Normalize_Positive </td>
1042           <td class="md" valign="top">(&nbsp;</td>
1043           <td class="md" nowrap valign="top"><a class="el" href="arithmetique_8h.html#a93">Value</a> *&nbsp;</td>
1044           <td class="mdname" nowrap>&nbsp; <em>p</em>, </td>
1045         </tr>
1046         <tr>
1047           <td></td>
1048           <td></td>
1049           <td class="md" nowrap>int&nbsp;</td>
1050           <td class="mdname" nowrap>&nbsp; <em>length</em>, </td>
1051         </tr>
1052         <tr>
1053           <td></td>
1054           <td></td>
1055           <td class="md" nowrap>int&nbsp;</td>
1056           <td class="mdname" nowrap>&nbsp; <em>pos</em></td>
1057         </tr>
1058         <tr>
1059           <td></td>
1060           <td class="md">)&nbsp;</td>
1061           <td class="md" colspan="2"></td>
1062         </tr>
1063
1064       </table>
1065     </td>
1066   </tr>
1067 </table>
1068 <table cellspacing=5 cellpadding=0 border=0>
1069   <tr>
1070     <td>
1071       &nbsp;
1072     </td>
1073     <td>
1074
1075 <p>
1076
1077 <p>
1078 Definition at line <a class="el" href="vector_8c-source.html#l00610">610</a> of file <a class="el" href="vector_8c-source.html">vector.c</a>.
1079 <p>
1080 References <a class="el" href="arithmetique_8h-source.html#l00229">Value</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#l00398">value_neg_p</a>, <a class="el" href="arithmetique_8h-source.html#l00404">value_notone_p</a>, <a class="el" href="arithmetique_8h-source.html#l00378">value_oppose</a>, and <a class="el" href="vector_8c-source.html#l00513">Vector_Gcd</a>().
1081 <p>
1082 Referenced by <a class="el" href="matrix_8c-source.html#l00556">MatInverse</a>(), and <a class="el" href="matrix_8c-source.html#l00684">rat_prodmat</a>().    </td>
1083   </tr>
1084 </table>
1085 <a name="a14" doxytag="vector.c::Vector_Or"></a><p>
1086 <table width="100%" cellpadding="2" cellspacing="0" border="0">
1087   <tr>
1088     <td class="md">
1089       <table cellpadding="0" cellspacing="0" border="0">
1090         <tr>
1091           <td class="md" nowrap valign="top"> void Vector_Or </td>
1092           <td class="md" valign="top">(&nbsp;</td>
1093           <td class="md" nowrap valign="top"><a class="el" href="arithmetique_8h.html#a93">Value</a> *&nbsp;</td>
1094           <td class="mdname" nowrap>&nbsp; <em>p1</em>, </td>
1095         </tr>
1096         <tr>
1097           <td></td>
1098           <td></td>
1099           <td class="md" nowrap><a class="el" href="arithmetique_8h.html#a93">Value</a> *&nbsp;</td>
1100           <td class="mdname" nowrap>&nbsp; <em>p2</em>, </td>
1101         </tr>
1102         <tr>
1103           <td></td>
1104           <td></td>
1105           <td class="md" nowrap><a class="el" href="arithmetique_8h.html#a93">Value</a> *&nbsp;</td>
1106           <td class="mdname" nowrap>&nbsp; <em>p3</em>, </td>
1107         </tr>
1108         <tr>
1109           <td></td>
1110           <td></td>
1111           <td class="md" nowrap>unsigned&nbsp;</td>
1112           <td class="mdname" nowrap>&nbsp; <em>length</em></td>
1113         </tr>
1114         <tr>
1115           <td></td>
1116           <td class="md">)&nbsp;</td>
1117           <td class="md" colspan="2"></td>
1118         </tr>
1119
1120       </table>
1121     </td>
1122   </tr>
1123 </table>
1124 <table cellspacing=5 cellpadding=0 border=0>
1125   <tr>
1126     <td>
1127       &nbsp;
1128     </td>
1129     <td>
1130
1131 <p>
1132
1133 <p>
1134 Definition at line <a class="el" href="vector_8c-source.html#l00307">307</a> of file <a class="el" href="vector_8c-source.html">vector.c</a>.
1135 <p>
1136 References <a class="el" href="arithmetique_8h-source.html#l00229">Value</a>, and <a class="el" href="arithmetique_8h-source.html#l00382">value_orto</a>.    </td>
1137   </tr>
1138 </table>
1139 <a name="a7" doxytag="vector.c::Vector_Print"></a><p>
1140 <table width="100%" cellpadding="2" cellspacing="0" border="0">
1141   <tr>
1142     <td class="md">
1143       <table cellpadding="0" cellspacing="0" border="0">
1144         <tr>
1145           <td class="md" nowrap valign="top"> void Vector_Print </td>
1146           <td class="md" valign="top">(&nbsp;</td>
1147           <td class="md" nowrap valign="top">FILE *&nbsp;</td>
1148           <td class="mdname" nowrap>&nbsp; <em>Dst</em>, </td>
1149         </tr>
1150         <tr>
1151           <td></td>
1152           <td></td>
1153           <td class="md" nowrap>char *&nbsp;</td>
1154           <td class="mdname" nowrap>&nbsp; <em>Format</em>, </td>
1155         </tr>
1156         <tr>
1157           <td></td>
1158           <td></td>
1159           <td class="md" nowrap>Vector *&nbsp;</td>
1160           <td class="mdname" nowrap>&nbsp; <em>vector</em></td>
1161         </tr>
1162         <tr>
1163           <td></td>
1164           <td class="md">)&nbsp;</td>
1165           <td class="md" colspan="2"></td>
1166         </tr>
1167
1168       </table>
1169     </td>
1170   </tr>
1171 </table>
1172 <table cellspacing=5 cellpadding=0 border=0>
1173   <tr>
1174     <td>
1175       &nbsp;
1176     </td>
1177     <td>
1178
1179 <p>
1180
1181 <p>
1182 Definition at line <a class="el" href="vector_8c-source.html#l00176">176</a> of file <a class="el" href="vector_8c-source.html">vector.c</a>.
1183 <p>
1184 References <a class="el" href="arithmetique_8h-source.html#l00229">Value</a>, and <a class="el" href="arithmetique_8h-source.html#l00324">value_print</a>.
1185 <p>
1186 Referenced by <a class="el" href="Zpolytest_8c-source.html#l00010">main</a>().    </td>
1187   </tr>
1188 </table>
1189 <a name="a8" doxytag="vector.c::Vector_Read"></a><p>
1190 <table width="100%" cellpadding="2" cellspacing="0" border="0">
1191   <tr>
1192     <td class="md">
1193       <table cellpadding="0" cellspacing="0" border="0">
1194         <tr>
1195           <td class="md" nowrap valign="top"> Vector* Vector_Read </td>
1196           <td class="md" valign="top">(&nbsp;</td>
1197           <td class="mdname1" valign="top" nowrap>&nbsp;          </td>
1198           <td class="md" valign="top">)&nbsp;</td>
1199           <td class="md" nowrap></td>
1200         </tr>
1201
1202       </table>
1203     </td>
1204   </tr>
1205 </table>
1206 <table cellspacing=5 cellpadding=0 border=0>
1207   <tr>
1208     <td>
1209       &nbsp;
1210     </td>
1211     <td>
1212
1213 <p>
1214
1215 <p>
1216 Definition at line <a class="el" href="vector_8c-source.html#l00198">198</a> of file <a class="el" href="vector_8c-source.html">vector.c</a>.
1217 <p>
1218 References <a class="el" href="errormsg_8c-source.html#l00028">errormsg1</a>(), <a class="el" href="arithmetique_8h-source.html#l00229">Value</a>, <a class="el" href="arithmetique_8h-source.html#l00323">value_read</a>, and <a class="el" href="vector_8c-source.html#l00137">Vector_Alloc</a>().    </td>
1219   </tr>
1220 </table>
1221 <a name="a27" doxytag="vector.c::Vector_Reduce"></a><p>
1222 <table width="100%" cellpadding="2" cellspacing="0" border="0">
1223   <tr>
1224     <td class="md">
1225       <table cellpadding="0" cellspacing="0" border="0">
1226         <tr>
1227           <td class="md" nowrap valign="top"> void Vector_Reduce </td>
1228           <td class="md" valign="top">(&nbsp;</td>
1229           <td class="md" nowrap valign="top"><a class="el" href="arithmetique_8h.html#a93">Value</a> *&nbsp;</td>
1230           <td class="mdname" nowrap>&nbsp; <em>p</em>, </td>
1231         </tr>
1232         <tr>
1233           <td></td>
1234           <td></td>
1235           <td class="md" nowrap>unsigned&nbsp;</td>
1236           <td class="mdname" nowrap>&nbsp; <em>length</em>, </td>
1237         </tr>
1238         <tr>
1239           <td></td>
1240           <td></td>
1241           <td class="md" nowrap>void(*&nbsp;</td>
1242           <td class="mdname" nowrap>&nbsp; <em>f</em>)(<a class="el" href="arithmetique_8h.html#a93">Value</a>, <a class="el" href="arithmetique_8h.html#a93">Value</a> *), </td>
1243         </tr>
1244         <tr>
1245           <td></td>
1246           <td></td>
1247           <td class="md" nowrap><a class="el" href="arithmetique_8h.html#a93">Value</a> *&nbsp;</td>
1248           <td class="mdname" nowrap>&nbsp; <em>r</em></td>
1249         </tr>
1250         <tr>
1251           <td></td>
1252           <td class="md">)&nbsp;</td>
1253           <td class="md" colspan="2"></td>
1254         </tr>
1255
1256       </table>
1257     </td>
1258   </tr>
1259 </table>
1260 <table cellspacing=5 cellpadding=0 border=0>
1261   <tr>
1262     <td>
1263       &nbsp;
1264     </td>
1265     <td>
1266
1267 <p>
1268
1269 <p>
1270 Definition at line <a class="el" href="vector_8c-source.html#l00630">630</a> of file <a class="el" href="vector_8c-source.html">vector.c</a>.
1271 <p>
1272 References <a class="el" href="arithmetique_8h-source.html#l00229">Value</a>, and <a class="el" href="arithmetique_8h-source.html#l00319">value_assign</a>.    </td>
1273   </tr>
1274 </table>
1275 <a name="a15" doxytag="vector.c::Vector_Scale"></a><p>
1276 <table width="100%" cellpadding="2" cellspacing="0" border="0">
1277   <tr>
1278     <td class="md">
1279       <table cellpadding="0" cellspacing="0" border="0">
1280         <tr>
1281           <td class="md" nowrap valign="top"> void Vector_Scale </td>
1282           <td class="md" valign="top">(&nbsp;</td>
1283           <td class="md" nowrap valign="top"><a class="el" href="arithmetique_8h.html#a93">Value</a> *&nbsp;</td>
1284           <td class="mdname" nowrap>&nbsp; <em>p1</em>, </td>
1285         </tr>
1286         <tr>
1287           <td></td>
1288           <td></td>
1289           <td class="md" nowrap><a class="el" href="arithmetique_8h.html#a93">Value</a> *&nbsp;</td>
1290           <td class="mdname" nowrap>&nbsp; <em>p2</em>, </td>
1291         </tr>
1292         <tr>
1293           <td></td>
1294           <td></td>
1295           <td class="md" nowrap><a class="el" href="arithmetique_8h.html#a93">Value</a>&nbsp;</td>
1296           <td class="mdname" nowrap>&nbsp; <em>lambda</em>, </td>
1297         </tr>
1298         <tr>
1299           <td></td>
1300           <td></td>
1301           <td class="md" nowrap>unsigned&nbsp;</td>
1302           <td class="mdname" nowrap>&nbsp; <em>length</em></td>
1303         </tr>
1304         <tr>
1305           <td></td>
1306           <td class="md">)&nbsp;</td>
1307           <td class="md" colspan="2"></td>
1308         </tr>
1309
1310       </table>
1311     </td>
1312   </tr>
1313 </table>
1314 <table cellspacing=5 cellpadding=0 border=0>
1315   <tr>
1316     <td>
1317       &nbsp;
1318     </td>
1319     <td>
1320
1321 <p>
1322
1323 <p>
1324 Definition at line <a class="el" href="vector_8c-source.html#l00326">326</a> of file <a class="el" href="vector_8c-source.html">vector.c</a>.
1325 <p>
1326 References <a class="el" href="arithmetique_8h-source.html#l00229">Value</a>, and <a class="el" href="arithmetique_8h-source.html#l00371">value_multiply</a>.    </td>
1327   </tr>
1328 </table>
1329 <a name="a9" doxytag="vector.c::Vector_Set"></a><p>
1330 <table width="100%" cellpadding="2" cellspacing="0" border="0">
1331   <tr>
1332     <td class="md">
1333       <table cellpadding="0" cellspacing="0" border="0">
1334         <tr>
1335           <td class="md" nowrap valign="top"> void Vector_Set </td>
1336           <td class="md" valign="top">(&nbsp;</td>
1337           <td class="md" nowrap valign="top"><a class="el" href="arithmetique_8h.html#a93">Value</a> *&nbsp;</td>
1338           <td class="mdname" nowrap>&nbsp; <em>p</em>, </td>
1339         </tr>
1340         <tr>
1341           <td></td>
1342           <td></td>
1343           <td class="md" nowrap>int&nbsp;</td>
1344           <td class="mdname" nowrap>&nbsp; <em>n</em>, </td>
1345         </tr>
1346         <tr>
1347           <td></td>
1348           <td></td>
1349           <td class="md" nowrap>unsigned&nbsp;</td>
1350           <td class="mdname" nowrap>&nbsp; <em>length</em></td>
1351         </tr>
1352         <tr>
1353           <td></td>
1354           <td class="md">)&nbsp;</td>
1355           <td class="md" colspan="2"></td>
1356         </tr>
1357
1358       </table>
1359     </td>
1360   </tr>
1361 </table>
1362 <table cellspacing=5 cellpadding=0 border=0>
1363   <tr>
1364     <td>
1365       &nbsp;
1366     </td>
1367     <td>
1368
1369 <p>
1370
1371 <p>
1372 Definition at line <a class="el" href="vector_8c-source.html#l00223">223</a> of file <a class="el" href="vector_8c-source.html">vector.c</a>.
1373 <p>
1374 References <a class="el" href="arithmetique_8h-source.html#l00229">Value</a>, and <a class="el" href="arithmetique_8h-source.html#l00320">value_set_si</a>.
1375 <p>
1376 Referenced by <a class="el" href="polyhedron_8c-source.html#l03498">align_context</a>(), <a class="el" href="polyhedron_8c-source.html#l01919">Constraints2Polyhedron</a>(), <a class="el" href="polyhedron_8c-source.html#l01852">Empty_Polyhedron</a>(), <a class="el" href="polyparam_8c-source.html#l00912">Find_m_faces</a>(), <a class="el" href="polyhedron_8c-source.html#l02753">FindSimple</a>(), <a class="el" href="matrix_8c-source.html#l00471">left_hermite</a>(), <a class="el" href="matrix_8c-source.html#l00556">MatInverse</a>(), <a class="el" href="matrix_8c-source.html#l00873">Matrix_Inverse</a>(), <a class="el" href="alpha_8c-source.html#l00087">Polyhedron_Not_Empty</a>(), <a class="el" href="polyhedron_8c-source.html#l03570">Polyhedron_Scan</a>(), <a class="el" href="alpha_8c-source.html#l00122">PolyhedronLTQ</a>(), <a class="el" href="polyhedron_8c-source.html#l02036">Rays2Polyhedron</a>(), <a class="el" href="polyhedron_8c-source.html#l00824">Remove_Redundants</a>(), <a class="el" href="matrix_8c-source.html#l00401">right_hermite</a>(), and <a class="el" href="polyhedron_8c-source.html#l01883">Universe_Polyhedron</a>().    </td>
1377   </tr>
1378 </table>
1379 <a name="a28" doxytag="vector.c::Vector_Sort"></a><p>
1380 <table width="100%" cellpadding="2" cellspacing="0" border="0">
1381   <tr>
1382     <td class="md">
1383       <table cellpadding="0" cellspacing="0" border="0">
1384         <tr>
1385           <td class="md" nowrap valign="top"> void Vector_Sort </td>
1386           <td class="md" valign="top">(&nbsp;</td>
1387           <td class="md" nowrap valign="top"><a class="el" href="arithmetique_8h.html#a93">Value</a> *&nbsp;</td>
1388           <td class="mdname" nowrap>&nbsp; <em>vector</em>, </td>
1389         </tr>
1390         <tr>
1391           <td></td>
1392           <td></td>
1393           <td class="md" nowrap>unsigned&nbsp;</td>
1394           <td class="mdname" nowrap>&nbsp; <em>n</em></td>
1395         </tr>
1396         <tr>
1397           <td></td>
1398           <td class="md">)&nbsp;</td>
1399           <td class="md" colspan="2"></td>
1400         </tr>
1401
1402       </table>
1403     </td>
1404   </tr>
1405 </table>
1406 <table cellspacing=5 cellpadding=0 border=0>
1407   <tr>
1408     <td>
1409       &nbsp;
1410     </td>
1411     <td>
1412
1413 <p>
1414
1415 <p>
1416 Definition at line <a class="el" href="vector_8c-source.html#l00646">646</a> of file <a class="el" href="vector_8c-source.html">vector.c</a>.
1417 <p>
1418 References <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>, and <a class="el" href="arithmetique_8h-source.html#l00341">value_lt</a>.    </td>
1419   </tr>
1420 </table>
1421 <a name="a13" doxytag="vector.c::Vector_Sub"></a><p>
1422 <table width="100%" cellpadding="2" cellspacing="0" border="0">
1423   <tr>
1424     <td class="md">
1425       <table cellpadding="0" cellspacing="0" border="0">
1426         <tr>
1427           <td class="md" nowrap valign="top"> void Vector_Sub </td>
1428           <td class="md" valign="top">(&nbsp;</td>
1429           <td class="md" nowrap valign="top"><a class="el" href="arithmetique_8h.html#a93">Value</a> *&nbsp;</td>
1430           <td class="mdname" nowrap>&nbsp; <em>p1</em>, </td>
1431         </tr>
1432         <tr>
1433           <td></td>
1434           <td></td>
1435           <td class="md" nowrap><a class="el" href="arithmetique_8h.html#a93">Value</a> *&nbsp;</td>
1436           <td class="mdname" nowrap>&nbsp; <em>p2</em>, </td>
1437         </tr>
1438         <tr>
1439           <td></td>
1440           <td></td>
1441           <td class="md" nowrap><a class="el" href="arithmetique_8h.html#a93">Value</a> *&nbsp;</td>
1442           <td class="mdname" nowrap>&nbsp; <em>p3</em>, </td>
1443         </tr>
1444         <tr>
1445           <td></td>
1446           <td></td>
1447           <td class="md" nowrap>unsigned&nbsp;</td>
1448           <td class="mdname" nowrap>&nbsp; <em>length</em></td>
1449         </tr>
1450         <tr>
1451           <td></td>
1452           <td class="md">)&nbsp;</td>
1453           <td class="md" colspan="2"></td>
1454         </tr>
1455
1456       </table>
1457     </td>
1458   </tr>
1459 </table>
1460 <table cellspacing=5 cellpadding=0 border=0>
1461   <tr>
1462     <td>
1463       &nbsp;
1464     </td>
1465     <td>
1466
1467 <p>
1468
1469 <p>
1470 Definition at line <a class="el" href="vector_8c-source.html#l00288">288</a> of file <a class="el" href="vector_8c-source.html">vector.c</a>.
1471 <p>
1472 References <a class="el" href="arithmetique_8h-source.html#l00229">Value</a>, and <a class="el" href="arithmetique_8h-source.html#l00372">value_substract</a>.    </td>
1473   </tr>
1474 </table>
1475 <hr><address align="right"><small>Generated on Fri Nov 8 12:10:07 2002 for Polylib by
1476 <a href="http://www.doxygen.org/index.html">
1477 <img src="doxygen.png" alt="doxygen" align="middle" border=0
1478 width=110 height=53></a>1.2.15 </small></address>
1479 </body>
1480 </html>