doc/codeDoc/html/arithmetique_8h.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>arithmetique.h 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>arithmetique.h File Reference</h1><code>#include &lt;stdio.h&gt;</code><br>
  10 <code>#include &lt;limits.h&gt;</code><br>
  11 <code>#include "<a class="el" href="arithmetic__errors_8h-source.html">arithmetic_errors.h</a>"</code><br>
  12
  13 <p>
  14 <a href="arithmetique_8h-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>Compounds</h2></td></tr>
  16 <tr><td nowrap align=right valign=top>struct &nbsp;</td><td valign=bottom><a class="el" href="structcol.html">col</a></td></tr>
  17 <tr><td nowrap align=right valign=top>struct &nbsp;</td><td valign=bottom><a class="el" href="structfrac.html">frac</a></td></tr>
  18 <tr><td colspan=2><br><h2>Defines</h2></td></tr>
  19 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a0">__LONG_LONG_MAX__</a>&nbsp;&nbsp;&nbsp;9223372036854775807LL</td></tr>
  20 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a1">LONG_LONG_MAX</a>&nbsp;&nbsp;&nbsp;__LONG_LONG_MAX__</td></tr>
  21 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a2">LONG_LONG_MIN</a>&nbsp;&nbsp;&nbsp;(-LONG_LONG_MAX-1)</td></tr>
  22 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a3">ULONG_LONG_MAX</a>&nbsp;&nbsp;&nbsp;(LONG_LONG_MAX * 2ULL + 1)</td></tr>
  23 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a4">LINEAR_VALUE_STRING</a>&nbsp;&nbsp;&nbsp;"gmp"</td></tr>
  24 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a5">VALUE_FMT</a>&nbsp;&nbsp;&nbsp;"%<a class="el" href="Zpolytest_8c.html#a0">s</a>"</td></tr>
  25 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a6">VALUE_TO_LONG</a>(val)&nbsp;&nbsp;&nbsp;(mpz_get_si(val))</td></tr>
  26 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a7">VALUE_TO_INT</a>(val)&nbsp;&nbsp;&nbsp;((int)mpz_get_si(val))</td></tr>
  27 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a8">VALUE_TO_FLOAT</a>(val)&nbsp;&nbsp;&nbsp;((float)((int)mpz_get_si(val)))</td></tr>
  28 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a9">VALUE_TO_DOUBLE</a>(val)&nbsp;&nbsp;&nbsp;(mpz_get_d(val))</td></tr>
  29 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a10">value_init</a>(val)&nbsp;&nbsp;&nbsp;((val) = 0)</td></tr>
  30 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a11">value_assign</a>(v1, v2)&nbsp;&nbsp;&nbsp;((v1)  = (v2))</td></tr>
  31 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a12">value_set_si</a>(val, i)&nbsp;&nbsp;&nbsp;((val) = (<a class="el" href="arithmetique_8h.html#a93">Value</a>)(i))</td></tr>
  32 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a13">value_set_double</a>(val, d)&nbsp;&nbsp;&nbsp;((val) = (<a class="el" href="arithmetique_8h.html#a93">Value</a>)(d))</td></tr>
  33 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a14">value_clear</a>(val)&nbsp;&nbsp;&nbsp;((val) = 0)</td></tr>
  34 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a15">value_read</a>(val, str)&nbsp;&nbsp;&nbsp;(sscanf((str),VALUE_FMT,&amp;(val)))</td></tr>
  35 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a16">value_print</a>(Dst, fmt, val)&nbsp;&nbsp;&nbsp;(fprintf((Dst),(fmt),(val)))</td></tr>
  36 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a17">value_swap</a>(v1, v2)</td></tr>
  37 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a18">int_to_value</a>(i)&nbsp;&nbsp;&nbsp;((<a class="el" href="arithmetique_8h.html#a93">Value</a>)(i))</td></tr>
  38 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a19">long_to_value</a>(l)&nbsp;&nbsp;&nbsp;((<a class="el" href="arithmetique_8h.html#a93">Value</a>)(l))</td></tr>
  39 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a20">float_to_value</a>(f)&nbsp;&nbsp;&nbsp;((<a class="el" href="arithmetique_8h.html#a93">Value</a>)(f))</td></tr>
  40 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a21">double_to_value</a>(d)&nbsp;&nbsp;&nbsp;((<a class="el" href="arithmetique_8h.html#a93">Value</a>)(d))</td></tr>
  41 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a22">value_eq</a>(v1, v2)&nbsp;&nbsp;&nbsp;((v1)==(v2))</td></tr>
  42 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a23">value_ne</a>(v1, v2)&nbsp;&nbsp;&nbsp;((v1)!=(v2))</td></tr>
  43 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a24">value_gt</a>(v1, v2)&nbsp;&nbsp;&nbsp;((v1)&gt;(v2))</td></tr>
  44 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a25">value_ge</a>(v1, v2)&nbsp;&nbsp;&nbsp;((v1)&gt;=(v2))</td></tr>
  45 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a26">value_lt</a>(v1, v2)&nbsp;&nbsp;&nbsp;((v1)&lt;(v2))</td></tr>
  46 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a27">value_le</a>(v1, v2)&nbsp;&nbsp;&nbsp;((v1)&lt;=(v2))</td></tr>
  47 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a28">value_sign</a>(v)&nbsp;&nbsp;&nbsp;(value_eq(v,VALUE_ZERO)?0:value_lt(v,VALUE_ZERO)?-1:1)</td></tr>
  48 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a29">value_compare</a>(v1, v2)&nbsp;&nbsp;&nbsp;(value_eq(v1,v2)?0:value_lt(v1,v2)?-1:1)</td></tr>
  49 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a30">value_plus</a>(v1, v2)&nbsp;&nbsp;&nbsp;((v1)+(v2))</td></tr>
  50 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a31">value_div</a>(v1, v2)&nbsp;&nbsp;&nbsp;((v1)/(v2))</td></tr>
  51 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a32">value_mod</a>(v1, v2)&nbsp;&nbsp;&nbsp;((v1)%(v2))</td></tr>
  52 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a33">value_direct_multiply</a>(v1, v2)&nbsp;&nbsp;&nbsp;((v1)*(v2))</td></tr>
  53 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a34">value_minus</a>(v1, v2)&nbsp;&nbsp;&nbsp;((v1)-(v2))</td></tr>
  54 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a35">value_pdiv</a>(v1, v2)&nbsp;&nbsp;&nbsp;(divide((v1),(v2)))</td></tr>
  55 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a36">value_pmod</a>(v1, v2)&nbsp;&nbsp;&nbsp;(modulo((v1),(v2)))</td></tr>
  56 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a37">value_min</a>(v1, v2)&nbsp;&nbsp;&nbsp;(value_le((v1),(v2))? (v1): (v2))</td></tr>
  57 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a38">value_max</a>(v1, v2)&nbsp;&nbsp;&nbsp;(value_ge((v1),(v2))? (v1): (v2))</td></tr>
  58 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a39">value_or</a>(v1, v2)&nbsp;&nbsp;&nbsp;((v1)|(v2))</td></tr>
  59 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a40">value_and</a>(v1, v2)&nbsp;&nbsp;&nbsp;((v1)&amp;(v2))</td></tr>
  60 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a41">value_lshift</a>(v1, v2)&nbsp;&nbsp;&nbsp;((v1)&lt;&lt;(v2))</td></tr>
  61 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a42">value_rshift</a>(v1, v2)&nbsp;&nbsp;&nbsp;((v1)&gt;&gt;(v2))</td></tr>
  62 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a43">value_addto</a>(ref, val1, val2)&nbsp;&nbsp;&nbsp;((ref) = (val1)+(val2))</td></tr>
  63 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a44">value_add_int</a>(ref, val, vint)&nbsp;&nbsp;&nbsp;((ref) = (val)+(<a class="el" href="arithmetique_8h.html#a93">Value</a>)(vint))</td></tr>
  64 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a45">value_increment</a>(ref, val)&nbsp;&nbsp;&nbsp;((ref) = (val)+VALUE_ONE)</td></tr>
  65 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a46">value_direct_product</a>(ref, val1, val2)&nbsp;&nbsp;&nbsp;((ref) = (val1)*(val2))</td></tr>
  66 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a47">value_multiply</a>(ref, val1, val2)&nbsp;&nbsp;&nbsp;((ref) = value_mult((val1),(val2)))</td></tr>
  67 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a48">value_substract</a>(ref, val1, val2)&nbsp;&nbsp;&nbsp;((ref) = (val1)-(val2))</td></tr>
  68 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a49">value_sub_int</a>(ref, val, vint)&nbsp;&nbsp;&nbsp;((ref) = (val)-(<a class="el" href="arithmetique_8h.html#a93">Value</a>)(vint))</td></tr>
  69 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a50">value_decrement</a>(ref, val)&nbsp;&nbsp;&nbsp;((ref) = (val)-VALUE_ONE)</td></tr>
  70 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a51">value_division</a>(ref, val1, val2)&nbsp;&nbsp;&nbsp;((ref) = (val1)/(val2))</td></tr>
  71 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a52">value_modulus</a>(ref, val1, val2)&nbsp;&nbsp;&nbsp;((ref) = (val1)%(val2))</td></tr>
  72 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a53">value_pdivision</a>(ref, val1, val2)&nbsp;&nbsp;&nbsp;((ref) = value_pdiv((val1),(val2)))</td></tr>
  73 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a54">value_oppose</a>(ref, val)&nbsp;&nbsp;&nbsp;((ref) = value_uminus((val)))</td></tr>
  74 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a55">value_absolute</a>(ref, val)&nbsp;&nbsp;&nbsp;((ref) = value_abs((val)))</td></tr>
  75 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a56">value_minimum</a>(ref, val1, val2)&nbsp;&nbsp;&nbsp;((ref) = value_min((val1),(val2)))</td></tr>
  76 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a57">value_maximum</a>(ref, val1, val2)&nbsp;&nbsp;&nbsp;((ref) = value_max((val1),(val2)))</td></tr>
  77 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a58">value_orto</a>(ref, val1, val2)&nbsp;&nbsp;&nbsp;((ref) = (val1)|(val2))</td></tr>
  78 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a59">value_andto</a>(ref, val1, val2)&nbsp;&nbsp;&nbsp;((ref) = (val1)&amp;(val2))</td></tr>
  79 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a60">value_uminus</a>(val)&nbsp;&nbsp;&nbsp;(-(val))</td></tr>
  80 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a61">value_not</a>(val)&nbsp;&nbsp;&nbsp;(~(val))</td></tr>
  81 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a62">value_abs</a>(val)</td></tr>
  82 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a63">value_pos_p</a>(val)&nbsp;&nbsp;&nbsp;value_gt(val,VALUE_ZERO)</td></tr>
  83 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a64">value_neg_p</a>(val)&nbsp;&nbsp;&nbsp;value_lt(val,VALUE_ZERO)</td></tr>
  84 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a65">value_posz_p</a>(val)&nbsp;&nbsp;&nbsp;value_ge(val,VALUE_ZERO)</td></tr>
  85 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a66">value_negz_p</a>(val)&nbsp;&nbsp;&nbsp;value_le(val,VALUE_ZERO)</td></tr>
  86 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a67">value_zero_p</a>(val)&nbsp;&nbsp;&nbsp;value_eq(val,VALUE_ZERO)</td></tr>
  87 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a68">value_notzero_p</a>(val)&nbsp;&nbsp;&nbsp;value_ne(val,VALUE_ZERO)</td></tr>
  88 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a69">value_one_p</a>(val)&nbsp;&nbsp;&nbsp;value_eq(val,VALUE_ONE)</td></tr>
  89 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a70">value_notone_p</a>(val)&nbsp;&nbsp;&nbsp;value_ne(val,VALUE_ONE)</td></tr>
  90 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a71">value_mone_p</a>(val)&nbsp;&nbsp;&nbsp;value_eq(val,VALUE_MONE)</td></tr>
  91 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a72">value_notmone_p</a>(val)&nbsp;&nbsp;&nbsp;value_ne(val,VALUE_MONE)</td></tr>
  92 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a73">value_min_p</a>(val)&nbsp;&nbsp;&nbsp;value_eq(val,VALUE_MIN)</td></tr>
  93 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a74">value_max_p</a>(val)&nbsp;&nbsp;&nbsp;value_eq(val,VALUE_MAX)</td></tr>
  94 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a75">value_notmin_p</a>(val)&nbsp;&nbsp;&nbsp;value_ne(val,VALUE_MIN)</td></tr>
  95 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a76">value_notmax_p</a>(val)&nbsp;&nbsp;&nbsp;value_ne(val,VALUE_MAX)</td></tr>
  96 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a77">value_protected_hard_idiv_multiply</a>(v, w, throw)</td></tr>
  97 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a78">value_protected_multiply</a>(v, w, throw)&nbsp;&nbsp;&nbsp;value_protected_hard_idiv_multiply(v,w,throw)</td></tr>
  98 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a79">value_protected_mult</a>(v, w)&nbsp;&nbsp;&nbsp;value_protected_multiply(v,w,THROW(<a class="el" href="errors_8c.html#a4">overflow_error</a>))</td></tr>
  99 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a80">value_protected_product</a>(v, w)&nbsp;&nbsp;&nbsp;v=value_protected_mult(v,w)</td></tr>
 100 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a81">value_mult</a>(v, w)</td></tr>
 101 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a82">value_product</a>(v, w)&nbsp;&nbsp;&nbsp;v=value_mult(v,w)</td></tr>
 102 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a83">ABS</a>(x)&nbsp;&nbsp;&nbsp;(((x)&gt;=0) ? (x) : -(x))</td></tr>
 103 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a84">MIN</a>(x, y)&nbsp;&nbsp;&nbsp;(((x)&gt;=(y))?(y):(x))</td></tr>
 104 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a85">MAX</a>(x, y)&nbsp;&nbsp;&nbsp;(((x)&gt;=(y))?(x):(y))</td></tr>
 105 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a86">SIGN</a>(x)&nbsp;&nbsp;&nbsp;(((x)&gt;0)? 1 : ((x)==0? 0 : -1))</td></tr>
 106 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a87">DIVIDE</a>(x, y)</td></tr>
 107 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a88">POSITIVE_DIVIDE</a>(x, y)&nbsp;&nbsp;&nbsp;((x)&gt;0 ? (x)/(y) : - (-(x)+(y)-1)/(y))</td></tr>
 108 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a89">MODULO</a>(x, y)&nbsp;&nbsp;&nbsp;((y)&gt;0 ? POSITIVE_MODULO(x,y) : POSITIVE_MODULO(-x,-y))</td></tr>
 109 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a90">POSITIVE_MODULO</a>(x, y)</td></tr>
 110 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a91">divide</a>(a, b)&nbsp;&nbsp;&nbsp;DIVIDE(a,b)</td></tr>
 111 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a92">modulo</a>(a, b)&nbsp;&nbsp;&nbsp;MODULO(a,b)</td></tr>
 112 <tr><td colspan=2><br><h2>Typedefs</h2></td></tr>
 113 <tr><td nowrap align=right valign=top>typedef mpz_t&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a93">Value</a></td></tr>
 114 <tr><td nowrap align=right valign=top>typedef <a class="el" href="structcol.html">col</a>&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a94">tableau</a></td></tr>
 115 <tr><td colspan=2><br><h2>Functions</h2></td></tr>
 116 <tr><td nowrap align=right valign=top>void&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a102">dump_exception_stack_to_file</a> (FILE *)</td></tr>
 117 <tr><td nowrap align=right valign=top>void&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a103">dump_exception_stack</a> (void)</td></tr>
 118 <tr><td nowrap align=right valign=top>jmp_buf *&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a104">push_exception_on_stack</a> (int, char *, char *, int)</td></tr>
 119 <tr><td nowrap align=right valign=top>void&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a105">pop_exception_from_stack</a> (int, char *, char *, int)</td></tr>
 120 <tr><td nowrap align=right valign=top>void&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a106">throw_exception</a> (int, char *, char *, int)</td></tr>
 121 <tr><td colspan=2><br><h2>Variables</h2></td></tr>
 122 <tr><td nowrap align=right valign=top>unsigned int&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a95">overflow_error</a></td></tr>
 123 <tr><td nowrap align=right valign=top>unsigned int&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a96">simplex_arithmetic_error</a></td></tr>
 124 <tr><td nowrap align=right valign=top>unsigned int&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a97">user_exception_error</a></td></tr>
 125 <tr><td nowrap align=right valign=top>unsigned int&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a98">parser_exception_error</a></td></tr>
 126 <tr><td nowrap align=right valign=top>unsigned int&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a99">any_exception_error</a></td></tr>
 127 <tr><td nowrap align=right valign=top>unsigned int&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a100">the_last_just_thrown_exception</a></td></tr>
 128 <tr><td nowrap align=right valign=top>int&nbsp;</td><td valign=bottom><a class="el" href="arithmetique_8h.html#a101">linear_exception_debug_mode</a></td></tr>
 129 </table>
 130 <hr><h2>Define Documentation</h2>
 131 <a name="a0" doxytag="arithmetique.h::__LONG_LONG_MAX__"></a><p>
 132 <table width="100%" cellpadding="2" cellspacing="0" border="0">
 133   <tr>
 134     <td class="md">
 135       <table cellpadding="0" cellspacing="0" border="0">
 136         <tr>
 137           <td class="md" nowrap valign="top"> #define __LONG_LONG_MAX__&nbsp;&nbsp;&nbsp;9223372036854775807LL
 138       </table>
 139     </td>
 140   </tr>
 141 </table>
 142 <table cellspacing=5 cellpadding=0 border=0>
 143   <tr>
 144     <td>
 145       &nbsp;
 146     </td>
 147     <td>
 148
 149 <p>
 150
 151 <p>
 152 Definition at line <a class="el" href="arithmetique_8h-source.html#l00059">59</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.    </td>
 153   </tr>
 154 </table>
 155 <a name="a83" doxytag="arithmetique.h::ABS"></a><p>
 156 <table width="100%" cellpadding="2" cellspacing="0" border="0">
 157   <tr>
 158     <td class="md">
 159       <table cellpadding="0" cellspacing="0" border="0">
 160         <tr>
 161           <td class="md" nowrap valign="top"> #define ABS</td>
 162           <td class="md" valign="top">(&nbsp;</td>
 163           <td class="md" nowrap valign="top">x&nbsp;</td>
 164           <td class="mdname1" valign="top" nowrap>&nbsp;          </td>
 165           <td class="md" valign="top">)&nbsp;</td>
 166           <td class="md" nowrap>&nbsp;&nbsp;&nbsp;(((x)&gt;=0) ? (x) : -(x))
 167       </table>
 168     </td>
 169   </tr>
 170 </table>
 171 <table cellspacing=5 cellpadding=0 border=0>
 172   <tr>
 173     <td>
 174       &nbsp;
 175     </td>
 176     <td>
 177
 178 <p>
 179
 180 <p>
 181 Definition at line <a class="el" href="arithmetique_8h-source.html#l00543">543</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.    </td>
 182   </tr>
 183 </table>
 184 <a name="a91" doxytag="arithmetique.h::divide"></a><p>
 185 <table width="100%" cellpadding="2" cellspacing="0" border="0">
 186   <tr>
 187     <td class="md">
 188       <table cellpadding="0" cellspacing="0" border="0">
 189         <tr>
 190           <td class="md" nowrap valign="top"> #define divide</td>
 191           <td class="md" valign="top">(&nbsp;</td>
 192           <td class="md" nowrap valign="top">a,         <tr>
 193           <td></td>
 194           <td></td>
 195           <td class="md" nowrap>b&nbsp;</td>
 196           <td class="mdname1" valign="top" nowrap>&nbsp;          </td>
 197           <td class="md" valign="top">)&nbsp;</td>
 198           <td class="md" nowrap>&nbsp;&nbsp;&nbsp;DIVIDE(a,b)
 199       </table>
 200     </td>
 201   </tr>
 202 </table>
 203 <table cellspacing=5 cellpadding=0 border=0>
 204   <tr>
 205     <td>
 206       &nbsp;
 207     </td>
 208     <td>
 209
 210 <p>
 211
 212 <p>
 213 Definition at line <a class="el" href="arithmetique_8h-source.html#l00588">588</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.    </td>
 214   </tr>
 215 </table>
 216 <a name="a87" doxytag="arithmetique.h::DIVIDE"></a><p>
 217 <table width="100%" cellpadding="2" cellspacing="0" border="0">
 218   <tr>
 219     <td class="md">
 220       <table cellpadding="0" cellspacing="0" border="0">
 221         <tr>
 222           <td class="md" nowrap valign="top"> #define DIVIDE</td>
 223           <td class="md" valign="top">(&nbsp;</td>
 224           <td class="md" nowrap valign="top">x,         <tr>
 225           <td></td>
 226           <td></td>
 227           <td class="md" nowrap>y&nbsp;</td>
 228           <td class="mdname1" valign="top" nowrap>&nbsp;          </td>
 229           <td class="md" valign="top">)&nbsp;</td>
 230           <td class="md" nowrap>
 231       </table>
 232     </td>
 233   </tr>
 234 </table>
 235 <table cellspacing=5 cellpadding=0 border=0>
 236   <tr>
 237     <td>
 238       &nbsp;
 239     </td>
 240     <td>
 241
 242 <p>
 243 <b>Value:</b><div class="fragment"><pre>((y)&gt;0? <a class="code" href="arithmetique_8h.html#a88">POSITIVE_DIVIDE</a>(x,y) : \
 244                      -<a class="code" href="arithmetique_8h.html#a88">POSITIVE_DIVIDE</a>((x),(-(y))))</pre></div>
 245 <p>
 246 Definition at line <a class="el" href="arithmetique_8h-source.html#l00566">566</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.    </td>
 247   </tr>
 248 </table>
 249 <a name="a21" doxytag="arithmetique.h::double_to_value"></a><p>
 250 <table width="100%" cellpadding="2" cellspacing="0" border="0">
 251   <tr>
 252     <td class="md">
 253       <table cellpadding="0" cellspacing="0" border="0">
 254         <tr>
 255           <td class="md" nowrap valign="top"> #define double_to_value</td>
 256           <td class="md" valign="top">(&nbsp;</td>
 257           <td class="md" nowrap valign="top">d&nbsp;</td>
 258           <td class="mdname1" valign="top" nowrap>&nbsp;          </td>
 259           <td class="md" valign="top">)&nbsp;</td>
 260           <td class="md" nowrap>&nbsp;&nbsp;&nbsp;((<a class="el" href="arithmetique_8h.html#a93">Value</a>)(d))
 261       </table>
 262     </td>
 263   </tr>
 264 </table>
 265 <table cellspacing=5 cellpadding=0 border=0>
 266   <tr>
 267     <td>
 268       &nbsp;
 269     </td>
 270     <td>
 271
 272 <p>
 273
 274 <p>
 275 Definition at line <a class="el" href="arithmetique_8h-source.html#l00333">333</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.    </td>
 276   </tr>
 277 </table>
 278 <a name="a20" doxytag="arithmetique.h::float_to_value"></a><p>
 279 <table width="100%" cellpadding="2" cellspacing="0" border="0">
 280   <tr>
 281     <td class="md">
 282       <table cellpadding="0" cellspacing="0" border="0">
 283         <tr>
 284           <td class="md" nowrap valign="top"> #define float_to_value</td>
 285           <td class="md" valign="top">(&nbsp;</td>
 286           <td class="md" nowrap valign="top">f&nbsp;</td>
 287           <td class="mdname1" valign="top" nowrap>&nbsp;          </td>
 288           <td class="md" valign="top">)&nbsp;</td>
 289           <td class="md" nowrap>&nbsp;&nbsp;&nbsp;((<a class="el" href="arithmetique_8h.html#a93">Value</a>)(f))
 290       </table>
 291     </td>
 292   </tr>
 293 </table>
 294 <table cellspacing=5 cellpadding=0 border=0>
 295   <tr>
 296     <td>
 297       &nbsp;
 298     </td>
 299     <td>
 300
 301 <p>
 302
 303 <p>
 304 Definition at line <a class="el" href="arithmetique_8h-source.html#l00332">332</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.    </td>
 305   </tr>
 306 </table>
 307 <a name="a18" doxytag="arithmetique.h::int_to_value"></a><p>
 308 <table width="100%" cellpadding="2" cellspacing="0" border="0">
 309   <tr>
 310     <td class="md">
 311       <table cellpadding="0" cellspacing="0" border="0">
 312         <tr>
 313           <td class="md" nowrap valign="top"> #define int_to_value</td>
 314           <td class="md" valign="top">(&nbsp;</td>
 315           <td class="md" nowrap valign="top">i&nbsp;</td>
 316           <td class="mdname1" valign="top" nowrap>&nbsp;          </td>
 317           <td class="md" valign="top">)&nbsp;</td>
 318           <td class="md" nowrap>&nbsp;&nbsp;&nbsp;((<a class="el" href="arithmetique_8h.html#a93">Value</a>)(i))
 319       </table>
 320     </td>
 321   </tr>
 322 </table>
 323 <table cellspacing=5 cellpadding=0 border=0>
 324   <tr>
 325     <td>
 326       &nbsp;
 327     </td>
 328     <td>
 329
 330 <p>
 331
 332 <p>
 333 Definition at line <a class="el" href="arithmetique_8h-source.html#l00330">330</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.    </td>
 334   </tr>
 335 </table>
 336 <a name="a4" doxytag="arithmetique.h::LINEAR_VALUE_STRING"></a><p>
 337 <table width="100%" cellpadding="2" cellspacing="0" border="0">
 338   <tr>
 339     <td class="md">
 340       <table cellpadding="0" cellspacing="0" border="0">
 341         <tr>
 342           <td class="md" nowrap valign="top"> #define LINEAR_VALUE_STRING&nbsp;&nbsp;&nbsp;"gmp"
 343       </table>
 344     </td>
 345   </tr>
 346 </table>
 347 <table cellspacing=5 cellpadding=0 border=0>
 348   <tr>
 349     <td>
 350       &nbsp;
 351     </td>
 352     <td>
 353
 354 <p>
 355
 356 <p>
 357 Definition at line <a class="el" href="arithmetique_8h-source.html#l00228">228</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.    </td>
 358   </tr>
 359 </table>
 360 <a name="a1" doxytag="arithmetique.h::LONG_LONG_MAX"></a><p>
 361 <table width="100%" cellpadding="2" cellspacing="0" border="0">
 362   <tr>
 363     <td class="md">
 364       <table cellpadding="0" cellspacing="0" border="0">
 365         <tr>
 366           <td class="md" nowrap valign="top"> #define LONG_LONG_MAX&nbsp;&nbsp;&nbsp;__LONG_LONG_MAX__
 367       </table>
 368     </td>
 369   </tr>
 370 </table>
 371 <table cellspacing=5 cellpadding=0 border=0>
 372   <tr>
 373     <td>
 374       &nbsp;
 375     </td>
 376     <td>
 377
 378 <p>
 379
 380 <p>
 381 Definition at line <a class="el" href="arithmetique_8h-source.html#l00062">62</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.    </td>
 382   </tr>
 383 </table>
 384 <a name="a2" doxytag="arithmetique.h::LONG_LONG_MIN"></a><p>
 385 <table width="100%" cellpadding="2" cellspacing="0" border="0">
 386   <tr>
 387     <td class="md">
 388       <table cellpadding="0" cellspacing="0" border="0">
 389         <tr>
 390           <td class="md" nowrap valign="top"> #define LONG_LONG_MIN&nbsp;&nbsp;&nbsp;(-LONG_LONG_MAX-1)
 391       </table>
 392     </td>
 393   </tr>
 394 </table>
 395 <table cellspacing=5 cellpadding=0 border=0>
 396   <tr>
 397     <td>
 398       &nbsp;
 399     </td>
 400     <td>
 401
 402 <p>
 403
 404 <p>
 405 Definition at line <a class="el" href="arithmetique_8h-source.html#l00064">64</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.    </td>
 406   </tr>
 407 </table>
 408 <a name="a19" doxytag="arithmetique.h::long_to_value"></a><p>
 409 <table width="100%" cellpadding="2" cellspacing="0" border="0">
 410   <tr>
 411     <td class="md">
 412       <table cellpadding="0" cellspacing="0" border="0">
 413         <tr>
 414           <td class="md" nowrap valign="top"> #define long_to_value</td>
 415           <td class="md" valign="top">(&nbsp;</td>
 416           <td class="md" nowrap valign="top">l&nbsp;</td>
 417           <td class="mdname1" valign="top" nowrap>&nbsp;          </td>
 418           <td class="md" valign="top">)&nbsp;</td>
 419           <td class="md" nowrap>&nbsp;&nbsp;&nbsp;((<a class="el" href="arithmetique_8h.html#a93">Value</a>)(l))
 420       </table>
 421     </td>
 422   </tr>
 423 </table>
 424 <table cellspacing=5 cellpadding=0 border=0>
 425   <tr>
 426     <td>
 427       &nbsp;
 428     </td>
 429     <td>
 430
 431 <p>
 432
 433 <p>
 434 Definition at line <a class="el" href="arithmetique_8h-source.html#l00331">331</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.    </td>
 435   </tr>
 436 </table>
 437 <a name="a85" doxytag="arithmetique.h::MAX"></a><p>
 438 <table width="100%" cellpadding="2" cellspacing="0" border="0">
 439   <tr>
 440     <td class="md">
 441       <table cellpadding="0" cellspacing="0" border="0">
 442         <tr>
 443           <td class="md" nowrap valign="top"> #define MAX</td>
 444           <td class="md" valign="top">(&nbsp;</td>
 445           <td class="md" nowrap valign="top">x,         <tr>
 446           <td></td>
 447           <td></td>
 448           <td class="md" nowrap>y&nbsp;</td>
 449           <td class="mdname1" valign="top" nowrap>&nbsp;          </td>
 450           <td class="md" valign="top">)&nbsp;</td>
 451           <td class="md" nowrap>&nbsp;&nbsp;&nbsp;(((x)&gt;=(y))?(x):(y))
 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="arithmetique_8h-source.html#l00554">554</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.    </td>
 467   </tr>
 468 </table>
 469 <a name="a84" doxytag="arithmetique.h::MIN"></a><p>
 470 <table width="100%" cellpadding="2" cellspacing="0" border="0">
 471   <tr>
 472     <td class="md">
 473       <table cellpadding="0" cellspacing="0" border="0">
 474         <tr>
 475           <td class="md" nowrap valign="top"> #define MIN</td>
 476           <td class="md" valign="top">(&nbsp;</td>
 477           <td class="md" nowrap valign="top">x,         <tr>
 478           <td></td>
 479           <td></td>
 480           <td class="md" nowrap>y&nbsp;</td>
 481           <td class="mdname1" valign="top" nowrap>&nbsp;          </td>
 482           <td class="md" valign="top">)&nbsp;</td>
 483           <td class="md" nowrap>&nbsp;&nbsp;&nbsp;(((x)&gt;=(y))?(y):(x))
 484       </table>
 485     </td>
 486   </tr>
 487 </table>
 488 <table cellspacing=5 cellpadding=0 border=0>
 489   <tr>
 490     <td>
 491       &nbsp;
 492     </td>
 493     <td>
 494
 495 <p>
 496
 497 <p>
 498 Definition at line <a class="el" href="arithmetique_8h-source.html#l00551">551</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.    </td>
 499   </tr>
 500 </table>
 501 <a name="a92" doxytag="arithmetique.h::modulo"></a><p>
 502 <table width="100%" cellpadding="2" cellspacing="0" border="0">
 503   <tr>
 504     <td class="md">
 505       <table cellpadding="0" cellspacing="0" border="0">
 506         <tr>
 507           <td class="md" nowrap valign="top"> #define modulo</td>
 508           <td class="md" valign="top">(&nbsp;</td>
 509           <td class="md" nowrap valign="top">a,         <tr>
 510           <td></td>
 511           <td></td>
 512           <td class="md" nowrap>b&nbsp;</td>
 513           <td class="mdname1" valign="top" nowrap>&nbsp;          </td>
 514           <td class="md" valign="top">)&nbsp;</td>
 515           <td class="md" nowrap>&nbsp;&nbsp;&nbsp;MODULO(a,b)
 516       </table>
 517     </td>
 518   </tr>
 519 </table>
 520 <table cellspacing=5 cellpadding=0 border=0>
 521   <tr>
 522     <td>
 523       &nbsp;
 524     </td>
 525     <td>
 526
 527 <p>
 528
 529 <p>
 530 Definition at line <a class="el" href="arithmetique_8h-source.html#l00590">590</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.    </td>
 531   </tr>
 532 </table>
 533 <a name="a89" doxytag="arithmetique.h::MODULO"></a><p>
 534 <table width="100%" cellpadding="2" cellspacing="0" border="0">
 535   <tr>
 536     <td class="md">
 537       <table cellpadding="0" cellspacing="0" border="0">
 538         <tr>
 539           <td class="md" nowrap valign="top"> #define MODULO</td>
 540           <td class="md" valign="top">(&nbsp;</td>
 541           <td class="md" nowrap valign="top">x,         <tr>
 542           <td></td>
 543           <td></td>
 544           <td class="md" nowrap>y&nbsp;</td>
 545           <td class="mdname1" valign="top" nowrap>&nbsp;          </td>
 546           <td class="md" valign="top">)&nbsp;</td>
 547           <td class="md" nowrap>&nbsp;&nbsp;&nbsp;((y)&gt;0 ? POSITIVE_MODULO(x,y) : POSITIVE_MODULO(-x,-y))
 548       </table>
 549     </td>
 550   </tr>
 551 </table>
 552 <table cellspacing=5 cellpadding=0 border=0>
 553   <tr>
 554     <td>
 555       &nbsp;
 556     </td>
 557     <td>
 558
 559 <p>
 560
 561 <p>
 562 Definition at line <a class="el" href="arithmetique_8h-source.html#l00573">573</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.    </td>
 563   </tr>
 564 </table>
 565 <a name="a88" doxytag="arithmetique.h::POSITIVE_DIVIDE"></a><p>
 566 <table width="100%" cellpadding="2" cellspacing="0" border="0">
 567   <tr>
 568     <td class="md">
 569       <table cellpadding="0" cellspacing="0" border="0">
 570         <tr>
 571           <td class="md" nowrap valign="top"> #define POSITIVE_DIVIDE</td>
 572           <td class="md" valign="top">(&nbsp;</td>
 573           <td class="md" nowrap valign="top">x,         <tr>
 574           <td></td>
 575           <td></td>
 576           <td class="md" nowrap>y&nbsp;</td>
 577           <td class="mdname1" valign="top" nowrap>&nbsp;          </td>
 578           <td class="md" valign="top">)&nbsp;</td>
 579           <td class="md" nowrap>&nbsp;&nbsp;&nbsp;((x)&gt;0 ? (x)/(y) : - (-(x)+(y)-1)/(y))
 580       </table>
 581     </td>
 582   </tr>
 583 </table>
 584 <table cellspacing=5 cellpadding=0 border=0>
 585   <tr>
 586     <td>
 587       &nbsp;
 588     </td>
 589     <td>
 590
 591 <p>
 592
 593 <p>
 594 Definition at line <a class="el" href="arithmetique_8h-source.html#l00570">570</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.    </td>
 595   </tr>
 596 </table>
 597 <a name="a90" doxytag="arithmetique.h::POSITIVE_MODULO"></a><p>
 598 <table width="100%" cellpadding="2" cellspacing="0" border="0">
 599   <tr>
 600     <td class="md">
 601       <table cellpadding="0" cellspacing="0" border="0">
 602         <tr>
 603           <td class="md" nowrap valign="top"> #define POSITIVE_MODULO</td>
 604           <td class="md" valign="top">(&nbsp;</td>
 605           <td class="md" nowrap valign="top">x,         <tr>
 606           <td></td>
 607           <td></td>
 608           <td class="md" nowrap>y&nbsp;</td>
 609           <td class="mdname1" valign="top" nowrap>&nbsp;          </td>
 610           <td class="md" valign="top">)&nbsp;</td>
 611           <td class="md" nowrap>
 612       </table>
 613     </td>
 614   </tr>
 615 </table>
 616 <table cellspacing=5 cellpadding=0 border=0>
 617   <tr>
 618     <td>
 619       &nbsp;
 620     </td>
 621     <td>
 622
 623 <p>
 624 <b>Value:</b><div class="fragment"><pre>((x) &gt; 0 ? (x)%(y) : \
 625                               ((x)%(y) == 0 ? 0 : ((y)-(-(x))%(y))))</pre></div>
 626 <p>
 627 Definition at line <a class="el" href="arithmetique_8h-source.html#l00581">581</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.    </td>
 628   </tr>
 629 </table>
 630 <a name="a86" doxytag="arithmetique.h::SIGN"></a><p>
 631 <table width="100%" cellpadding="2" cellspacing="0" border="0">
 632   <tr>
 633     <td class="md">
 634       <table cellpadding="0" cellspacing="0" border="0">
 635         <tr>
 636           <td class="md" nowrap valign="top"> #define SIGN</td>
 637           <td class="md" valign="top">(&nbsp;</td>
 638           <td class="md" nowrap valign="top">x&nbsp;</td>
 639           <td class="mdname1" valign="top" nowrap>&nbsp;          </td>
 640           <td class="md" valign="top">)&nbsp;</td>
 641           <td class="md" nowrap>&nbsp;&nbsp;&nbsp;(((x)&gt;0)? 1 : ((x)==0? 0 : -1))
 642       </table>
 643     </td>
 644   </tr>
 645 </table>
 646 <table cellspacing=5 cellpadding=0 border=0>
 647   <tr>
 648     <td>
 649       &nbsp;
 650     </td>
 651     <td>
 652
 653 <p>
 654
 655 <p>
 656 Definition at line <a class="el" href="arithmetique_8h-source.html#l00558">558</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.    </td>
 657   </tr>
 658 </table>
 659 <a name="a3" doxytag="arithmetique.h::ULONG_LONG_MAX"></a><p>
 660 <table width="100%" cellpadding="2" cellspacing="0" border="0">
 661   <tr>
 662     <td class="md">
 663       <table cellpadding="0" cellspacing="0" border="0">
 664         <tr>
 665           <td class="md" nowrap valign="top"> #define ULONG_LONG_MAX&nbsp;&nbsp;&nbsp;(LONG_LONG_MAX * 2ULL + 1)
 666       </table>
 667     </td>
 668   </tr>
 669 </table>
 670 <table cellspacing=5 cellpadding=0 border=0>
 671   <tr>
 672     <td>
 673       &nbsp;
 674     </td>
 675     <td>
 676
 677 <p>
 678
 679 <p>
 680 Definition at line <a class="el" href="arithmetique_8h-source.html#l00066">66</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.    </td>
 681   </tr>
 682 </table>
 683 <a name="a62" doxytag="arithmetique.h::value_abs"></a><p>
 684 <table width="100%" cellpadding="2" cellspacing="0" border="0">
 685   <tr>
 686     <td class="md">
 687       <table cellpadding="0" cellspacing="0" border="0">
 688         <tr>
 689           <td class="md" nowrap valign="top"> #define value_abs</td>
 690           <td class="md" valign="top">(&nbsp;</td>
 691           <td class="md" nowrap valign="top">val&nbsp;</td>
 692           <td class="mdname1" valign="top" nowrap>&nbsp;          </td>
 693           <td class="md" valign="top">)&nbsp;</td>
 694           <td class="md" nowrap>
 695       </table>
 696     </td>
 697   </tr>
 698 </table>
 699 <table cellspacing=5 cellpadding=0 border=0>
 700   <tr>
 701     <td>
 702       &nbsp;
 703     </td>
 704     <td>
 705
 706 <p>
 707 <b>Value:</b><div class="fragment"><pre>(<a class="code" href="arithmetique_8h.html#a65">value_posz_p</a>(val)? \
 708     (val) :                                \
 709     (<a class="code" href="arithmetique_8h.html#a23">value_ne</a>((val), VALUE_NAN) ?          \
 710      <a class="code" href="arithmetique_8h.html#a60">value_uminus</a>(val) :                   \
 711     (<a class="code" href="arithmetic__errors_8h.html#a3">THROW</a> (overflow_error), VALUE_NAN )))</pre></div>
 712 <p>
 713 Definition at line <a class="el" href="arithmetique_8h-source.html#l00389">389</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.    </td>
 714   </tr>
 715 </table>
 716 <a name="a55" doxytag="arithmetique.h::value_absolute"></a><p>
 717 <table width="100%" cellpadding="2" cellspacing="0" border="0">
 718   <tr>
 719     <td class="md">
 720       <table cellpadding="0" cellspacing="0" border="0">
 721         <tr>
 722           <td class="md" nowrap valign="top"> #define value_absolute</td>
 723           <td class="md" valign="top">(&nbsp;</td>
 724           <td class="md" nowrap valign="top">ref,         <tr>
 725           <td></td>
 726           <td></td>
 727           <td class="md" nowrap>val&nbsp;</td>
 728           <td class="mdname1" valign="top" nowrap>&nbsp;          </td>
 729           <td class="md" valign="top">)&nbsp;</td>
 730           <td class="md" nowrap>&nbsp;&nbsp;&nbsp;((ref) = value_abs((val)))
 731       </table>
 732     </td>
 733   </tr>
 734 </table>
 735 <table cellspacing=5 cellpadding=0 border=0>
 736   <tr>
 737     <td>
 738       &nbsp;
 739     </td>
 740     <td>
 741
 742 <p>
 743
 744 <p>
 745 Definition at line <a class="el" href="arithmetique_8h-source.html#l00379">379</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.
 746 <p>
 747 Referenced by <a class="el" href="polyhedron_8c-source.html#l00197">Combine</a>(), <a class="el" href="NormalForms_8c-source.html#l00320">encore</a>(), <a class="el" href="alpha_8c-source.html#l00357">GaussSimplify</a>(), <a class="el" href="vector_8c-source.html#l00099">Gcd</a>(), <a class="el" href="matrix_8c-source.html#l00192">hermite</a>(), <a class="el" href="NormalForms_8c-source.html#l00216">petit_c</a>(), <a class="el" href="NormalForms_8c-source.html#l00164">petit_l</a>(), <a class="el" href="polyparam_8c-source.html#l01402">Print_Vertex</a>(), <a class="el" href="vector_8c-source.html#l00513">Vector_Gcd</a>(), and <a class="el" href="vector_8c-source.html#l00475">Vector_Min_Not_Zero</a>().    </td>
 748   </tr>
 749 </table>
 750 <a name="a44" doxytag="arithmetique.h::value_add_int"></a><p>
 751 <table width="100%" cellpadding="2" cellspacing="0" border="0">
 752   <tr>
 753     <td class="md">
 754       <table cellpadding="0" cellspacing="0" border="0">
 755         <tr>
 756           <td class="md" nowrap valign="top"> #define value_add_int</td>
 757           <td class="md" valign="top">(&nbsp;</td>
 758           <td class="md" nowrap valign="top">ref,         <tr>
 759           <td></td>
 760           <td></td>
 761           <td class="md" nowrap>val,         <tr>
 762           <td></td>
 763           <td></td>
 764           <td class="md" nowrap>vint&nbsp;</td>
 765           <td class="mdname1" valign="top" nowrap>&nbsp;          </td>
 766           <td class="md" valign="top">)&nbsp;</td>
 767           <td class="md" nowrap>&nbsp;&nbsp;&nbsp;((ref) = (val)+(<a class="el" href="arithmetique_8h.html#a93">Value</a>)(vint))
 768       </table>
 769     </td>
 770   </tr>
 771 </table>
 772 <table cellspacing=5 cellpadding=0 border=0>
 773   <tr>
 774     <td>
 775       &nbsp;
 776     </td>
 777     <td>
 778
 779 <p>
 780
 781 <p>
 782 Definition at line <a class="el" href="arithmetique_8h-source.html#l00368">368</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.
 783 <p>
 784 Referenced by <a class="el" href="polyhedron_8c-source.html#l02753">FindSimple</a>(), and <a class="el" href="polyhedron_8c-source.html#l03625">lower_upper_bounds</a>().    </td>
 785   </tr>
 786 </table>
 787 <a name="a43" doxytag="arithmetique.h::value_addto"></a><p>
 788 <table width="100%" cellpadding="2" cellspacing="0" border="0">
 789   <tr>
 790     <td class="md">
 791       <table cellpadding="0" cellspacing="0" border="0">
 792         <tr>
 793           <td class="md" nowrap valign="top"> #define value_addto</td>
 794           <td class="md" valign="top">(&nbsp;</td>
 795           <td class="md" nowrap valign="top">ref,         <tr>
 796           <td></td>
 797           <td></td>
 798           <td class="md" nowrap>val1,         <tr>
 799           <td></td>
 800           <td></td>
 801           <td class="md" nowrap>val2&nbsp;</td>
 802           <td class="mdname1" valign="top" nowrap>&nbsp;          </td>
 803           <td class="md" valign="top">)&nbsp;</td>
 804           <td class="md" nowrap>&nbsp;&nbsp;&nbsp;((ref) = (val1)+(val2))
 805       </table>
 806     </td>
 807   </tr>
 808 </table>
 809 <table cellspacing=5 cellpadding=0 border=0>
 810   <tr>
 811     <td>
 812       &nbsp;
 813     </td>
 814     <td>
 815
 816 <p>
 817
 818 <p>
 819 Definition at line <a class="el" href="arithmetique_8h-source.html#l00367">367</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.
 820 <p>
 821 Referenced by <a class="el" href="Lattice_8c-source.html#l00912">AddLattice</a>(), <a class="el" href="Lattice_8c-source.html#l00204">AffineSmith</a>(), <a class="el" href="polyhedron_8c-source.html#l02147">BuildSat</a>(), <a class="el" href="polyhedron_8c-source.html#l00340">Chernikova</a>(), <a class="el" href="NormalForms_8c-source.html#l00133">colonne</a>(), <a class="el" href="polyhedron_8c-source.html#l03951">DomainCost</a>(), <a class="el" href="polyhedron_8c-source.html#l02753">FindSimple</a>(), <a class="el" href="matrix_8c-source.html#l00192">hermite</a>(), <a class="el" href="vector_8c-source.html#l00362">Inner_Product</a>(), <a class="el" href="NormalForms_8c-source.html#l00104">ligne</a>(), <a class="el" href="matrix_8c-source.html#l00825">Matrix_Product</a>(), <a class="el" href="matrix_8c-source.html#l00753">Matrix_Vector_Product</a>(), <a class="el" href="polyparam_8c-source.html#l00654">Poly2Sat</a>(), <a class="el" href="polyhedron_8c-source.html#l03838">Polyhedron_Image</a>(), <a class="el" href="polyhedron_8c-source.html#l03733">Polyhedron_Preimage</a>(), <a class="el" href="polyhedron_8c-source.html#l02278">PolyhedronIncludes</a>(), <a class="el" href="matrix_8c-source.html#l00684">rat_prodmat</a>(), <a class="el" href="Lattice_8c-source.html#l01284">Simplify</a>(), <a class="el" href="SolveDio_8c-source.html#l00064">SolveDiophantine</a>(), <a class="el" href="vector_8c-source.html#l00269">Vector_Add</a>(), <a class="el" href="vector_8c-source.html#l00422">Vector_Combine</a>(), and <a class="el" href="matrix_8c-source.html#l00791">Vector_Matrix_Product</a>().    </td>
 822   </tr>
 823 </table>
 824 <a name="a40" doxytag="arithmetique.h::value_and"></a><p>
 825 <table width="100%" cellpadding="2" cellspacing="0" border="0">
 826   <tr>
 827     <td class="md">
 828       <table cellpadding="0" cellspacing="0" border="0">
 829         <tr>
 830           <td class="md" nowrap valign="top"> #define value_and</td>
 831           <td class="md" valign="top">(&nbsp;</td>
 832           <td class="md" nowrap valign="top">v1,         <tr>
 833           <td></td>
 834           <td></td>
 835           <td class="md" nowrap>v2&nbsp;</td>
 836           <td class="mdname1" valign="top" nowrap>&nbsp;          </td>
 837           <td class="md" valign="top">)&nbsp;</td>
 838           <td class="md" nowrap>&nbsp;&nbsp;&nbsp;((v1)&amp;(v2))
 839       </table>
 840     </td>
 841   </tr>
 842 </table>
 843 <table cellspacing=5 cellpadding=0 border=0>
 844   <tr>
 845     <td>
 846       &nbsp;
 847     </td>
 848     <td>
 849
 850 <p>
 851
 852 <p>
 853 Definition at line <a class="el" href="arithmetique_8h-source.html#l00361">361</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.    </td>
 854   </tr>
 855 </table>
 856 <a name="a59" doxytag="arithmetique.h::value_andto"></a><p>
 857 <table width="100%" cellpadding="2" cellspacing="0" border="0">
 858   <tr>
 859     <td class="md">
 860       <table cellpadding="0" cellspacing="0" border="0">
 861         <tr>
 862           <td class="md" nowrap valign="top"> #define value_andto</td>
 863           <td class="md" valign="top">(&nbsp;</td>
 864           <td class="md" nowrap valign="top">ref,         <tr>
 865           <td></td>
 866           <td></td>
 867           <td class="md" nowrap>val1,         <tr>
 868           <td></td>
 869           <td></td>
 870           <td class="md" nowrap>val2&nbsp;</td>
 871           <td class="mdname1" valign="top" nowrap>&nbsp;          </td>
 872           <td class="md" valign="top">)&nbsp;</td>
 873           <td class="md" nowrap>&nbsp;&nbsp;&nbsp;((ref) = (val1)&amp;(val2))
 874       </table>
 875     </td>
 876   </tr>
 877 </table>
 878 <table cellspacing=5 cellpadding=0 border=0>
 879   <tr>
 880     <td>
 881       &nbsp;
 882     </td>
 883     <td>
 884
 885 <p>
 886
 887 <p>
 888 Definition at line <a class="el" href="arithmetique_8h-source.html#l00383">383</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.    </td>
 889   </tr>
 890 </table>
 891 <a name="a11" doxytag="arithmetique.h::value_assign"></a><p>
 892 <table width="100%" cellpadding="2" cellspacing="0" border="0">
 893   <tr>
 894     <td class="md">
 895       <table cellpadding="0" cellspacing="0" border="0">
 896         <tr>
 897           <td class="md" nowrap valign="top"> #define value_assign</td>
 898           <td class="md" valign="top">(&nbsp;</td>
 899           <td class="md" nowrap valign="top">v1,         <tr>
 900           <td></td>
 901           <td></td>
 902           <td class="md" nowrap>v2&nbsp;</td>
 903           <td class="mdname1" valign="top" nowrap>&nbsp;          </td>
 904           <td class="md" valign="top">)&nbsp;</td>
 905           <td class="md" nowrap>&nbsp;&nbsp;&nbsp;((v1)  = (v2))
 906       </table>
 907     </td>
 908   </tr>
 909 </table>
 910 <table cellspacing=5 cellpadding=0 border=0>
 911   <tr>
 912     <td>
 913       &nbsp;
 914     </td>
 915     <td>
 916
 917 <p>
 918
 919 <p>
 920 Definition at line <a class="el" href="arithmetique_8h-source.html#l00319">319</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.
 921 <p>
 922 Referenced by <a class="el" href="Matop_8c-source.html#l00297">AddANullColumn</a>(), <a class="el" href="Matop_8c-source.html#l00279">AddANullRow</a>(), <a class="el" href="Lattice_8c-source.html#l01527">AffinePartSimplify</a>(), <a class="el" href="Lattice_8c-source.html#l00204">AffineSmith</a>(), <a class="el" href="polyhedron_8c-source.html#l03498">align_context</a>(), <a class="el" href="Zpolyhedron_8c-source.html#l00741">CanonicalForm</a>(), <a class="el" href="Lattice_8c-source.html#l00393">ChangeLatticeDimension</a>(), <a class="el" href="verif__ehrhart_8c-source.html#l00061">check_poly</a>(), <a class="el" href="polyhedron_8c-source.html#l00197">Combine</a>(), <a class="el" href="NormalForms_8c-source.html#l00595">ConvertDarMattoPolMat</a>(), <a class="el" href="NormalForms_8c-source.html#l00571">ConvertPolMattoDarMat</a>(), <a class="el" href="polyhedron_8c-source.html#l03951">DomainCost</a>(), <a class="el" href="NormalForms_8c-source.html#l00076">echange_c</a>(), <a class="el" href="NormalForms_8c-source.html#l00050">echange_l</a>(), <a class="el" href="polyparam_8c-source.html#l00848">Elim_Columns</a>(), <a class="el" href="Matop_8c-source.html#l00064">ExchangeColumns</a>(), <a class="el" href="Matop_8c-source.html#l00041">ExchangeRows</a>(), <a class="el" href="alpha_8c-source.html#l00032">exist_points</a>(), <a class="el" href="Lattice_8c-source.html#l00423">ExtractLinearPart</a>(), <a class="el" href="polyparam_8c-source.html#l00912">Find_m_faces</a>(), <a class="el" href="Matop_8c-source.html#l00353">findHermiteBasis</a>(), <a class="el" href="Lattice_8c-source.html#l00975">FindHermiteBasisofDomain</a>(), <a class="el" href="polyhedron_8c-source.html#l02753">FindSimple</a>(), <a class="el" href="alpha_8c-source.html#l00357">GaussSimplify</a>(), <a class="el" href="vector_8c-source.html#l00099">Gcd</a>(), <a class="el" href="polyparam_8c-source.html#l00707">GenParamPolyhedron</a>(), <a class="el" href="matrix_8c-source.html#l00192">hermite</a>(), <a class="el" href="Matop_8c-source.html#l00140">isinHnf</a>(), <a class="el" href="Matop_8c-source.html#l00117">isIntegral</a>(), <a class="el" href="Lattice_8c-source.html#l00658">Lattice2LatticeUnion</a>(), <a class="el" href="Lattice_8c-source.html#l00459">LatticeIntersection</a>(), <a class="el" href="Lattice_8c-source.html#l01143">LatticePreimage</a>(), <a class="el" href="matrix_8c-source.html#l00471">left_hermite</a>(), <a class="el" href="polyhedron_8c-source.html#l03625">lower_upper_bounds</a>(), <a class="el" href="matrix_8c-source.html#l00556">MatInverse</a>(), <a class="el" href="Matop_8c-source.html#l00101">Matrix_Copy</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#l00216">petit_c</a>(), <a class="el" href="NormalForms_8c-source.html#l00164">petit_l</a>(), <a class="el" href="polyhedron_8c-source.html#l03838">Polyhedron_Image</a>(), <a class="el" href="polyhedron_8c-source.html#l03733">Polyhedron_Preimage</a>(), <a class="el" href="alpha_8c-source.html#l00122">PolyhedronLTQ</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>(), <a class="el" href="Matop_8c-source.html#l00170">PutRowLast</a>(), <a class="el" href="matrix_8c-source.html#l00684">rat_prodmat</a>(), <a class="el" href="SolveDio_8c-source.html#l00233">RearrangeMatforSolveDio</a>(), <a class="el" href="polyhedron_8c-source.html#l00824">Remove_Redundants</a>(), <a class="el" href="Matop_8c-source.html#l00332">RemoveColumn</a>(), <a class="el" href="Matop_8c-source.html#l00314">RemoveRow</a>(), <a class="el" href="matrix_8c-source.html#l00401">right_hermite</a>(), <a class="el" href="Lattice_8c-source.html#l01284">Simplify</a>(), <a class="el" href="NormalForms_8c-source.html#l00374">smith</a>(), <a class="el" href="SolveDio_8c-source.html#l00064">SolveDiophantine</a>(), <a class="el" href="polyhedron_8c-source.html#l02388">SubConstraint</a>(), <a class="el" href="polyparam_8c-source.html#l00127">TestRank</a>(), <a class="el" href="polyparam_8c-source.html#l00303">traite_m_face</a>(), <a class="el" href="NormalForms_8c-source.html#l00288">transpose</a>(), <a class="el" href="Matop_8c-source.html#l00086">Transpose</a>(), <a class="el" href="vector_8c-source.html#l00252">Vector_Copy</a>(), <a class="el" href="vector_8c-source.html#l00562">Vector_Map</a>(), <a class="el" href="vector_8c-source.html#l00385">Vector_Max</a>(), <a class="el" href="vector_8c-source.html#l00402">Vector_Min</a>(), <a class="el" href="vector_8c-source.html#l00475">Vector_Min_Not_Zero</a>(), <a class="el" href="vector_8c-source.html#l00630">Vector_Reduce</a>(), <a class="el" href="vector_8c-source.html#l00646">Vector_Sort</a>(), and <a class="el" href="polyparam_8c-source.html#l01475">VertexCT</a>().    </td>
 923   </tr>
 924 </table>
 925 <a name="a14" doxytag="arithmetique.h::value_clear"></a><p>
 926 <table width="100%" cellpadding="2" cellspacing="0" border="0">
 927   <tr>
 928     <td class="md">
 929       <table cellpadding="0" cellspacing="0" border="0">
 930         <tr>
 931           <td class="md" nowrap valign="top"> #define value_clear</td>
 932           <td class="md" valign="top">(&nbsp;</td>
 933           <td class="md" nowrap valign="top">val&nbsp;</td>
 934           <td class="mdname1" valign="top" nowrap>&nbsp;          </td>
 935           <td class="md" valign="top">)&nbsp;</td>
 936           <td class="md" nowrap>&nbsp;&nbsp;&nbsp;((val) = 0)
 937       </table>
 938     </td>
 939   </tr>
 940 </table>
 941 <table cellspacing=5 cellpadding=0 border=0>
 942   <tr>
 943     <td>
 944       &nbsp;
 945     </td>
 946     <td>
 947
 948 <p>
 949
 950 <p>
 951 Definition at line <a class="el" href="arithmetique_8h-source.html#l00322">322</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.
 952 <p>
 953 Referenced by <a class="el" href="Lattice_8c-source.html#l00912">AddLattice</a>(), <a class="el" href="Lattice_8c-source.html#l01527">AffinePartSimplify</a>(), <a class="el" href="Lattice_8c-source.html#l00204">AffineSmith</a>(), <a class="el" href="vector_8c-source.html#l00044">Binomial</a>(), <a class="el" href="polyhedron_8c-source.html#l02147">BuildSat</a>(), <a class="el" href="Zpolyhedron_8c-source.html#l00741">CanonicalForm</a>(), <a class="el" href="verif__ehrhart_8c-source.html#l00061">check_poly</a>(), <a class="el" href="polyhedron_8c-source.html#l00340">Chernikova</a>(), <a class="el" href="vector_8c-source.html#l00072">CNP</a>(), <a class="el" href="NormalForms_8c-source.html#l00133">colonne</a>(), <a class="el" href="polyhedron_8c-source.html#l00197">Combine</a>(), <a class="el" href="polyhedron_8c-source.html#l01744">Domain_Free</a>(), <a class="el" href="polyhedron_8c-source.html#l03951">DomainCost</a>(), <a class="el" href="NormalForms_8c-source.html#l00076">echange_c</a>(), <a class="el" href="NormalForms_8c-source.html#l00050">echange_l</a>(), <a class="el" href="polyparam_8c-source.html#l00848">Elim_Columns</a>(), <a class="el" href="NormalForms_8c-source.html#l00320">encore</a>(), <a class="el" href="Matop_8c-source.html#l00064">ExchangeColumns</a>(), <a class="el" href="Matop_8c-source.html#l00041">ExchangeRows</a>(), <a class="el" href="alpha_8c-source.html#l00032">exist_points</a>(), <a class="el" href="vector_8c-source.html#l00026">Factorial</a>(), <a class="el" href="Lattice_8c-source.html#l00975">FindHermiteBasisofDomain</a>(), <a class="el" href="polyhedron_8c-source.html#l02753">FindSimple</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="vector_8c-source.html#l00099">Gcd</a>(), <a class="el" href="NormalForms_8c-source.html#l00695">Hermite</a>(), <a class="el" href="matrix_8c-source.html#l00192">hermite</a>(), <a class="el" href="vector_8c-source.html#l00362">Inner_Product</a>(), <a class="el" href="Matop_8c-source.html#l00140">isinHnf</a>(), <a class="el" href="Matop_8c-source.html#l00117">isIntegral</a>(), <a class="el" href="Lattice_8c-source.html#l00658">Lattice2LatticeUnion</a>(), <a class="el" href="Lattice_8c-source.html#l01143">LatticePreimage</a>(), <a class="el" href="Matop_8c-source.html#l00007">Lcm</a>(), <a class="el" href="matrix_8c-source.html#l00471">left_hermite</a>(), <a class="el" href="NormalForms_8c-source.html#l00104">ligne</a>(), <a class="el" href="polyhedron_8c-source.html#l03625">lower_upper_bounds</a>(), <a class="el" href="verif__ehrhart_8c-source.html#l00148">main</a>(), <a class="el" href="matrix_8c-source.html#l00556">MatInverse</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="matrix_8c-source.html#l00753">Matrix_Vector_Product</a>(), <a class="el" href="NormalForms_8c-source.html#l00216">petit_c</a>(), <a class="el" href="NormalForms_8c-source.html#l00164">petit_l</a>(), <a class="el" href="polyparam_8c-source.html#l00654">Poly2Sat</a>(), <a class="el" href="polyhedron_8c-source.html#l01724">Polyhedron_Free</a>(), <a class="el" href="polyhedron_8c-source.html#l03838">Polyhedron_Image</a>(), <a class="el" href="alpha_8c-source.html#l00087">Polyhedron_Not_Empty</a>(), <a class="el" href="polyhedron_8c-source.html#l03733">Polyhedron_Preimage</a>(), <a class="el" href="polyhedron_8c-source.html#l02278">PolyhedronIncludes</a>(), <a class="el" href="polyparam_8c-source.html#l01402">Print_Vertex</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>(), <a class="el" href="Matop_8c-source.html#l00170">PutRowLast</a>(), <a class="el" href="matrix_8c-source.html#l00684">rat_prodmat</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="Lattice_8c-source.html#l01284">Simplify</a>(), <a class="el" href="NormalForms_8c-source.html#l00619">Smith</a>(), <a class="el" href="NormalForms_8c-source.html#l00374">smith</a>(), <a class="el" href="SolveDio_8c-source.html#l00064">SolveDiophantine</a>(), <a class="el" href="polyparam_8c-source.html#l00127">TestRank</a>(), <a class="el" href="NormalForms_8c-source.html#l00288">transpose</a>(), <a class="el" href="vector_8c-source.html#l00422">Vector_Combine</a>(), <a class="el" href="vector_8c-source.html#l00162">Vector_Free</a>(), <a class="el" href="vector_8c-source.html#l00513">Vector_Gcd</a>(), <a class="el" href="matrix_8c-source.html#l00791">Vector_Matrix_Product</a>(), <a class="el" href="vector_8c-source.html#l00475">Vector_Min_Not_Zero</a>(), <a class="el" href="vector_8c-source.html#l00582">Vector_Normalize</a>(), <a class="el" href="vector_8c-source.html#l00610">Vector_Normalize_Positive</a>(), and <a class="el" href="vector_8c-source.html#l00646">Vector_Sort</a>().    </td>
 954   </tr>
 955 </table>
 956 <a name="a29" doxytag="arithmetique.h::value_compare"></a><p>
 957 <table width="100%" cellpadding="2" cellspacing="0" border="0">
 958   <tr>
 959     <td class="md">
 960       <table cellpadding="0" cellspacing="0" border="0">
 961         <tr>
 962           <td class="md" nowrap valign="top"> #define value_compare</td>
 963           <td class="md" valign="top">(&nbsp;</td>
 964           <td class="md" nowrap valign="top">v1,         <tr>
 965           <td></td>
 966           <td></td>
 967           <td class="md" nowrap>v2&nbsp;</td>
 968           <td class="mdname1" valign="top" nowrap>&nbsp;          </td>
 969           <td class="md" valign="top">)&nbsp;</td>
 970           <td class="md" nowrap>&nbsp;&nbsp;&nbsp;(value_eq(v1,v2)?0:value_lt(v1,v2)?-1:1)
 971       </table>
 972     </td>
 973   </tr>
 974 </table>
 975 <table cellspacing=5 cellpadding=0 border=0>
 976   <tr>
 977     <td>
 978       &nbsp;
 979     </td>
 980     <td>
 981
 982 <p>
 983
 984 <p>
 985 Definition at line <a class="el" href="arithmetique_8h-source.html#l00347">347</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.    </td>
 986   </tr>
 987 </table>
 988 <a name="a50" doxytag="arithmetique.h::value_decrement"></a><p>
 989 <table width="100%" cellpadding="2" cellspacing="0" border="0">
 990   <tr>
 991     <td class="md">
 992       <table cellpadding="0" cellspacing="0" border="0">
 993         <tr>
 994           <td class="md" nowrap valign="top"> #define value_decrement</td>
 995           <td class="md" valign="top">(&nbsp;</td>
 996           <td class="md" nowrap valign="top">ref,         <tr>
 997           <td></td>
 998           <td></td>
 999           <td class="md" nowrap>val&nbsp;</td>
1000           <td class="mdname1" valign="top" nowrap>&nbsp;          </td>
1001           <td class="md" valign="top">)&nbsp;</td>
1002           <td class="md" nowrap>&nbsp;&nbsp;&nbsp;((ref) = (val)-VALUE_ONE)
1003       </table>
1004     </td>
1005   </tr>
1006 </table>
1007 <table cellspacing=5 cellpadding=0 border=0>
1008   <tr>
1009     <td>
1010       &nbsp;
1011     </td>
1012     <td>
1013
1014 <p>
1015
1016 <p>
1017 Definition at line <a class="el" href="arithmetique_8h-source.html#l00374">374</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.
1018 <p>
1019 Referenced by <a class="el" href="polyhedron_8c-source.html#l02712">addToFilter</a>(), <a class="el" href="Lattice_8c-source.html#l00204">AffineSmith</a>(), <a class="el" href="polyhedron_8c-source.html#l02753">FindSimple</a>(), <a class="el" href="matrix_8c-source.html#l00192">hermite</a>(), <a class="el" href="NormalForms_8c-source.html#l00374">smith</a>(), and <a class="el" href="polyhedron_8c-source.html#l02388">SubConstraint</a>().    </td>
1020   </tr>
1021 </table>
1022 <a name="a33" doxytag="arithmetique.h::value_direct_multiply"></a><p>
1023 <table width="100%" cellpadding="2" cellspacing="0" border="0">
1024   <tr>
1025     <td class="md">
1026       <table cellpadding="0" cellspacing="0" border="0">
1027         <tr>
1028           <td class="md" nowrap valign="top"> #define value_direct_multiply</td>
1029           <td class="md" valign="top">(&nbsp;</td>
1030           <td class="md" nowrap valign="top">v1,         <tr>
1031           <td></td>
1032           <td></td>
1033           <td class="md" nowrap>v2&nbsp;</td>
1034           <td class="mdname1" valign="top" nowrap>&nbsp;          </td>
1035           <td class="md" valign="top">)&nbsp;</td>
1036           <td class="md" nowrap>&nbsp;&nbsp;&nbsp;((v1)*(v2))
1037       </table>
1038     </td>
1039   </tr>
1040 </table>
1041 <table cellspacing=5 cellpadding=0 border=0>
1042   <tr>
1043     <td>
1044       &nbsp;
1045     </td>
1046     <td>
1047
1048 <p>
1049
1050 <p>
1051 Definition at line <a class="el" href="arithmetique_8h-source.html#l00354">354</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.    </td>
1052   </tr>
1053 </table>
1054 <a name="a46" doxytag="arithmetique.h::value_direct_product"></a><p>
1055 <table width="100%" cellpadding="2" cellspacing="0" border="0">
1056   <tr>
1057     <td class="md">
1058       <table cellpadding="0" cellspacing="0" border="0">
1059         <tr>
1060           <td class="md" nowrap valign="top"> #define value_direct_product</td>
1061           <td class="md" valign="top">(&nbsp;</td>
1062           <td class="md" nowrap valign="top">ref,         <tr>
1063           <td></td>
1064           <td></td>
1065           <td class="md" nowrap>val1,         <tr>
1066           <td></td>
1067           <td></td>
1068           <td class="md" nowrap>val2&nbsp;</td>
1069           <td class="mdname1" valign="top" nowrap>&nbsp;          </td>
1070           <td class="md" valign="top">)&nbsp;</td>
1071           <td class="md" nowrap>&nbsp;&nbsp;&nbsp;((ref) = (val1)*(val2))
1072       </table>
1073     </td>
1074   </tr>
1075 </table>
1076 <table cellspacing=5 cellpadding=0 border=0>
1077   <tr>
1078     <td>
1079       &nbsp;
1080     </td>
1081     <td>
1082
1083 <p>
1084
1085 <p>
1086 Definition at line <a class="el" href="arithmetique_8h-source.html#l00370">370</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.    </td>
1087   </tr>
1088 </table>
1089 <a name="a31" doxytag="arithmetique.h::value_div"></a><p>
1090 <table width="100%" cellpadding="2" cellspacing="0" border="0">
1091   <tr>
1092     <td class="md">
1093       <table cellpadding="0" cellspacing="0" border="0">
1094         <tr>
1095           <td class="md" nowrap valign="top"> #define value_div</td>
1096           <td class="md" valign="top">(&nbsp;</td>
1097           <td class="md" nowrap valign="top">v1,         <tr>
1098           <td></td>
1099           <td></td>
1100           <td class="md" nowrap>v2&nbsp;</td>
1101           <td class="mdname1" valign="top" nowrap>&nbsp;          </td>
1102           <td class="md" valign="top">)&nbsp;</td>
1103           <td class="md" nowrap>&nbsp;&nbsp;&nbsp;((v1)/(v2))
1104       </table>
1105     </td>
1106   </tr>
1107 </table>
1108 <table cellspacing=5 cellpadding=0 border=0>
1109   <tr>
1110     <td>
1111       &nbsp;
1112     </td>
1113     <td>
1114
1115 <p>
1116
1117 <p>
1118 Definition at line <a class="el" href="arithmetique_8h-source.html#l00352">352</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.    </td>
1119   </tr>
1120 </table>
1121 <a name="a51" doxytag="arithmetique.h::value_division"></a><p>
1122 <table width="100%" cellpadding="2" cellspacing="0" border="0">
1123   <tr>
1124     <td class="md">
1125       <table cellpadding="0" cellspacing="0" border="0">
1126         <tr>
1127           <td class="md" nowrap valign="top"> #define value_division</td>
1128           <td class="md" valign="top">(&nbsp;</td>
1129           <td class="md" nowrap valign="top">ref,         <tr>
1130           <td></td>
1131           <td></td>
1132           <td class="md" nowrap>val1,         <tr>
1133           <td></td>
1134           <td></td>
1135           <td class="md" nowrap>val2&nbsp;</td>
1136           <td class="mdname1" valign="top" nowrap>&nbsp;          </td>
1137           <td class="md" valign="top">)&nbsp;</td>
1138           <td class="md" nowrap>&nbsp;&nbsp;&nbsp;((ref) = (val1)/(val2))
1139       </table>
1140     </td>
1141   </tr>
1142 </table>
1143 <table cellspacing=5 cellpadding=0 border=0>
1144   <tr>
1145     <td>
1146       &nbsp;
1147     </td>
1148     <td>
1149
1150 <p>
1151
1152 <p>
1153 Definition at line <a class="el" href="arithmetique_8h-source.html#l00375">375</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.
1154 <p>
1155 Referenced by <a class="el" href="Lattice_8c-source.html#l00204">AffineSmith</a>(), <a class="el" href="vector_8c-source.html#l00044">Binomial</a>(), <a class="el" href="vector_8c-source.html#l00072">CNP</a>(), <a class="el" href="polyhedron_8c-source.html#l00197">Combine</a>(), <a class="el" href="Lattice_8c-source.html#l00975">FindHermiteBasisofDomain</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="Lattice_8c-source.html#l00658">Lattice2LatticeUnion</a>(), <a class="el" href="Matop_8c-source.html#l00007">Lcm</a>(), <a class="el" href="polyhedron_8c-source.html#l03625">lower_upper_bounds</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>(), <a class="el" href="Lattice_8c-source.html#l01284">Simplify</a>(), <a class="el" href="NormalForms_8c-source.html#l00374">smith</a>(), <a class="el" href="SolveDio_8c-source.html#l00064">SolveDiophantine</a>(), <a class="el" href="polyparam_8c-source.html#l00127">TestRank</a>(), <a class="el" href="vector_8c-source.html#l00344">Vector_AntiScale</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>
1156   </tr>
1157 </table>
1158 <a name="a22" doxytag="arithmetique.h::value_eq"></a><p>
1159 <table width="100%" cellpadding="2" cellspacing="0" border="0">
1160   <tr>
1161     <td class="md">
1162       <table cellpadding="0" cellspacing="0" border="0">
1163         <tr>
1164           <td class="md" nowrap valign="top"> #define value_eq</td>
1165           <td class="md" valign="top">(&nbsp;</td>
1166           <td class="md" nowrap valign="top">v1,         <tr>
1167           <td></td>
1168           <td></td>
1169           <td class="md" nowrap>v2&nbsp;</td>
1170           <td class="mdname1" valign="top" nowrap>&nbsp;          </td>
1171           <td class="md" valign="top">)&nbsp;</td>
1172           <td class="md" nowrap>&nbsp;&nbsp;&nbsp;((v1)==(v2))
1173       </table>
1174     </td>
1175   </tr>
1176 </table>
1177 <table cellspacing=5 cellpadding=0 border=0>
1178   <tr>
1179     <td>
1180       &nbsp;
1181     </td>
1182     <td>
1183
1184 <p>
1185
1186 <p>
1187 Definition at line <a class="el" href="arithmetique_8h-source.html#l00337">337</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.
1188 <p>
1189 Referenced by <a class="el" href="polyhedron_8c-source.html#l03951">DomainCost</a>(), <a class="el" href="polyhedron_8c-source.html#l02753">FindSimple</a>(), <a class="el" href="polyhedron_8c-source.html#l00824">Remove_Redundants</a>(), and <a class="el" href="Lattice_8c-source.html#l01284">Simplify</a>().    </td>
1190   </tr>
1191 </table>
1192 <a name="a5" doxytag="arithmetique.h::VALUE_FMT"></a><p>
1193 <table width="100%" cellpadding="2" cellspacing="0" border="0">
1194   <tr>
1195     <td class="md">
1196       <table cellpadding="0" cellspacing="0" border="0">
1197         <tr>
1198           <td class="md" nowrap valign="top"> #define VALUE_FMT&nbsp;&nbsp;&nbsp;"%<a class="el" href="Zpolytest_8c.html#a0">s</a>"
1199       </table>
1200     </td>
1201   </tr>
1202 </table>
1203 <table cellspacing=5 cellpadding=0 border=0>
1204   <tr>
1205     <td>
1206       &nbsp;
1207     </td>
1208     <td>
1209
1210 <p>
1211
1212 <p>
1213 Definition at line <a class="el" href="arithmetique_8h-source.html#l00230">230</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.
1214 <p>
1215 Referenced by <a class="el" href="Lattice_8c-source.html#l00204">AffineSmith</a>(), <a class="el" href="verif__ehrhart_8c-source.html#l00061">check_poly</a>(), <a class="el" href="testehrhart_8c-source.html#l00098">main</a>(), <a class="el" href="polyhedron_8c-source.html#l01767">Polyhedron_Print</a>(), <a class="el" href="polyparam_8c-source.html#l01505">Print_Domain</a>(), and <a class="el" href="polyparam_8c-source.html#l01402">Print_Vertex</a>().    </td>
1216   </tr>
1217 </table>
1218 <a name="a25" doxytag="arithmetique.h::value_ge"></a><p>
1219 <table width="100%" cellpadding="2" cellspacing="0" border="0">
1220   <tr>
1221     <td class="md">
1222       <table cellpadding="0" cellspacing="0" border="0">
1223         <tr>
1224           <td class="md" nowrap valign="top"> #define value_ge</td>
1225           <td class="md" valign="top">(&nbsp;</td>
1226           <td class="md" nowrap valign="top">v1,         <tr>
1227           <td></td>
1228           <td></td>
1229           <td class="md" nowrap>v2&nbsp;</td>
1230           <td class="mdname1" valign="top" nowrap>&nbsp;          </td>
1231           <td class="md" valign="top">)&nbsp;</td>
1232           <td class="md" nowrap>&nbsp;&nbsp;&nbsp;((v1)&gt;=(v2))
1233       </table>
1234     </td>
1235   </tr>
1236 </table>
1237 <table cellspacing=5 cellpadding=0 border=0>
1238   <tr>
1239     <td>
1240       &nbsp;
1241     </td>
1242     <td>
1243
1244 <p>
1245
1246 <p>
1247 Definition at line <a class="el" href="arithmetique_8h-source.html#l00340">340</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.
1248 <p>
1249 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="Matop_8c-source.html#l00140">isinHnf</a>(), <a class="el" href="NormalForms_8c-source.html#l00216">petit_c</a>(), <a class="el" href="NormalForms_8c-source.html#l00164">petit_l</a>(), and <a class="el" href="Lattice_8c-source.html#l01284">Simplify</a>().    </td>
1250   </tr>
1251 </table>
1252 <a name="a24" doxytag="arithmetique.h::value_gt"></a><p>
1253 <table width="100%" cellpadding="2" cellspacing="0" border="0">
1254   <tr>
1255     <td class="md">
1256       <table cellpadding="0" cellspacing="0" border="0">
1257         <tr>
1258           <td class="md" nowrap valign="top"> #define value_gt</td>
1259           <td class="md" valign="top">(&nbsp;</td>
1260           <td class="md" nowrap valign="top">v1,         <tr>
1261           <td></td>
1262           <td></td>
1263           <td class="md" nowrap>v2&nbsp;</td>
1264           <td class="mdname1" valign="top" nowrap>&nbsp;          </td>
1265           <td class="md" valign="top">)&nbsp;</td>
1266           <td class="md" nowrap>&nbsp;&nbsp;&nbsp;((v1)&gt;(v2))
1267       </table>
1268     </td>
1269   </tr>
1270 </table>
1271 <table cellspacing=5 cellpadding=0 border=0>
1272   <tr>
1273     <td>
1274       &nbsp;
1275     </td>
1276     <td>
1277
1278 <p>
1279
1280 <p>
1281 Definition at line <a class="el" href="arithmetique_8h-source.html#l00339">339</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.
1282 <p>
1283 Referenced by <a class="el" href="Lattice_8c-source.html#l01462">AffinePartCompare</a>(), <a class="el" href="polyhedron_8c-source.html#l03951">DomainCost</a>(), <a class="el" href="polyhedron_8c-source.html#l02753">FindSimple</a>(), <a class="el" href="Lattice_8c-source.html#l01407">LinearPartCompare</a>(), <a class="el" href="polyhedron_8c-source.html#l03625">lower_upper_bounds</a>(), <a class="el" href="Lattice_8c-source.html#l01284">Simplify</a>(), and <a class="el" href="vector_8c-source.html#l00582">Vector_Normalize</a>().    </td>
1284   </tr>
1285 </table>
1286 <a name="a45" doxytag="arithmetique.h::value_increment"></a><p>
1287 <table width="100%" cellpadding="2" cellspacing="0" border="0">
1288   <tr>
1289     <td class="md">
1290       <table cellpadding="0" cellspacing="0" border="0">
1291         <tr>
1292           <td class="md" nowrap valign="top"> #define value_increment</td>
1293           <td class="md" valign="top">(&nbsp;</td>
1294           <td class="md" nowrap valign="top">ref,         <tr>
1295           <td></td>
1296           <td></td>
1297           <td class="md" nowrap>val&nbsp;</td>
1298           <td class="mdname1" valign="top" nowrap>&nbsp;          </td>
1299           <td class="md" valign="top">)&nbsp;</td>
1300           <td class="md" nowrap>&nbsp;&nbsp;&nbsp;((ref) = (val)+VALUE_ONE)
1301       </table>
1302     </td>
1303   </tr>
1304 </table>
1305 <table cellspacing=5 cellpadding=0 border=0>
1306   <tr>
1307     <td>
1308       &nbsp;
1309     </td>
1310     <td>
1311
1312 <p>
1313
1314 <p>
1315 Definition at line <a class="el" href="arithmetique_8h-source.html#l00369">369</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.
1316 <p>
1317 Referenced by <a class="el" href="verif__ehrhart_8c-source.html#l00061">check_poly</a>(), <a class="el" href="alpha_8c-source.html#l00032">exist_points</a>(), <a class="el" href="polyhedron_8c-source.html#l02753">FindSimple</a>(), <a class="el" href="polyhedron_8c-source.html#l00824">Remove_Redundants</a>(), and <a class="el" href="Lattice_8c-source.html#l01284">Simplify</a>().    </td>
1318   </tr>
1319 </table>
1320 <a name="a10" doxytag="arithmetique.h::value_init"></a><p>
1321 <table width="100%" cellpadding="2" cellspacing="0" border="0">
1322   <tr>
1323     <td class="md">
1324       <table cellpadding="0" cellspacing="0" border="0">
1325         <tr>
1326           <td class="md" nowrap valign="top"> #define value_init</td>
1327           <td class="md" valign="top">(&nbsp;</td>
1328           <td class="md" nowrap valign="top">val&nbsp;</td>
1329           <td class="mdname1" valign="top" nowrap>&nbsp;          </td>
1330           <td class="md" valign="top">)&nbsp;</td>
1331           <td class="md" nowrap>&nbsp;&nbsp;&nbsp;((val) = 0)
1332       </table>
1333     </td>
1334   </tr>
1335 </table>
1336 <table cellspacing=5 cellpadding=0 border=0>
1337   <tr>
1338     <td>
1339       &nbsp;
1340     </td>
1341     <td>
1342
1343 <p>
1344
1345 <p>
1346 Definition at line <a class="el" href="arithmetique_8h-source.html#l00318">318</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.
1347 <p>
1348 Referenced by <a class="el" href="Lattice_8c-source.html#l00912">AddLattice</a>(), <a class="el" href="Lattice_8c-source.html#l01527">AffinePartSimplify</a>(), <a class="el" href="Lattice_8c-source.html#l00204">AffineSmith</a>(), <a class="el" href="vector_8c-source.html#l00044">Binomial</a>(), <a class="el" href="polyhedron_8c-source.html#l02147">BuildSat</a>(), <a class="el" href="Zpolyhedron_8c-source.html#l00741">CanonicalForm</a>(), <a class="el" href="verif__ehrhart_8c-source.html#l00061">check_poly</a>(), <a class="el" href="polyhedron_8c-source.html#l00340">Chernikova</a>(), <a class="el" href="vector_8c-source.html#l00072">CNP</a>(), <a class="el" href="NormalForms_8c-source.html#l00133">colonne</a>(), <a class="el" href="polyhedron_8c-source.html#l00197">Combine</a>(), <a class="el" href="NormalForms_8c-source.html#l00571">ConvertPolMattoDarMat</a>(), <a class="el" href="polyhedron_8c-source.html#l03951">DomainCost</a>(), <a class="el" href="NormalForms_8c-source.html#l00076">echange_c</a>(), <a class="el" href="NormalForms_8c-source.html#l00050">echange_l</a>(), <a class="el" href="polyparam_8c-source.html#l00848">Elim_Columns</a>(), <a class="el" href="NormalForms_8c-source.html#l00320">encore</a>(), <a class="el" href="Matop_8c-source.html#l00064">ExchangeColumns</a>(), <a class="el" href="Matop_8c-source.html#l00041">ExchangeRows</a>(), <a class="el" href="alpha_8c-source.html#l00032">exist_points</a>(), <a class="el" href="vector_8c-source.html#l00026">Factorial</a>(), <a class="el" href="Lattice_8c-source.html#l00975">FindHermiteBasisofDomain</a>(), <a class="el" href="polyhedron_8c-source.html#l02753">FindSimple</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="vector_8c-source.html#l00099">Gcd</a>(), <a class="el" href="NormalForms_8c-source.html#l00695">Hermite</a>(), <a class="el" href="matrix_8c-source.html#l00192">hermite</a>(), <a class="el" href="vector_8c-source.html#l00362">Inner_Product</a>(), <a class="el" href="Matop_8c-source.html#l00140">isinHnf</a>(), <a class="el" href="Matop_8c-source.html#l00117">isIntegral</a>(), <a class="el" href="Lattice_8c-source.html#l00658">Lattice2LatticeUnion</a>(), <a class="el" href="Lattice_8c-source.html#l01143">LatticePreimage</a>(), <a class="el" href="Matop_8c-source.html#l00007">Lcm</a>(), <a class="el" href="matrix_8c-source.html#l00471">left_hermite</a>(), <a class="el" href="NormalForms_8c-source.html#l00104">ligne</a>(), <a class="el" href="polyhedron_8c-source.html#l03625">lower_upper_bounds</a>(), <a class="el" href="testehrhart_8c-source.html#l00098">main</a>(), <a class="el" href="matrix_8c-source.html#l00556">MatInverse</a>(), <a class="el" href="matrix_8c-source.html#l00028">Matrix_Alloc</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="matrix_8c-source.html#l00753">Matrix_Vector_Product</a>(), <a class="el" href="NormalForms_8c-source.html#l00216">petit_c</a>(), <a class="el" href="NormalForms_8c-source.html#l00164">petit_l</a>(), <a class="el" href="polyparam_8c-source.html#l00654">Poly2Sat</a>(), <a class="el" href="polyhedron_8c-source.html#l01675">Polyhedron_Alloc</a>(), <a class="el" href="polyhedron_8c-source.html#l03838">Polyhedron_Image</a>(), <a class="el" href="alpha_8c-source.html#l00087">Polyhedron_Not_Empty</a>(), <a class="el" href="polyhedron_8c-source.html#l03733">Polyhedron_Preimage</a>(), <a class="el" href="polyhedron_8c-source.html#l02278">PolyhedronIncludes</a>(), <a class="el" href="polyparam_8c-source.html#l01402">Print_Vertex</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>(), <a class="el" href="Matop_8c-source.html#l00170">PutRowLast</a>(), <a class="el" href="matrix_8c-source.html#l00684">rat_prodmat</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="Lattice_8c-source.html#l01284">Simplify</a>(), <a class="el" href="NormalForms_8c-source.html#l00619">Smith</a>(), <a class="el" href="NormalForms_8c-source.html#l00374">smith</a>(), <a class="el" href="SolveDio_8c-source.html#l00064">SolveDiophantine</a>(), <a class="el" href="polyparam_8c-source.html#l00127">TestRank</a>(), <a class="el" href="NormalForms_8c-source.html#l00288">transpose</a>(), <a class="el" href="vector_8c-source.html#l00137">Vector_Alloc</a>(), <a class="el" href="vector_8c-source.html#l00422">Vector_Combine</a>(), <a class="el" href="vector_8c-source.html#l00513">Vector_Gcd</a>(), <a class="el" href="matrix_8c-source.html#l00791">Vector_Matrix_Product</a>(), <a class="el" href="vector_8c-source.html#l00475">Vector_Min_Not_Zero</a>(), <a class="el" href="vector_8c-source.html#l00582">Vector_Normalize</a>(), <a class="el" href="vector_8c-source.html#l00610">Vector_Normalize_Positive</a>(), and <a class="el" href="vector_8c-source.html#l00646">Vector_Sort</a>().    </td>
1349   </tr>
1350 </table>
1351 <a name="a27" doxytag="arithmetique.h::value_le"></a><p>
1352 <table width="100%" cellpadding="2" cellspacing="0" border="0">
1353   <tr>
1354     <td class="md">
1355       <table cellpadding="0" cellspacing="0" border="0">
1356         <tr>
1357           <td class="md" nowrap valign="top"> #define value_le</td>
1358           <td class="md" valign="top">(&nbsp;</td>
1359           <td class="md" nowrap valign="top">v1,         <tr>
1360           <td></td>
1361           <td></td>
1362           <td class="md" nowrap>v2&nbsp;</td>
1363           <td class="mdname1" valign="top" nowrap>&nbsp;          </td>
1364           <td class="md" valign="top">)&nbsp;</td>
1365           <td class="md" nowrap>&nbsp;&nbsp;&nbsp;((v1)&lt;=(v2))
1366       </table>
1367     </td>
1368   </tr>
1369 </table>
1370 <table cellspacing=5 cellpadding=0 border=0>
1371   <tr>
1372     <td>
1373       &nbsp;
1374     </td>
1375     <td>
1376
1377 <p>
1378
1379 <p>
1380 Definition at line <a class="el" href="arithmetique_8h-source.html#l00342">342</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.
1381 <p>
1382 Referenced by <a class="el" href="verif__ehrhart_8c-source.html#l00061">check_poly</a>(), and <a class="el" href="alpha_8c-source.html#l00032">exist_points</a>().    </td>
1383   </tr>
1384 </table>
1385 <a name="a41" doxytag="arithmetique.h::value_lshift"></a><p>
1386 <table width="100%" cellpadding="2" cellspacing="0" border="0">
1387   <tr>
1388     <td class="md">
1389       <table cellpadding="0" cellspacing="0" border="0">
1390         <tr>
1391           <td class="md" nowrap valign="top"> #define value_lshift</td>
1392           <td class="md" valign="top">(&nbsp;</td>
1393           <td class="md" nowrap valign="top">v1,         <tr>
1394           <td></td>
1395           <td></td>
1396           <td class="md" nowrap>v2&nbsp;</td>
1397           <td class="mdname1" valign="top" nowrap>&nbsp;          </td>
1398           <td class="md" valign="top">)&nbsp;</td>
1399           <td class="md" nowrap>&nbsp;&nbsp;&nbsp;((v1)&lt;&lt;(v2))
1400       </table>
1401     </td>
1402   </tr>
1403 </table>
1404 <table cellspacing=5 cellpadding=0 border=0>
1405   <tr>
1406     <td>
1407       &nbsp;
1408     </td>
1409     <td>
1410
1411 <p>
1412
1413 <p>
1414 Definition at line <a class="el" href="arithmetique_8h-source.html#l00362">362</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.    </td>
1415   </tr>
1416 </table>
1417 <a name="a26" doxytag="arithmetique.h::value_lt"></a><p>
1418 <table width="100%" cellpadding="2" cellspacing="0" border="0">
1419   <tr>
1420     <td class="md">
1421       <table cellpadding="0" cellspacing="0" border="0">
1422         <tr>
1423           <td class="md" nowrap valign="top"> #define value_lt</td>
1424           <td class="md" valign="top">(&nbsp;</td>
1425           <td class="md" nowrap valign="top">v1,         <tr>
1426           <td></td>
1427           <td></td>
1428           <td class="md" nowrap>v2&nbsp;</td>
1429           <td class="mdname1" valign="top" nowrap>&nbsp;          </td>
1430           <td class="md" valign="top">)&nbsp;</td>
1431           <td class="md" nowrap>&nbsp;&nbsp;&nbsp;((v1)&lt;(v2))
1432       </table>
1433     </td>
1434   </tr>
1435 </table>
1436 <table cellspacing=5 cellpadding=0 border=0>
1437   <tr>
1438     <td>
1439       &nbsp;
1440     </td>
1441     <td>
1442
1443 <p>
1444
1445 <p>
1446 Definition at line <a class="el" href="arithmetique_8h-source.html#l00341">341</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.
1447 <p>
1448 Referenced by <a class="el" href="Lattice_8c-source.html#l01462">AffinePartCompare</a>(), <a class="el" href="polyhedron_8c-source.html#l03951">DomainCost</a>(), <a class="el" href="alpha_8c-source.html#l00032">exist_points</a>(), <a class="el" href="matrix_8c-source.html#l00192">hermite</a>(), <a class="el" href="Lattice_8c-source.html#l01407">LinearPartCompare</a>(), <a class="el" href="polyhedron_8c-source.html#l03625">lower_upper_bounds</a>(), <a class="el" href="polyhedron_8c-source.html#l00824">Remove_Redundants</a>(), <a class="el" href="Lattice_8c-source.html#l01284">Simplify</a>(), <a class="el" href="vector_8c-source.html#l00475">Vector_Min_Not_Zero</a>(), and <a class="el" href="vector_8c-source.html#l00646">Vector_Sort</a>().    </td>
1449   </tr>
1450 </table>
1451 <a name="a38" doxytag="arithmetique.h::value_max"></a><p>
1452 <table width="100%" cellpadding="2" cellspacing="0" border="0">
1453   <tr>
1454     <td class="md">
1455       <table cellpadding="0" cellspacing="0" border="0">
1456         <tr>
1457           <td class="md" nowrap valign="top"> #define value_max</td>
1458           <td class="md" valign="top">(&nbsp;</td>
1459           <td class="md" nowrap valign="top">v1,         <tr>
1460           <td></td>
1461           <td></td>
1462           <td class="md" nowrap>v2&nbsp;</td>
1463           <td class="mdname1" valign="top" nowrap>&nbsp;          </td>
1464           <td class="md" valign="top">)&nbsp;</td>
1465           <td class="md" nowrap>&nbsp;&nbsp;&nbsp;(value_ge((v1),(v2))? (v1): (v2))
1466       </table>
1467     </td>
1468   </tr>
1469 </table>
1470 <table cellspacing=5 cellpadding=0 border=0>
1471   <tr>
1472     <td>
1473       &nbsp;
1474     </td>
1475     <td>
1476
1477 <p>
1478
1479 <p>
1480 Definition at line <a class="el" href="arithmetique_8h-source.html#l00359">359</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.    </td>
1481   </tr>
1482 </table>
1483 <a name="a74" doxytag="arithmetique.h::value_max_p"></a><p>
1484 <table width="100%" cellpadding="2" cellspacing="0" border="0">
1485   <tr>
1486     <td class="md">
1487       <table cellpadding="0" cellspacing="0" border="0">
1488         <tr>
1489           <td class="md" nowrap valign="top"> #define value_max_p</td>
1490           <td class="md" valign="top">(&nbsp;</td>
1491           <td class="md" nowrap valign="top">val&nbsp;</td>
1492           <td class="mdname1" valign="top" nowrap>&nbsp;          </td>
1493           <td class="md" valign="top">)&nbsp;</td>
1494           <td class="md" nowrap>&nbsp;&nbsp;&nbsp;value_eq(val,VALUE_MAX)
1495       </table>
1496     </td>
1497   </tr>
1498 </table>
1499 <table cellspacing=5 cellpadding=0 border=0>
1500   <tr>
1501     <td>
1502       &nbsp;
1503     </td>
1504     <td>
1505
1506 <p>
1507
1508 <p>
1509 Definition at line <a class="el" href="arithmetique_8h-source.html#l00408">408</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.    </td>
1510   </tr>
1511 </table>
1512 <a name="a57" doxytag="arithmetique.h::value_maximum"></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"> #define value_maximum</td>
1519           <td class="md" valign="top">(&nbsp;</td>
1520           <td class="md" nowrap valign="top">ref,         <tr>
1521           <td></td>
1522           <td></td>
1523           <td class="md" nowrap>val1,         <tr>
1524           <td></td>
1525           <td></td>
1526           <td class="md" nowrap>val2&nbsp;</td>
1527           <td class="mdname1" valign="top" nowrap>&nbsp;          </td>
1528           <td class="md" valign="top">)&nbsp;</td>
1529           <td class="md" nowrap>&nbsp;&nbsp;&nbsp;((ref) = value_max((val1),(val2)))
1530       </table>
1531     </td>
1532   </tr>
1533 </table>
1534 <table cellspacing=5 cellpadding=0 border=0>
1535   <tr>
1536     <td>
1537       &nbsp;
1538     </td>
1539     <td>
1540
1541 <p>
1542
1543 <p>
1544 Definition at line <a class="el" href="arithmetique_8h-source.html#l00381">381</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.
1545 <p>
1546 Referenced by <a class="el" href="vector_8c-source.html#l00385">Vector_Max</a>().    </td>
1547   </tr>
1548 </table>
1549 <a name="a37" doxytag="arithmetique.h::value_min"></a><p>
1550 <table width="100%" cellpadding="2" cellspacing="0" border="0">
1551   <tr>
1552     <td class="md">
1553       <table cellpadding="0" cellspacing="0" border="0">
1554         <tr>
1555           <td class="md" nowrap valign="top"> #define value_min</td>
1556           <td class="md" valign="top">(&nbsp;</td>
1557           <td class="md" nowrap valign="top">v1,         <tr>
1558           <td></td>
1559           <td></td>
1560           <td class="md" nowrap>v2&nbsp;</td>
1561           <td class="mdname1" valign="top" nowrap>&nbsp;          </td>
1562           <td class="md" valign="top">)&nbsp;</td>
1563           <td class="md" nowrap>&nbsp;&nbsp;&nbsp;(value_le((v1),(v2))? (v1): (v2))
1564       </table>
1565     </td>
1566   </tr>
1567 </table>
1568 <table cellspacing=5 cellpadding=0 border=0>
1569   <tr>
1570     <td>
1571       &nbsp;
1572     </td>
1573     <td>
1574
1575 <p>
1576
1577 <p>
1578 Definition at line <a class="el" href="arithmetique_8h-source.html#l00358">358</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.    </td>
1579   </tr>
1580 </table>
1581 <a name="a73" doxytag="arithmetique.h::value_min_p"></a><p>
1582 <table width="100%" cellpadding="2" cellspacing="0" border="0">
1583   <tr>
1584     <td class="md">
1585       <table cellpadding="0" cellspacing="0" border="0">
1586         <tr>
1587           <td class="md" nowrap valign="top"> #define value_min_p</td>
1588           <td class="md" valign="top">(&nbsp;</td>
1589           <td class="md" nowrap valign="top">val&nbsp;</td>
1590           <td class="mdname1" valign="top" nowrap>&nbsp;          </td>
1591           <td class="md" valign="top">)&nbsp;</td>
1592           <td class="md" nowrap>&nbsp;&nbsp;&nbsp;value_eq(val,VALUE_MIN)
1593       </table>
1594     </td>
1595   </tr>
1596 </table>
1597 <table cellspacing=5 cellpadding=0 border=0>
1598   <tr>
1599     <td>
1600       &nbsp;
1601     </td>
1602     <td>
1603
1604 <p>
1605
1606 <p>
1607 Definition at line <a class="el" href="arithmetique_8h-source.html#l00407">407</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.    </td>
1608   </tr>
1609 </table>
1610 <a name="a56" doxytag="arithmetique.h::value_minimum"></a><p>
1611 <table width="100%" cellpadding="2" cellspacing="0" border="0">
1612   <tr>
1613     <td class="md">
1614       <table cellpadding="0" cellspacing="0" border="0">
1615         <tr>
1616           <td class="md" nowrap valign="top"> #define value_minimum</td>
1617           <td class="md" valign="top">(&nbsp;</td>
1618           <td class="md" nowrap valign="top">ref,         <tr>
1619           <td></td>
1620           <td></td>
1621           <td class="md" nowrap>val1,         <tr>
1622           <td></td>
1623           <td></td>
1624           <td class="md" nowrap>val2&nbsp;</td>
1625           <td class="mdname1" valign="top" nowrap>&nbsp;          </td>
1626           <td class="md" valign="top">)&nbsp;</td>
1627           <td class="md" nowrap>&nbsp;&nbsp;&nbsp;((ref) = value_min((val1),(val2)))
1628       </table>
1629     </td>
1630   </tr>
1631 </table>
1632 <table cellspacing=5 cellpadding=0 border=0>
1633   <tr>
1634     <td>
1635       &nbsp;
1636     </td>
1637     <td>
1638
1639 <p>
1640
1641 <p>
1642 Definition at line <a class="el" href="arithmetique_8h-source.html#l00380">380</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.
1643 <p>
1644 Referenced by <a class="el" href="vector_8c-source.html#l00402">Vector_Min</a>().    </td>
1645   </tr>
1646 </table>
1647 <a name="a34" doxytag="arithmetique.h::value_minus"></a><p>
1648 <table width="100%" cellpadding="2" cellspacing="0" border="0">
1649   <tr>
1650     <td class="md">
1651       <table cellpadding="0" cellspacing="0" border="0">
1652         <tr>
1653           <td class="md" nowrap valign="top"> #define value_minus</td>
1654           <td class="md" valign="top">(&nbsp;</td>
1655           <td class="md" nowrap valign="top">v1,         <tr>
1656           <td></td>
1657           <td></td>
1658           <td class="md" nowrap>v2&nbsp;</td>
1659           <td class="mdname1" valign="top" nowrap>&nbsp;          </td>
1660           <td class="md" valign="top">)&nbsp;</td>
1661           <td class="md" nowrap>&nbsp;&nbsp;&nbsp;((v1)-(v2))
1662       </table>
1663     </td>
1664   </tr>
1665 </table>
1666 <table cellspacing=5 cellpadding=0 border=0>
1667   <tr>
1668     <td>
1669       &nbsp;
1670     </td>
1671     <td>
1672
1673 <p>
1674
1675 <p>
1676 Definition at line <a class="el" href="arithmetique_8h-source.html#l00355">355</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.    </td>
1677   </tr>
1678 </table>
1679 <a name="a32" doxytag="arithmetique.h::value_mod"></a><p>
1680 <table width="100%" cellpadding="2" cellspacing="0" border="0">
1681   <tr>
1682     <td class="md">
1683       <table cellpadding="0" cellspacing="0" border="0">
1684         <tr>
1685           <td class="md" nowrap valign="top"> #define value_mod</td>
1686           <td class="md" valign="top">(&nbsp;</td>
1687           <td class="md" nowrap valign="top">v1,         <tr>
1688           <td></td>
1689           <td></td>
1690           <td class="md" nowrap>v2&nbsp;</td>
1691           <td class="mdname1" valign="top" nowrap>&nbsp;          </td>
1692           <td class="md" valign="top">)&nbsp;</td>
1693           <td class="md" nowrap>&nbsp;&nbsp;&nbsp;((v1)%(v2))
1694       </table>
1695     </td>
1696   </tr>
1697 </table>
1698 <table cellspacing=5 cellpadding=0 border=0>
1699   <tr>
1700     <td>
1701       &nbsp;
1702     </td>
1703     <td>
1704
1705 <p>
1706
1707 <p>
1708 Definition at line <a class="el" href="arithmetique_8h-source.html#l00353">353</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.    </td>
1709   </tr>
1710 </table>
1711 <a name="a52" doxytag="arithmetique.h::value_modulus"></a><p>
1712 <table width="100%" cellpadding="2" cellspacing="0" border="0">
1713   <tr>
1714     <td class="md">
1715       <table cellpadding="0" cellspacing="0" border="0">
1716         <tr>
1717           <td class="md" nowrap valign="top"> #define value_modulus</td>
1718           <td class="md" valign="top">(&nbsp;</td>
1719           <td class="md" nowrap valign="top">ref,         <tr>
1720           <td></td>
1721           <td></td>
1722           <td class="md" nowrap>val1,         <tr>
1723           <td></td>
1724           <td></td>
1725           <td class="md" nowrap>val2&nbsp;</td>
1726           <td class="mdname1" valign="top" nowrap>&nbsp;          </td>
1727           <td class="md" valign="top">)&nbsp;</td>
1728           <td class="md" nowrap>&nbsp;&nbsp;&nbsp;((ref) = (val1)%(val2))
1729       </table>
1730     </td>
1731   </tr>
1732 </table>
1733 <table cellspacing=5 cellpadding=0 border=0>
1734   <tr>
1735     <td>
1736       &nbsp;
1737     </td>
1738     <td>
1739
1740 <p>
1741
1742 <p>
1743 Definition at line <a class="el" href="arithmetique_8h-source.html#l00376">376</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.
1744 <p>
1745 Referenced by <a class="el" href="Lattice_8c-source.html#l00204">AffineSmith</a>(), <a class="el" href="NormalForms_8c-source.html#l00320">encore</a>(), <a class="el" href="vector_8c-source.html#l00099">Gcd</a>(), <a class="el" href="matrix_8c-source.html#l00192">hermite</a>(), <a class="el" href="Matop_8c-source.html#l00117">isIntegral</a>(), <a class="el" href="polyhedron_8c-source.html#l03625">lower_upper_bounds</a>(), <a class="el" href="NormalForms_8c-source.html#l00374">smith</a>(), <a class="el" href="SolveDio_8c-source.html#l00064">SolveDiophantine</a>(), and <a class="el" href="vector_8c-source.html#l00513">Vector_Gcd</a>().    </td>
1746   </tr>
1747 </table>
1748 <a name="a71" doxytag="arithmetique.h::value_mone_p"></a><p>
1749 <table width="100%" cellpadding="2" cellspacing="0" border="0">
1750   <tr>
1751     <td class="md">
1752       <table cellpadding="0" cellspacing="0" border="0">
1753         <tr>
1754           <td class="md" nowrap valign="top"> #define value_mone_p</td>
1755           <td class="md" valign="top">(&nbsp;</td>
1756           <td class="md" nowrap valign="top">val&nbsp;</td>
1757           <td class="mdname1" valign="top" nowrap>&nbsp;          </td>
1758           <td class="md" valign="top">)&nbsp;</td>
1759           <td class="md" nowrap>&nbsp;&nbsp;&nbsp;value_eq(val,VALUE_MONE)
1760       </table>
1761     </td>
1762   </tr>
1763 </table>
1764 <table cellspacing=5 cellpadding=0 border=0>
1765   <tr>
1766     <td>
1767       &nbsp;
1768     </td>
1769     <td>
1770
1771 <p>
1772
1773 <p>
1774 Definition at line <a class="el" href="arithmetique_8h-source.html#l00405">405</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.
1775 <p>
1776 Referenced by <a class="el" href="polyparam_8c-source.html#l01505">Print_Domain</a>(), and <a class="el" href="polyparam_8c-source.html#l01402">Print_Vertex</a>().    </td>
1777   </tr>
1778 </table>
1779 <a name="a81" doxytag="arithmetique.h::value_mult"></a><p>
1780 <table width="100%" cellpadding="2" cellspacing="0" border="0">
1781   <tr>
1782     <td class="md">
1783       <table cellpadding="0" cellspacing="0" border="0">
1784         <tr>
1785           <td class="md" nowrap valign="top"> #define value_mult</td>
1786           <td class="md" valign="top">(&nbsp;</td>
1787           <td class="md" nowrap valign="top">v,         <tr>
1788           <td></td>
1789           <td></td>
1790           <td class="md" nowrap>w&nbsp;</td>
1791           <td class="mdname1" valign="top" nowrap>&nbsp;          </td>
1792           <td class="md" valign="top">)&nbsp;</td>
1793           <td class="md" nowrap>
1794       </table>
1795     </td>
1796   </tr>
1797 </table>
1798 <table cellspacing=5 cellpadding=0 border=0>
1799   <tr>
1800     <td>
1801       &nbsp;
1802     </td>
1803     <td>
1804
1805 <p>
1806 <b>Value:</b><div class="fragment"><pre><a class="code" href="arithmetique_8h.html#a78">value_protected_multiply</a>(v,w,                                                 \
1807     (fprintf(stderr,<font class="stringliteral">"[value_mult] value overflow!\n"</font>),<a class="code" href="arithmetic__errors_8h.html#a3">THROW</a>(overflow_error)))</pre></div>
1808 <p>
1809 Definition at line <a class="el" href="arithmetique_8h-source.html#l00458">458</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.    </td>
1810   </tr>
1811 </table>
1812 <a name="a47" doxytag="arithmetique.h::value_multiply"></a><p>
1813 <table width="100%" cellpadding="2" cellspacing="0" border="0">
1814   <tr>
1815     <td class="md">
1816       <table cellpadding="0" cellspacing="0" border="0">
1817         <tr>
1818           <td class="md" nowrap valign="top"> #define value_multiply</td>
1819           <td class="md" valign="top">(&nbsp;</td>
1820           <td class="md" nowrap valign="top">ref,         <tr>
1821           <td></td>
1822           <td></td>
1823           <td class="md" nowrap>val1,         <tr>
1824           <td></td>
1825           <td></td>
1826           <td class="md" nowrap>val2&nbsp;</td>
1827           <td class="mdname1" valign="top" nowrap>&nbsp;          </td>
1828           <td class="md" valign="top">)&nbsp;</td>
1829           <td class="md" nowrap>&nbsp;&nbsp;&nbsp;((ref) = value_mult((val1),(val2)))
1830       </table>
1831     </td>
1832   </tr>
1833 </table>
1834 <table cellspacing=5 cellpadding=0 border=0>
1835   <tr>
1836     <td>
1837       &nbsp;
1838     </td>
1839     <td>
1840
1841 <p>
1842
1843 <p>
1844 Definition at line <a class="el" href="arithmetique_8h-source.html#l00371">371</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.
1845 <p>
1846 Referenced by <a class="el" href="Lattice_8c-source.html#l00912">AddLattice</a>(), <a class="el" href="Lattice_8c-source.html#l00204">AffineSmith</a>(), <a class="el" href="vector_8c-source.html#l00044">Binomial</a>(), <a class="el" href="polyhedron_8c-source.html#l02147">BuildSat</a>(), <a class="el" href="polyhedron_8c-source.html#l00340">Chernikova</a>(), <a class="el" href="vector_8c-source.html#l00072">CNP</a>(), <a class="el" href="NormalForms_8c-source.html#l00133">colonne</a>(), <a class="el" href="polyhedron_8c-source.html#l03951">DomainCost</a>(), <a class="el" href="polyparam_8c-source.html#l00848">Elim_Columns</a>(), <a class="el" href="vector_8c-source.html#l00026">Factorial</a>(), <a class="el" href="Lattice_8c-source.html#l00975">FindHermiteBasisofDomain</a>(), <a class="el" href="polyhedron_8c-source.html#l02753">FindSimple</a>(), <a class="el" href="polyhedron_8c-source.html#l00699">Gauss</a>(), <a class="el" href="matrix_8c-source.html#l00192">hermite</a>(), <a class="el" href="vector_8c-source.html#l00362">Inner_Product</a>(), <a class="el" href="Lattice_8c-source.html#l01143">LatticePreimage</a>(), <a class="el" href="Matop_8c-source.html#l00007">Lcm</a>(), <a class="el" href="NormalForms_8c-source.html#l00104">ligne</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="matrix_8c-source.html#l00825">Matrix_Product</a>(), <a class="el" href="matrix_8c-source.html#l00753">Matrix_Vector_Product</a>(), <a class="el" href="polyparam_8c-source.html#l00654">Poly2Sat</a>(), <a class="el" href="polyhedron_8c-source.html#l03838">Polyhedron_Image</a>(), <a class="el" href="polyhedron_8c-source.html#l03733">Polyhedron_Preimage</a>(), <a class="el" href="polyhedron_8c-source.html#l02278">PolyhedronIncludes</a>(), <a class="el" href="matrix_8c-source.html#l00684">rat_prodmat</a>(), <a class="el" href="SolveDio_8c-source.html#l00064">SolveDiophantine</a>(), <a class="el" href="polyparam_8c-source.html#l00127">TestRank</a>(), <a class="el" href="vector_8c-source.html#l00422">Vector_Combine</a>(), <a class="el" href="matrix_8c-source.html#l00791">Vector_Matrix_Product</a>(), and <a class="el" href="vector_8c-source.html#l00326">Vector_Scale</a>().    </td>
1847   </tr>
1848 </table>
1849 <a name="a23" doxytag="arithmetique.h::value_ne"></a><p>
1850 <table width="100%" cellpadding="2" cellspacing="0" border="0">
1851   <tr>
1852     <td class="md">
1853       <table cellpadding="0" cellspacing="0" border="0">
1854         <tr>
1855           <td class="md" nowrap valign="top"> #define value_ne</td>
1856           <td class="md" valign="top">(&nbsp;</td>
1857           <td class="md" nowrap valign="top">v1,         <tr>
1858           <td></td>
1859           <td></td>
1860           <td class="md" nowrap>v2&nbsp;</td>
1861           <td class="mdname1" valign="top" nowrap>&nbsp;          </td>
1862           <td class="md" valign="top">)&nbsp;</td>
1863           <td class="md" nowrap>&nbsp;&nbsp;&nbsp;((v1)!=(v2))
1864       </table>
1865     </td>
1866   </tr>
1867 </table>
1868 <table cellspacing=5 cellpadding=0 border=0>
1869   <tr>
1870     <td>
1871       &nbsp;
1872     </td>
1873     <td>
1874
1875 <p>
1876
1877 <p>
1878 Definition at line <a class="el" href="arithmetique_8h-source.html#l00338">338</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.
1879 <p>
1880 Referenced by <a class="el" href="Lattice_8c-source.html#l01508">AlmostSameAffinePart</a>(), <a class="el" href="verif__ehrhart_8c-source.html#l00061">check_poly</a>(), <a class="el" href="polyhedron_8c-source.html#l03951">DomainCost</a>(), <a class="el" href="polyhedron_8c-source.html#l00824">Remove_Redundants</a>(), <a class="el" href="Lattice_8c-source.html#l00057">sameAffinepart</a>(), <a class="el" href="Lattice_8c-source.html#l00355">sameLattice</a>(), <a class="el" href="Lattice_8c-source.html#l01598">SameLinearPart</a>(), <a class="el" href="SolveDio_8c-source.html#l00064">SolveDiophantine</a>(), and <a class="el" href="vector_8c-source.html#l00453">Vector_Equal</a>().    </td>
1881   </tr>
1882 </table>
1883 <a name="a64" doxytag="arithmetique.h::value_neg_p"></a><p>
1884 <table width="100%" cellpadding="2" cellspacing="0" border="0">
1885   <tr>
1886     <td class="md">
1887       <table cellpadding="0" cellspacing="0" border="0">
1888         <tr>
1889           <td class="md" nowrap valign="top"> #define value_neg_p</td>
1890           <td class="md" valign="top">(&nbsp;</td>
1891           <td class="md" nowrap valign="top">val&nbsp;</td>
1892           <td class="mdname1" valign="top" nowrap>&nbsp;          </td>
1893           <td class="md" valign="top">)&nbsp;</td>
1894           <td class="md" nowrap>&nbsp;&nbsp;&nbsp;value_lt(val,VALUE_ZERO)
1895       </table>
1896     </td>
1897   </tr>
1898 </table>
1899 <table cellspacing=5 cellpadding=0 border=0>
1900   <tr>
1901     <td>
1902       &nbsp;
1903     </td>
1904     <td>
1905
1906 <p>
1907
1908 <p>
1909 Definition at line <a class="el" href="arithmetique_8h-source.html#l00398">398</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.
1910 <p>
1911 Referenced by <a class="el" href="Lattice_8c-source.html#l00204">AffineSmith</a>(), <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#l03625">lower_upper_bounds</a>(), <a class="el" href="matrix_8c-source.html#l00873">Matrix_Inverse</a>(), <a class="el" href="polyhedron_8c-source.html#l02278">PolyhedronIncludes</a>(), <a class="el" href="alpha_8c-source.html#l00122">PolyhedronLTQ</a>(), <a class="el" href="polyhedron_8c-source.html#l00284">RaySort</a>(), <a class="el" href="NormalForms_8c-source.html#l00374">smith</a>(), and <a class="el" href="vector_8c-source.html#l00610">Vector_Normalize_Positive</a>().    </td>
1912   </tr>
1913 </table>
1914 <a name="a66" doxytag="arithmetique.h::value_negz_p"></a><p>
1915 <table width="100%" cellpadding="2" cellspacing="0" border="0">
1916   <tr>
1917     <td class="md">
1918       <table cellpadding="0" cellspacing="0" border="0">
1919         <tr>
1920           <td class="md" nowrap valign="top"> #define value_negz_p</td>
1921           <td class="md" valign="top">(&nbsp;</td>
1922           <td class="md" nowrap valign="top">val&nbsp;</td>
1923           <td class="mdname1" valign="top" nowrap>&nbsp;          </td>
1924           <td class="md" valign="top">)&nbsp;</td>
1925           <td class="md" nowrap>&nbsp;&nbsp;&nbsp;value_le(val,VALUE_ZERO)
1926       </table>
1927     </td>
1928   </tr>
1929 </table>
1930 <table cellspacing=5 cellpadding=0 border=0>
1931   <tr>
1932     <td>
1933       &nbsp;
1934     </td>
1935     <td>
1936
1937 <p>
1938
1939 <p>
1940 Definition at line <a class="el" href="arithmetique_8h-source.html#l00400">400</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.    </td>
1941   </tr>
1942 </table>
1943 <a name="a61" doxytag="arithmetique.h::value_not"></a><p>
1944 <table width="100%" cellpadding="2" cellspacing="0" border="0">
1945   <tr>
1946     <td class="md">
1947       <table cellpadding="0" cellspacing="0" border="0">
1948         <tr>
1949           <td class="md" nowrap valign="top"> #define value_not</td>
1950           <td class="md" valign="top">(&nbsp;</td>
1951           <td class="md" nowrap valign="top">val&nbsp;</td>
1952           <td class="mdname1" valign="top" nowrap>&nbsp;          </td>
1953           <td class="md" valign="top">)&nbsp;</td>
1954           <td class="md" nowrap>&nbsp;&nbsp;&nbsp;(~(val))
1955       </table>
1956     </td>
1957   </tr>
1958 </table>
1959 <table cellspacing=5 cellpadding=0 border=0>
1960   <tr>
1961     <td>
1962       &nbsp;
1963     </td>
1964     <td>
1965
1966 <p>
1967
1968 <p>
1969 Definition at line <a class="el" href="arithmetique_8h-source.html#l00388">388</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.    </td>
1970   </tr>
1971 </table>
1972 <a name="a76" doxytag="arithmetique.h::value_notmax_p"></a><p>
1973 <table width="100%" cellpadding="2" cellspacing="0" border="0">
1974   <tr>
1975     <td class="md">
1976       <table cellpadding="0" cellspacing="0" border="0">
1977         <tr>
1978           <td class="md" nowrap valign="top"> #define value_notmax_p</td>
1979           <td class="md" valign="top">(&nbsp;</td>
1980           <td class="md" nowrap valign="top">val&nbsp;</td>
1981           <td class="mdname1" valign="top" nowrap>&nbsp;          </td>
1982           <td class="md" valign="top">)&nbsp;</td>
1983           <td class="md" nowrap>&nbsp;&nbsp;&nbsp;value_ne(val,VALUE_MAX)
1984       </table>
1985     </td>
1986   </tr>
1987 </table>
1988 <table cellspacing=5 cellpadding=0 border=0>
1989   <tr>
1990     <td>
1991       &nbsp;
1992     </td>
1993     <td>
1994
1995 <p>
1996
1997 <p>
1998 Definition at line <a class="el" href="arithmetique_8h-source.html#l00410">410</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.    </td>
1999   </tr>
2000 </table>
2001 <a name="a75" doxytag="arithmetique.h::value_notmin_p"></a><p>
2002 <table width="100%" cellpadding="2" cellspacing="0" border="0">
2003   <tr>
2004     <td class="md">
2005       <table cellpadding="0" cellspacing="0" border="0">
2006         <tr>
2007           <td class="md" nowrap valign="top"> #define value_notmin_p</td>
2008           <td class="md" valign="top">(&nbsp;</td>
2009           <td class="md" nowrap valign="top">val&nbsp;</td>
2010           <td class="mdname1" valign="top" nowrap>&nbsp;          </td>
2011           <td class="md" valign="top">)&nbsp;</td>
2012           <td class="md" nowrap>&nbsp;&nbsp;&nbsp;value_ne(val,VALUE_MIN)
2013       </table>
2014     </td>
2015   </tr>
2016 </table>
2017 <table cellspacing=5 cellpadding=0 border=0>
2018   <tr>
2019     <td>
2020       &nbsp;
2021     </td>
2022     <td>
2023
2024 <p>
2025
2026 <p>
2027 Definition at line <a class="el" href="arithmetique_8h-source.html#l00409">409</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.    </td>
2028   </tr>
2029 </table>
2030 <a name="a72" doxytag="arithmetique.h::value_notmone_p"></a><p>
2031 <table width="100%" cellpadding="2" cellspacing="0" border="0">
2032   <tr>
2033     <td class="md">
2034       <table cellpadding="0" cellspacing="0" border="0">
2035         <tr>
2036           <td class="md" nowrap valign="top"> #define value_notmone_p</td>
2037           <td class="md" valign="top">(&nbsp;</td>
2038           <td class="md" nowrap valign="top">val&nbsp;</td>
2039           <td class="mdname1" valign="top" nowrap>&nbsp;          </td>
2040           <td class="md" valign="top">)&nbsp;</td>
2041           <td class="md" nowrap>&nbsp;&nbsp;&nbsp;value_ne(val,VALUE_MONE)
2042       </table>
2043     </td>
2044   </tr>
2045 </table>
2046 <table cellspacing=5 cellpadding=0 border=0>
2047   <tr>
2048     <td>
2049       &nbsp;
2050     </td>
2051     <td>
2052
2053 <p>
2054
2055 <p>
2056 Definition at line <a class="el" href="arithmetique_8h-source.html#l00406">406</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.    </td>
2057   </tr>
2058 </table>
2059 <a name="a70" doxytag="arithmetique.h::value_notone_p"></a><p>
2060 <table width="100%" cellpadding="2" cellspacing="0" border="0">
2061   <tr>
2062     <td class="md">
2063       <table cellpadding="0" cellspacing="0" border="0">
2064         <tr>
2065           <td class="md" nowrap valign="top"> #define value_notone_p</td>
2066           <td class="md" valign="top">(&nbsp;</td>
2067           <td class="md" nowrap valign="top">val&nbsp;</td>
2068           <td class="mdname1" valign="top" nowrap>&nbsp;          </td>
2069           <td class="md" valign="top">)&nbsp;</td>
2070           <td class="md" nowrap>&nbsp;&nbsp;&nbsp;value_ne(val,VALUE_ONE)
2071       </table>
2072     </td>
2073   </tr>
2074 </table>
2075 <table cellspacing=5 cellpadding=0 border=0>
2076   <tr>
2077     <td>
2078       &nbsp;
2079     </td>
2080     <td>
2081
2082 <p>
2083
2084 <p>
2085 Definition at line <a class="el" href="arithmetique_8h-source.html#l00404">404</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.
2086 <p>
2087 Referenced by <a class="el" href="alpha_8c-source.html#l00357">GaussSimplify</a>(), <a class="el" href="polyparam_8c-source.html#l00707">GenParamPolyhedron</a>(), <a class="el" href="Lattice_8c-source.html#l01217">IsLattice</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="vector_8c-source.html#l00513">Vector_Gcd</a>(), and <a class="el" href="vector_8c-source.html#l00610">Vector_Normalize_Positive</a>().    </td>
2088   </tr>
2089 </table>
2090 <a name="a68" doxytag="arithmetique.h::value_notzero_p"></a><p>
2091 <table width="100%" cellpadding="2" cellspacing="0" border="0">
2092   <tr>
2093     <td class="md">
2094       <table cellpadding="0" cellspacing="0" border="0">
2095         <tr>
2096           <td class="md" nowrap valign="top"> #define value_notzero_p</td>
2097           <td class="md" valign="top">(&nbsp;</td>
2098           <td class="md" nowrap valign="top">val&nbsp;</td>
2099           <td class="mdname1" valign="top" nowrap>&nbsp;          </td>
2100           <td class="md" valign="top">)&nbsp;</td>
2101           <td class="md" nowrap>&nbsp;&nbsp;&nbsp;value_ne(val,VALUE_ZERO)
2102       </table>
2103     </td>
2104   </tr>
2105 </table>
2106 <table cellspacing=5 cellpadding=0 border=0>
2107   <tr>
2108     <td>
2109       &nbsp;
2110     </td>
2111     <td>
2112
2113 <p>
2114
2115 <p>
2116 Definition at line <a class="el" href="arithmetique_8h-source.html#l00402">402</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.
2117 <p>
2118 Referenced by <a class="el" href="polyhedron_8c-source.html#l02147">BuildSat</a>(), <a class="el" href="polyhedron_8c-source.html#l00340">Chernikova</a>(), <a class="el" href="polyhedron_8c-source.html#l03447">DomainDifference</a>(), <a class="el" href="polyparam_8c-source.html#l00848">Elim_Columns</a>(), <a class="el" href="NormalForms_8c-source.html#l00320">encore</a>(), <a class="el" href="polyparam_8c-source.html#l00912">Find_m_faces</a>(), <a class="el" href="Matop_8c-source.html#l00353">findHermiteBasis</a>(), <a class="el" href="Lattice_8c-source.html#l00975">FindHermiteBasisofDomain</a>(), <a class="el" href="polyhedron_8c-source.html#l02753">FindSimple</a>(), <a class="el" href="vector_8c-source.html#l00120">First_Non_Zero</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="vector_8c-source.html#l00099">Gcd</a>(), <a class="el" href="matrix_8c-source.html#l00192">hermite</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="Matop_8c-source.html#l00117">isIntegral</a>(), <a class="el" href="Lattice_8c-source.html#l01217">IsLattice</a>(), <a class="el" href="Lattice_8c-source.html#l00128">isLinear</a>(), <a class="el" href="polyhedron_8c-source.html#l03625">lower_upper_bounds</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="NormalForms_8c-source.html#l00216">petit_c</a>(), <a class="el" href="NormalForms_8c-source.html#l00164">petit_l</a>(), <a class="el" href="polyhedron_8c-source.html#l01767">Polyhedron_Print</a>(), <a class="el" href="polyhedron_8c-source.html#l02278">PolyhedronIncludes</a>(), <a class="el" href="polyparam_8c-source.html#l00775">PreElim_Columns</a>(), <a class="el" href="polyparam_8c-source.html#l01505">Print_Domain</a>(), <a class="el" href="polyparam_8c-source.html#l01402">Print_Vertex</a>(), <a class="el" href="SolveDio_8c-source.html#l00233">RearrangeMatforSolveDio</a>(), <a class="el" href="polyhedron_8c-source.html#l00824">Remove_Redundants</a>(), <a class="el" href="polyhedron_8c-source.html#l03056">SimplifyEqualities</a>(), <a class="el" href="NormalForms_8c-source.html#l00374">smith</a>(), <a class="el" href="SolveDio_8c-source.html#l00064">SolveDiophantine</a>(), <a class="el" href="polyhedron_8c-source.html#l02388">SubConstraint</a>(), <a class="el" href="polyparam_8c-source.html#l00127">TestRank</a>(), <a class="el" href="vector_8c-source.html#l00513">Vector_Gcd</a>(), <a class="el" href="vector_8c-source.html#l00475">Vector_Min_Not_Zero</a>(), and <a class="el" href="polyparam_8c-source.html#l01475">VertexCT</a>().    </td>
2119   </tr>
2120 </table>
2121 <a name="a69" doxytag="arithmetique.h::value_one_p"></a><p>
2122 <table width="100%" cellpadding="2" cellspacing="0" border="0">
2123   <tr>
2124     <td class="md">
2125       <table cellpadding="0" cellspacing="0" border="0">
2126         <tr>
2127           <td class="md" nowrap valign="top"> #define value_one_p</td>
2128           <td class="md" valign="top">(&nbsp;</td>
2129           <td class="md" nowrap valign="top">val&nbsp;</td>
2130           <td class="mdname1" valign="top" nowrap>&nbsp;          </td>
2131           <td class="md" valign="top">)&nbsp;</td>
2132           <td class="md" nowrap>&nbsp;&nbsp;&nbsp;value_eq(val,VALUE_ONE)
2133       </table>
2134     </td>
2135   </tr>
2136 </table>
2137 <table cellspacing=5 cellpadding=0 border=0>
2138   <tr>
2139     <td>
2140       &nbsp;
2141     </td>
2142     <td>
2143
2144 <p>
2145
2146 <p>
2147 Definition at line <a class="el" href="arithmetique_8h-source.html#l00403">403</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.
2148 <p>
2149 Referenced by <a class="el" href="alpha_8c-source.html#l00357">GaussSimplify</a>(), <a class="el" href="Lattice_8c-source.html#l00101">isEmptyLattice</a>(), <a class="el" href="Lattice_8c-source.html#l01104">LatticeImage</a>(), <a class="el" href="alpha_8c-source.html#l00122">PolyhedronLTQ</a>(), <a class="el" href="polyparam_8c-source.html#l01505">Print_Domain</a>(), <a class="el" href="matrix_8c-source.html#l00684">rat_prodmat</a>(), and <a class="el" href="polyhedron_8c-source.html#l00824">Remove_Redundants</a>().    </td>
2150   </tr>
2151 </table>
2152 <a name="a54" doxytag="arithmetique.h::value_oppose"></a><p>
2153 <table width="100%" cellpadding="2" cellspacing="0" border="0">
2154   <tr>
2155     <td class="md">
2156       <table cellpadding="0" cellspacing="0" border="0">
2157         <tr>
2158           <td class="md" nowrap valign="top"> #define value_oppose</td>
2159           <td class="md" valign="top">(&nbsp;</td>
2160           <td class="md" nowrap valign="top">ref,         <tr>
2161           <td></td>
2162           <td></td>
2163           <td class="md" nowrap>val&nbsp;</td>
2164           <td class="mdname1" valign="top" nowrap>&nbsp;          </td>
2165           <td class="md" valign="top">)&nbsp;</td>
2166           <td class="md" nowrap>&nbsp;&nbsp;&nbsp;((ref) = value_uminus((val)))
2167       </table>
2168     </td>
2169   </tr>
2170 </table>
2171 <table cellspacing=5 cellpadding=0 border=0>
2172   <tr>
2173     <td>
2174       &nbsp;
2175     </td>
2176     <td>
2177
2178 <p>
2179
2180 <p>
2181 Definition at line <a class="el" href="arithmetique_8h-source.html#l00378">378</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.
2182 <p>
2183 Referenced by <a class="el" href="polyhedron_8c-source.html#l00340">Chernikova</a>(), <a class="el" href="polyhedron_8c-source.html#l00197">Combine</a>(), <a class="el" href="polyhedron_8c-source.html#l03951">DomainCost</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="Lattice_8c-source.html#l01143">LatticePreimage</a>(), <a class="el" href="polyhedron_8c-source.html#l03625">lower_upper_bounds</a>(), <a class="el" href="Lattice_8c-source.html#l00553">MakeDioEqforInter</a>(), <a class="el" href="matrix_8c-source.html#l00873">Matrix_Inverse</a>(), <a class="el" href="NormalForms_8c-source.html#l00031">moins_c</a>(), <a class="el" href="NormalForms_8c-source.html#l00012">moins_l</a>(), <a class="el" href="alpha_8c-source.html#l00122">PolyhedronLTQ</a>(), <a class="el" href="NormalForms_8c-source.html#l00374">smith</a>(), <a class="el" href="SolveDio_8c-source.html#l00064">SolveDiophantine</a>(), <a class="el" href="polyhedron_8c-source.html#l02388">SubConstraint</a>(), and <a class="el" href="vector_8c-source.html#l00610">Vector_Normalize_Positive</a>().    </td>
2184   </tr>
2185 </table>
2186 <a name="a39" doxytag="arithmetique.h::value_or"></a><p>
2187 <table width="100%" cellpadding="2" cellspacing="0" border="0">
2188   <tr>
2189     <td class="md">
2190       <table cellpadding="0" cellspacing="0" border="0">
2191         <tr>
2192           <td class="md" nowrap valign="top"> #define value_or</td>
2193           <td class="md" valign="top">(&nbsp;</td>
2194           <td class="md" nowrap valign="top">v1,         <tr>
2195           <td></td>
2196           <td></td>
2197           <td class="md" nowrap>v2&nbsp;</td>
2198           <td class="mdname1" valign="top" nowrap>&nbsp;          </td>
2199           <td class="md" valign="top">)&nbsp;</td>
2200           <td class="md" nowrap>&nbsp;&nbsp;&nbsp;((v1)|(v2))
2201       </table>
2202     </td>
2203   </tr>
2204 </table>
2205 <table cellspacing=5 cellpadding=0 border=0>
2206   <tr>
2207     <td>
2208       &nbsp;
2209     </td>
2210     <td>
2211
2212 <p>
2213
2214 <p>
2215 Definition at line <a class="el" href="arithmetique_8h-source.html#l00360">360</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.    </td>
2216   </tr>
2217 </table>
2218 <a name="a58" doxytag="arithmetique.h::value_orto"></a><p>
2219 <table width="100%" cellpadding="2" cellspacing="0" border="0">
2220   <tr>
2221     <td class="md">
2222       <table cellpadding="0" cellspacing="0" border="0">
2223         <tr>
2224           <td class="md" nowrap valign="top"> #define value_orto</td>
2225           <td class="md" valign="top">(&nbsp;</td>
2226           <td class="md" nowrap valign="top">ref,         <tr>
2227           <td></td>
2228           <td></td>
2229           <td class="md" nowrap>val1,         <tr>
2230           <td></td>
2231           <td></td>
2232           <td class="md" nowrap>val2&nbsp;</td>
2233           <td class="mdname1" valign="top" nowrap>&nbsp;          </td>
2234           <td class="md" valign="top">)&nbsp;</td>
2235           <td class="md" nowrap>&nbsp;&nbsp;&nbsp;((ref) = (val1)|(val2))
2236       </table>
2237     </td>
2238   </tr>
2239 </table>
2240 <table cellspacing=5 cellpadding=0 border=0>
2241   <tr>
2242     <td>
2243       &nbsp;
2244     </td>
2245     <td>
2246
2247 <p>
2248
2249 <p>
2250 Definition at line <a class="el" href="arithmetique_8h-source.html#l00382">382</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.
2251 <p>
2252 Referenced by <a class="el" href="vector_8c-source.html#l00307">Vector_Or</a>().    </td>
2253   </tr>
2254 </table>
2255 <a name="a35" doxytag="arithmetique.h::value_pdiv"></a><p>
2256 <table width="100%" cellpadding="2" cellspacing="0" border="0">
2257   <tr>
2258     <td class="md">
2259       <table cellpadding="0" cellspacing="0" border="0">
2260         <tr>
2261           <td class="md" nowrap valign="top"> #define value_pdiv</td>
2262           <td class="md" valign="top">(&nbsp;</td>
2263           <td class="md" nowrap valign="top">v1,         <tr>
2264           <td></td>
2265           <td></td>
2266           <td class="md" nowrap>v2&nbsp;</td>
2267           <td class="mdname1" valign="top" nowrap>&nbsp;          </td>
2268           <td class="md" valign="top">)&nbsp;</td>
2269           <td class="md" nowrap>&nbsp;&nbsp;&nbsp;(divide((v1),(v2)))
2270       </table>
2271     </td>
2272   </tr>
2273 </table>
2274 <table cellspacing=5 cellpadding=0 border=0>
2275   <tr>
2276     <td>
2277       &nbsp;
2278     </td>
2279     <td>
2280
2281 <p>
2282
2283 <p>
2284 Definition at line <a class="el" href="arithmetique_8h-source.html#l00356">356</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.    </td>
2285   </tr>
2286 </table>
2287 <a name="a53" doxytag="arithmetique.h::value_pdivision"></a><p>
2288 <table width="100%" cellpadding="2" cellspacing="0" border="0">
2289   <tr>
2290     <td class="md">
2291       <table cellpadding="0" cellspacing="0" border="0">
2292         <tr>
2293           <td class="md" nowrap valign="top"> #define value_pdivision</td>
2294           <td class="md" valign="top">(&nbsp;</td>
2295           <td class="md" nowrap valign="top">ref,         <tr>
2296           <td></td>
2297           <td></td>
2298           <td class="md" nowrap>val1,         <tr>
2299           <td></td>
2300           <td></td>
2301           <td class="md" nowrap>val2&nbsp;</td>
2302           <td class="mdname1" valign="top" nowrap>&nbsp;          </td>
2303           <td class="md" valign="top">)&nbsp;</td>
2304           <td class="md" nowrap>&nbsp;&nbsp;&nbsp;((ref) = value_pdiv((val1),(val2)))
2305       </table>
2306     </td>
2307   </tr>
2308 </table>
2309 <table cellspacing=5 cellpadding=0 border=0>
2310   <tr>
2311     <td>
2312       &nbsp;
2313     </td>
2314     <td>
2315
2316 <p>
2317
2318 <p>
2319 Definition at line <a class="el" href="arithmetique_8h-source.html#l00377">377</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.    </td>
2320   </tr>
2321 </table>
2322 <a name="a30" doxytag="arithmetique.h::value_plus"></a><p>
2323 <table width="100%" cellpadding="2" cellspacing="0" border="0">
2324   <tr>
2325     <td class="md">
2326       <table cellpadding="0" cellspacing="0" border="0">
2327         <tr>
2328           <td class="md" nowrap valign="top"> #define value_plus</td>
2329           <td class="md" valign="top">(&nbsp;</td>
2330           <td class="md" nowrap valign="top">v1,         <tr>
2331           <td></td>
2332           <td></td>
2333           <td class="md" nowrap>v2&nbsp;</td>
2334           <td class="mdname1" valign="top" nowrap>&nbsp;          </td>
2335           <td class="md" valign="top">)&nbsp;</td>
2336           <td class="md" nowrap>&nbsp;&nbsp;&nbsp;((v1)+(v2))
2337       </table>
2338     </td>
2339   </tr>
2340 </table>
2341 <table cellspacing=5 cellpadding=0 border=0>
2342   <tr>
2343     <td>
2344       &nbsp;
2345     </td>
2346     <td>
2347
2348 <p>
2349
2350 <p>
2351 Definition at line <a class="el" href="arithmetique_8h-source.html#l00351">351</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.    </td>
2352   </tr>
2353 </table>
2354 <a name="a36" doxytag="arithmetique.h::value_pmod"></a><p>
2355 <table width="100%" cellpadding="2" cellspacing="0" border="0">
2356   <tr>
2357     <td class="md">
2358       <table cellpadding="0" cellspacing="0" border="0">
2359         <tr>
2360           <td class="md" nowrap valign="top"> #define value_pmod</td>
2361           <td class="md" valign="top">(&nbsp;</td>
2362           <td class="md" nowrap valign="top">v1,         <tr>
2363           <td></td>
2364           <td></td>
2365           <td class="md" nowrap>v2&nbsp;</td>
2366           <td class="mdname1" valign="top" nowrap>&nbsp;          </td>
2367           <td class="md" valign="top">)&nbsp;</td>
2368           <td class="md" nowrap>&nbsp;&nbsp;&nbsp;(modulo((v1),(v2)))
2369       </table>
2370     </td>
2371   </tr>
2372 </table>
2373 <table cellspacing=5 cellpadding=0 border=0>
2374   <tr>
2375     <td>
2376       &nbsp;
2377     </td>
2378     <td>
2379
2380 <p>
2381
2382 <p>
2383 Definition at line <a class="el" href="arithmetique_8h-source.html#l00357">357</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.    </td>
2384   </tr>
2385 </table>
2386 <a name="a63" doxytag="arithmetique.h::value_pos_p"></a><p>
2387 <table width="100%" cellpadding="2" cellspacing="0" border="0">
2388   <tr>
2389     <td class="md">
2390       <table cellpadding="0" cellspacing="0" border="0">
2391         <tr>
2392           <td class="md" nowrap valign="top"> #define value_pos_p</td>
2393           <td class="md" valign="top">(&nbsp;</td>
2394           <td class="md" nowrap valign="top">val&nbsp;</td>
2395           <td class="mdname1" valign="top" nowrap>&nbsp;          </td>
2396           <td class="md" valign="top">)&nbsp;</td>
2397           <td class="md" nowrap>&nbsp;&nbsp;&nbsp;value_gt(val,VALUE_ZERO)
2398       </table>
2399     </td>
2400   </tr>
2401 </table>
2402 <table cellspacing=5 cellpadding=0 border=0>
2403   <tr>
2404     <td>
2405       &nbsp;
2406     </td>
2407     <td>
2408
2409 <p>
2410
2411 <p>
2412 Definition at line <a class="el" href="arithmetique_8h-source.html#l00397">397</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.
2413 <p>
2414 Referenced by <a class="el" href="alpha_8c-source.html#l00032">exist_points</a>(), <a class="el" href="polyhedron_8c-source.html#l02753">FindSimple</a>(), <a class="el" href="polyhedron_8c-source.html#l03625">lower_upper_bounds</a>(), <a class="el" href="alpha_8c-source.html#l00122">PolyhedronLTQ</a>(), and <a class="el" href="polyparam_8c-source.html#l01505">Print_Domain</a>().    </td>
2415   </tr>
2416 </table>
2417 <a name="a65" doxytag="arithmetique.h::value_posz_p"></a><p>
2418 <table width="100%" cellpadding="2" cellspacing="0" border="0">
2419   <tr>
2420     <td class="md">
2421       <table cellpadding="0" cellspacing="0" border="0">
2422         <tr>
2423           <td class="md" nowrap valign="top"> #define value_posz_p</td>
2424           <td class="md" valign="top">(&nbsp;</td>
2425           <td class="md" nowrap valign="top">val&nbsp;</td>
2426           <td class="mdname1" valign="top" nowrap>&nbsp;          </td>
2427           <td class="md" valign="top">)&nbsp;</td>
2428           <td class="md" nowrap>&nbsp;&nbsp;&nbsp;value_ge(val,VALUE_ZERO)
2429       </table>
2430     </td>
2431   </tr>
2432 </table>
2433 <table cellspacing=5 cellpadding=0 border=0>
2434   <tr>
2435     <td>
2436       &nbsp;
2437     </td>
2438     <td>
2439
2440 <p>
2441
2442 <p>
2443 Definition at line <a class="el" href="arithmetique_8h-source.html#l00399">399</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.
2444 <p>
2445 Referenced by <a class="el" href="polyhedron_8c-source.html#l02712">addToFilter</a>(), <a class="el" href="polyhedron_8c-source.html#l02753">FindSimple</a>(), and <a class="el" href="polyparam_8c-source.html#l01402">Print_Vertex</a>().    </td>
2446   </tr>
2447 </table>
2448 <a name="a16" doxytag="arithmetique.h::value_print"></a><p>
2449 <table width="100%" cellpadding="2" cellspacing="0" border="0">
2450   <tr>
2451     <td class="md">
2452       <table cellpadding="0" cellspacing="0" border="0">
2453         <tr>
2454           <td class="md" nowrap valign="top"> #define value_print</td>
2455           <td class="md" valign="top">(&nbsp;</td>
2456           <td class="md" nowrap valign="top">Dst,         <tr>
2457           <td></td>
2458           <td></td>
2459           <td class="md" nowrap>fmt,         <tr>
2460           <td></td>
2461           <td></td>
2462           <td class="md" nowrap>val&nbsp;</td>
2463           <td class="mdname1" valign="top" nowrap>&nbsp;          </td>
2464           <td class="md" valign="top">)&nbsp;</td>
2465           <td class="md" nowrap>&nbsp;&nbsp;&nbsp;(fprintf((Dst),(fmt),(val)))
2466       </table>
2467     </td>
2468   </tr>
2469 </table>
2470 <table cellspacing=5 cellpadding=0 border=0>
2471   <tr>
2472     <td>
2473       &nbsp;
2474     </td>
2475     <td>
2476
2477 <p>
2478
2479 <p>
2480 Definition at line <a class="el" href="arithmetique_8h-source.html#l00324">324</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.
2481 <p>
2482 Referenced by <a class="el" href="Lattice_8c-source.html#l00204">AffineSmith</a>(), <a class="el" href="verif__ehrhart_8c-source.html#l00061">check_poly</a>(), <a class="el" href="polyhedron_8c-source.html#l00340">Chernikova</a>(), <a class="el" href="testehrhart_8c-source.html#l00098">main</a>(), <a class="el" href="matrix_8c-source.html#l00109">Matrix_Print</a>(), <a class="el" href="polyhedron_8c-source.html#l01767">Polyhedron_Print</a>(), <a class="el" href="polyhedron_8c-source.html#l04351">Polyhedron_PrintConstraints</a>(), <a class="el" href="polyparam_8c-source.html#l01505">Print_Domain</a>(), <a class="el" href="polyparam_8c-source.html#l01402">Print_Vertex</a>(), and <a class="el" href="vector_8c-source.html#l00176">Vector_Print</a>().    </td>
2483   </tr>
2484 </table>
2485 <a name="a82" doxytag="arithmetique.h::value_product"></a><p>
2486 <table width="100%" cellpadding="2" cellspacing="0" border="0">
2487   <tr>
2488     <td class="md">
2489       <table cellpadding="0" cellspacing="0" border="0">
2490         <tr>
2491           <td class="md" nowrap valign="top"> #define value_product</td>
2492           <td class="md" valign="top">(&nbsp;</td>
2493           <td class="md" nowrap valign="top">v,         <tr>
2494           <td></td>
2495           <td></td>
2496           <td class="md" nowrap>w&nbsp;</td>
2497           <td class="mdname1" valign="top" nowrap>&nbsp;          </td>
2498           <td class="md" valign="top">)&nbsp;</td>
2499           <td class="md" nowrap>&nbsp;&nbsp;&nbsp;v=value_mult(v,w)
2500       </table>
2501     </td>
2502   </tr>
2503 </table>
2504 <table cellspacing=5 cellpadding=0 border=0>
2505   <tr>
2506     <td>
2507       &nbsp;
2508     </td>
2509     <td>
2510
2511 <p>
2512
2513 <p>
2514 Definition at line <a class="el" href="arithmetique_8h-source.html#l00461">461</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.    </td>
2515   </tr>
2516 </table>
2517 <a name="a77" doxytag="arithmetique.h::value_protected_hard_idiv_multiply"></a><p>
2518 <table width="100%" cellpadding="2" cellspacing="0" border="0">
2519   <tr>
2520     <td class="md">
2521       <table cellpadding="0" cellspacing="0" border="0">
2522         <tr>
2523           <td class="md" nowrap valign="top"> #define value_protected_hard_idiv_multiply</td>
2524           <td class="md" valign="top">(&nbsp;</td>
2525           <td class="md" nowrap valign="top">v,         <tr>
2526           <td></td>
2527           <td></td>
2528           <td class="md" nowrap>w,         <tr>
2529           <td></td>
2530           <td></td>
2531           <td class="md" nowrap>throw&nbsp;</td>
2532           <td class="mdname1" valign="top" nowrap>&nbsp;          </td>
2533           <td class="md" valign="top">)&nbsp;</td>
2534           <td class="md" nowrap>
2535       </table>
2536     </td>
2537   </tr>
2538 </table>
2539 <table cellspacing=5 cellpadding=0 border=0>
2540   <tr>
2541     <td>
2542       &nbsp;
2543     </td>
2544     <td>
2545
2546 <p>
2547 <b>Value:</b><div class="fragment"><pre>((<a class="code" href="arithmetique_8h.html#a67">value_zero_p</a>(w) || <a class="code" href="arithmetique_8h.html#a67">value_zero_p</a>(v))? VALUE_ZERO:              \
2548    <a class="code" href="arithmetique_8h.html#a26">value_lt</a>(<a class="code" href="arithmetique_8h.html#a62">value_abs</a>(v),<a class="code" href="arithmetique_8h.html#a31">value_div</a>(VALUE_MAX,<a class="code" href="arithmetique_8h.html#a62">value_abs</a>(w)))?    \
2549    <a class="code" href="arithmetique_8h.html#a33">value_direct_multiply</a>(v,w): (throw, VALUE_NAN))</pre></div>
2550 <p>
2551 Definition at line <a class="el" href="arithmetique_8h-source.html#l00422">422</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.    </td>
2552   </tr>
2553 </table>
2554 <a name="a79" doxytag="arithmetique.h::value_protected_mult"></a><p>
2555 <table width="100%" cellpadding="2" cellspacing="0" border="0">
2556   <tr>
2557     <td class="md">
2558       <table cellpadding="0" cellspacing="0" border="0">
2559         <tr>
2560           <td class="md" nowrap valign="top"> #define value_protected_mult</td>
2561           <td class="md" valign="top">(&nbsp;</td>
2562           <td class="md" nowrap valign="top">v,         <tr>
2563           <td></td>
2564           <td></td>
2565           <td class="md" nowrap>w&nbsp;</td>
2566           <td class="mdname1" valign="top" nowrap>&nbsp;          </td>
2567           <td class="md" valign="top">)&nbsp;</td>
2568           <td class="md" nowrap>&nbsp;&nbsp;&nbsp;value_protected_multiply(v,w,THROW(<a class="el" href="errors_8c.html#a4">overflow_error</a>))
2569       </table>
2570     </td>
2571   </tr>
2572 </table>
2573 <table cellspacing=5 cellpadding=0 border=0>
2574   <tr>
2575     <td>
2576       &nbsp;
2577     </td>
2578     <td>
2579
2580 <p>
2581
2582 <p>
2583 Definition at line <a class="el" href="arithmetique_8h-source.html#l00441">441</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.    </td>
2584   </tr>
2585 </table>
2586 <a name="a78" doxytag="arithmetique.h::value_protected_multiply"></a><p>
2587 <table width="100%" cellpadding="2" cellspacing="0" border="0">
2588   <tr>
2589     <td class="md">
2590       <table cellpadding="0" cellspacing="0" border="0">
2591         <tr>
2592           <td class="md" nowrap valign="top"> #define value_protected_multiply</td>
2593           <td class="md" valign="top">(&nbsp;</td>
2594           <td class="md" nowrap valign="top">v,         <tr>
2595           <td></td>
2596           <td></td>
2597           <td class="md" nowrap>w,         <tr>
2598           <td></td>
2599           <td></td>
2600           <td class="md" nowrap>throw&nbsp;</td>
2601           <td class="mdname1" valign="top" nowrap>&nbsp;          </td>
2602           <td class="md" valign="top">)&nbsp;</td>
2603           <td class="md" nowrap>&nbsp;&nbsp;&nbsp;value_protected_hard_idiv_multiply(v,w,throw)
2604       </table>
2605     </td>
2606   </tr>
2607 </table>
2608 <table cellspacing=5 cellpadding=0 border=0>
2609   <tr>
2610     <td>
2611       &nbsp;
2612     </td>
2613     <td>
2614
2615 <p>
2616
2617 <p>
2618 Definition at line <a class="el" href="arithmetique_8h-source.html#l00435">435</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.    </td>
2619   </tr>
2620 </table>
2621 <a name="a80" doxytag="arithmetique.h::value_protected_product"></a><p>
2622 <table width="100%" cellpadding="2" cellspacing="0" border="0">
2623   <tr>
2624     <td class="md">
2625       <table cellpadding="0" cellspacing="0" border="0">
2626         <tr>
2627           <td class="md" nowrap valign="top"> #define value_protected_product</td>
2628           <td class="md" valign="top">(&nbsp;</td>
2629           <td class="md" nowrap valign="top">v,         <tr>
2630           <td></td>
2631           <td></td>
2632           <td class="md" nowrap>w&nbsp;</td>
2633           <td class="mdname1" valign="top" nowrap>&nbsp;          </td>
2634           <td class="md" valign="top">)&nbsp;</td>
2635           <td class="md" nowrap>&nbsp;&nbsp;&nbsp;v=value_protected_mult(v,w)
2636       </table>
2637     </td>
2638   </tr>
2639 </table>
2640 <table cellspacing=5 cellpadding=0 border=0>
2641   <tr>
2642     <td>
2643       &nbsp;
2644     </td>
2645     <td>
2646
2647 <p>
2648
2649 <p>
2650 Definition at line <a class="el" href="arithmetique_8h-source.html#l00443">443</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.    </td>
2651   </tr>
2652 </table>
2653 <a name="a15" doxytag="arithmetique.h::value_read"></a><p>
2654 <table width="100%" cellpadding="2" cellspacing="0" border="0">
2655   <tr>
2656     <td class="md">
2657       <table cellpadding="0" cellspacing="0" border="0">
2658         <tr>
2659           <td class="md" nowrap valign="top"> #define value_read</td>
2660           <td class="md" valign="top">(&nbsp;</td>
2661           <td class="md" nowrap valign="top">val,         <tr>
2662           <td></td>
2663           <td></td>
2664           <td class="md" nowrap>str&nbsp;</td>
2665           <td class="mdname1" valign="top" nowrap>&nbsp;          </td>
2666           <td class="md" valign="top">)&nbsp;</td>
2667           <td class="md" nowrap>&nbsp;&nbsp;&nbsp;(sscanf((str),VALUE_FMT,&amp;(val)))
2668       </table>
2669     </td>
2670   </tr>
2671 </table>
2672 <table cellspacing=5 cellpadding=0 border=0>
2673   <tr>
2674     <td>
2675       &nbsp;
2676     </td>
2677     <td>
2678
2679 <p>
2680
2681 <p>
2682 Definition at line <a class="el" href="arithmetique_8h-source.html#l00323">323</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.
2683 <p>
2684 Referenced by <a class="el" href="testehrhart_8c-source.html#l00098">main</a>(), <a class="el" href="matrix_8c-source.html#l00133">Matrix_Read_Input</a>(), and <a class="el" href="vector_8c-source.html#l00198">Vector_Read</a>().    </td>
2685   </tr>
2686 </table>
2687 <a name="a42" doxytag="arithmetique.h::value_rshift"></a><p>
2688 <table width="100%" cellpadding="2" cellspacing="0" border="0">
2689   <tr>
2690     <td class="md">
2691       <table cellpadding="0" cellspacing="0" border="0">
2692         <tr>
2693           <td class="md" nowrap valign="top"> #define value_rshift</td>
2694           <td class="md" valign="top">(&nbsp;</td>
2695           <td class="md" nowrap valign="top">v1,         <tr>
2696           <td></td>
2697           <td></td>
2698           <td class="md" nowrap>v2&nbsp;</td>
2699           <td class="mdname1" valign="top" nowrap>&nbsp;          </td>
2700           <td class="md" valign="top">)&nbsp;</td>
2701           <td class="md" nowrap>&nbsp;&nbsp;&nbsp;((v1)&gt;&gt;(v2))
2702       </table>
2703     </td>
2704   </tr>
2705 </table>
2706 <table cellspacing=5 cellpadding=0 border=0>
2707   <tr>
2708     <td>
2709       &nbsp;
2710     </td>
2711     <td>
2712
2713 <p>
2714
2715 <p>
2716 Definition at line <a class="el" href="arithmetique_8h-source.html#l00363">363</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.    </td>
2717   </tr>
2718 </table>
2719 <a name="a13" doxytag="arithmetique.h::value_set_double"></a><p>
2720 <table width="100%" cellpadding="2" cellspacing="0" border="0">
2721   <tr>
2722     <td class="md">
2723       <table cellpadding="0" cellspacing="0" border="0">
2724         <tr>
2725           <td class="md" nowrap valign="top"> #define value_set_double</td>
2726           <td class="md" valign="top">(&nbsp;</td>
2727           <td class="md" nowrap valign="top">val,         <tr>
2728           <td></td>
2729           <td></td>
2730           <td class="md" nowrap>d&nbsp;</td>
2731           <td class="mdname1" valign="top" nowrap>&nbsp;          </td>
2732           <td class="md" valign="top">)&nbsp;</td>
2733           <td class="md" nowrap>&nbsp;&nbsp;&nbsp;((val) = (<a class="el" href="arithmetique_8h.html#a93">Value</a>)(d))
2734       </table>
2735     </td>
2736   </tr>
2737 </table>
2738 <table cellspacing=5 cellpadding=0 border=0>
2739   <tr>
2740     <td>
2741       &nbsp;
2742     </td>
2743     <td>
2744
2745 <p>
2746
2747 <p>
2748 Definition at line <a class="el" href="arithmetique_8h-source.html#l00321">321</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.    </td>
2749   </tr>
2750 </table>
2751 <a name="a12" doxytag="arithmetique.h::value_set_si"></a><p>
2752 <table width="100%" cellpadding="2" cellspacing="0" border="0">
2753   <tr>
2754     <td class="md">
2755       <table cellpadding="0" cellspacing="0" border="0">
2756         <tr>
2757           <td class="md" nowrap valign="top"> #define value_set_si</td>
2758           <td class="md" valign="top">(&nbsp;</td>
2759           <td class="md" nowrap valign="top">val,         <tr>
2760           <td></td>
2761           <td></td>
2762           <td class="md" nowrap>i&nbsp;</td>
2763           <td class="mdname1" valign="top" nowrap>&nbsp;          </td>
2764           <td class="md" valign="top">)&nbsp;</td>
2765           <td class="md" nowrap>&nbsp;&nbsp;&nbsp;((val) = (<a class="el" href="arithmetique_8h.html#a93">Value</a>)(i))
2766       </table>
2767     </td>
2768   </tr>
2769 </table>
2770 <table cellspacing=5 cellpadding=0 border=0>
2771   <tr>
2772     <td>
2773       &nbsp;
2774     </td>
2775     <td>
2776
2777 <p>
2778
2779 <p>
2780 Definition at line <a class="el" href="arithmetique_8h-source.html#l00320">320</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.
2781 <p>
2782 Referenced by <a class="el" href="Matop_8c-source.html#l00297">AddANullColumn</a>(), <a class="el" href="Matop_8c-source.html#l00279">AddANullRow</a>(), <a class="el" href="Lattice_8c-source.html#l00912">AddLattice</a>(), <a class="el" href="polyhedron_8c-source.html#l02712">addToFilter</a>(), <a class="el" href="Lattice_8c-source.html#l00204">AffineSmith</a>(), <a class="el" href="vector_8c-source.html#l00044">Binomial</a>(), <a class="el" href="polyhedron_8c-source.html#l02147">BuildSat</a>(), <a class="el" href="Lattice_8c-source.html#l00393">ChangeLatticeDimension</a>(), <a class="el" href="verif__ehrhart_8c-source.html#l00061">check_poly</a>(), <a class="el" href="vector_8c-source.html#l00072">CNP</a>(), <a class="el" href="polyhedron_8c-source.html#l01919">Constraints2Polyhedron</a>(), <a class="el" href="polyhedron_8c-source.html#l03951">DomainCost</a>(), <a class="el" href="polyhedron_8c-source.html#l01852">Empty_Polyhedron</a>(), <a class="el" href="Lattice_8c-source.html#l00078">EmptyLattice</a>(), <a class="el" href="alpha_8c-source.html#l00032">exist_points</a>(), <a class="el" href="vector_8c-source.html#l00026">Factorial</a>(), <a class="el" href="polyparam_8c-source.html#l00912">Find_m_faces</a>(), <a class="el" href="Lattice_8c-source.html#l00975">FindHermiteBasisofDomain</a>(), <a class="el" href="polyhedron_8c-source.html#l02753">FindSimple</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="polyparam_8c-source.html#l00707">GenParamPolyhedron</a>(), <a class="el" href="NormalForms_8c-source.html#l00263">identite</a>(), <a class="el" href="Matop_8c-source.html#l00024">Identity</a>(), <a class="el" href="Lattice_8c-source.html#l00459">LatticeIntersection</a>(), <a class="el" href="Lattice_8c-source.html#l01143">LatticePreimage</a>(), <a class="el" href="matrix_8c-source.html#l00471">left_hermite</a>(), <a class="el" href="polyhedron_8c-source.html#l03625">lower_upper_bounds</a>(), <a class="el" href="verif__ehrhart_8c-source.html#l00148">main</a>(), <a class="el" href="Lattice_8c-source.html#l00553">MakeDioEqforInter</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="matrix_8c-source.html#l00825">Matrix_Product</a>(), <a class="el" href="matrix_8c-source.html#l00753">Matrix_Vector_Product</a>(), <a class="el" href="polyparam_8c-source.html#l00654">Poly2Sat</a>(), <a class="el" href="polyhedron_8c-source.html#l03838">Polyhedron_Image</a>(), <a class="el" href="alpha_8c-source.html#l00087">Polyhedron_Not_Empty</a>(), <a class="el" href="polyhedron_8c-source.html#l03733">Polyhedron_Preimage</a>(), <a class="el" href="polyhedron_8c-source.html#l03570">Polyhedron_Scan</a>(), <a class="el" href="polyhedron_8c-source.html#l02278">PolyhedronIncludes</a>(), <a class="el" href="alpha_8c-source.html#l00122">PolyhedronLTQ</a>(), <a class="el" href="polyparam_8c-source.html#l00775">PreElim_Columns</a>(), <a class="el" href="matrix_8c-source.html#l00684">rat_prodmat</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>(), <a class="el" href="Lattice_8c-source.html#l01284">Simplify</a>(), <a class="el" href="NormalForms_8c-source.html#l00374">smith</a>(), <a class="el" href="SolveDio_8c-source.html#l00064">SolveDiophantine</a>(), <a class="el" href="polyhedron_8c-source.html#l02388">SubConstraint</a>(), <a class="el" href="polyhedron_8c-source.html#l01883">Universe_Polyhedron</a>(), <a class="el" href="matrix_8c-source.html#l00791">Vector_Matrix_Product</a>(), <a class="el" href="vector_8c-source.html#l00475">Vector_Min_Not_Zero</a>(), <a class="el" href="vector_8c-source.html#l00582">Vector_Normalize</a>(), <a class="el" href="vector_8c-source.html#l00223">Vector_Set</a>(), and <a class="el" href="polyparam_8c-source.html#l01475">VertexCT</a>().    </td>
2783   </tr>
2784 </table>
2785 <a name="a28" doxytag="arithmetique.h::value_sign"></a><p>
2786 <table width="100%" cellpadding="2" cellspacing="0" border="0">
2787   <tr>
2788     <td class="md">
2789       <table cellpadding="0" cellspacing="0" border="0">
2790         <tr>
2791           <td class="md" nowrap valign="top"> #define value_sign</td>
2792           <td class="md" valign="top">(&nbsp;</td>
2793           <td class="md" nowrap valign="top">v&nbsp;</td>
2794           <td class="mdname1" valign="top" nowrap>&nbsp;          </td>
2795           <td class="md" valign="top">)&nbsp;</td>
2796           <td class="md" nowrap>&nbsp;&nbsp;&nbsp;(value_eq(v,VALUE_ZERO)?0:value_lt(v,VALUE_ZERO)?-1:1)
2797       </table>
2798     </td>
2799   </tr>
2800 </table>
2801 <table cellspacing=5 cellpadding=0 border=0>
2802   <tr>
2803     <td>
2804       &nbsp;
2805     </td>
2806     <td>
2807
2808 <p>
2809
2810 <p>
2811 Definition at line <a class="el" href="arithmetique_8h-source.html#l00346">346</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.    </td>
2812   </tr>
2813 </table>
2814 <a name="a49" doxytag="arithmetique.h::value_sub_int"></a><p>
2815 <table width="100%" cellpadding="2" cellspacing="0" border="0">
2816   <tr>
2817     <td class="md">
2818       <table cellpadding="0" cellspacing="0" border="0">
2819         <tr>
2820           <td class="md" nowrap valign="top"> #define value_sub_int</td>
2821           <td class="md" valign="top">(&nbsp;</td>
2822           <td class="md" nowrap valign="top">ref,         <tr>
2823           <td></td>
2824           <td></td>
2825           <td class="md" nowrap>val,         <tr>
2826           <td></td>
2827           <td></td>
2828           <td class="md" nowrap>vint&nbsp;</td>
2829           <td class="mdname1" valign="top" nowrap>&nbsp;          </td>
2830           <td class="md" valign="top">)&nbsp;</td>
2831           <td class="md" nowrap>&nbsp;&nbsp;&nbsp;((ref) = (val)-(<a class="el" href="arithmetique_8h.html#a93">Value</a>)(vint))
2832       </table>
2833     </td>
2834   </tr>
2835 </table>
2836 <table cellspacing=5 cellpadding=0 border=0>
2837   <tr>
2838     <td>
2839       &nbsp;
2840     </td>
2841     <td>
2842
2843 <p>
2844
2845 <p>
2846 Definition at line <a class="el" href="arithmetique_8h-source.html#l00373">373</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.
2847 <p>
2848 Referenced by <a class="el" href="polyhedron_8c-source.html#l03625">lower_upper_bounds</a>().    </td>
2849   </tr>
2850 </table>
2851 <a name="a48" doxytag="arithmetique.h::value_substract"></a><p>
2852 <table width="100%" cellpadding="2" cellspacing="0" border="0">
2853   <tr>
2854     <td class="md">
2855       <table cellpadding="0" cellspacing="0" border="0">
2856         <tr>
2857           <td class="md" nowrap valign="top"> #define value_substract</td>
2858           <td class="md" valign="top">(&nbsp;</td>
2859           <td class="md" nowrap valign="top">ref,         <tr>
2860           <td></td>
2861           <td></td>
2862           <td class="md" nowrap>val1,         <tr>
2863           <td></td>
2864           <td></td>
2865           <td class="md" nowrap>val2&nbsp;</td>
2866           <td class="mdname1" valign="top" nowrap>&nbsp;          </td>
2867           <td class="md" valign="top">)&nbsp;</td>
2868           <td class="md" nowrap>&nbsp;&nbsp;&nbsp;((ref) = (val1)-(val2))
2869       </table>
2870     </td>
2871   </tr>
2872 </table>
2873 <table cellspacing=5 cellpadding=0 border=0>
2874   <tr>
2875     <td>
2876       &nbsp;
2877     </td>
2878     <td>
2879
2880 <p>
2881
2882 <p>
2883 Definition at line <a class="el" href="arithmetique_8h-source.html#l00372">372</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.
2884 <p>
2885 Referenced by <a class="el" href="polyparam_8c-source.html#l00848">Elim_Columns</a>(), <a class="el" href="alpha_8c-source.html#l00032">exist_points</a>(), <a class="el" href="Lattice_8c-source.html#l00975">FindHermiteBasisofDomain</a>(), <a class="el" href="matrix_8c-source.html#l00192">hermite</a>(), <a class="el" href="Lattice_8c-source.html#l01143">LatticePreimage</a>(), <a class="el" href="verif__ehrhart_8c-source.html#l00148">main</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="SolveDio_8c-source.html#l00064">SolveDiophantine</a>(), <a class="el" href="polyparam_8c-source.html#l00127">TestRank</a>(), and <a class="el" href="vector_8c-source.html#l00288">Vector_Sub</a>().    </td>
2886   </tr>
2887 </table>
2888 <a name="a17" doxytag="arithmetique.h::value_swap"></a><p>
2889 <table width="100%" cellpadding="2" cellspacing="0" border="0">
2890   <tr>
2891     <td class="md">
2892       <table cellpadding="0" cellspacing="0" border="0">
2893         <tr>
2894           <td class="md" nowrap valign="top"> #define value_swap</td>
2895           <td class="md" valign="top">(&nbsp;</td>
2896           <td class="md" nowrap valign="top">v1,         <tr>
2897           <td></td>
2898           <td></td>
2899           <td class="md" nowrap>v2&nbsp;</td>
2900           <td class="mdname1" valign="top" nowrap>&nbsp;          </td>
2901           <td class="md" valign="top">)&nbsp;</td>
2902           <td class="md" nowrap>
2903       </table>
2904     </td>
2905   </tr>
2906 </table>
2907 <table cellspacing=5 cellpadding=0 border=0>
2908   <tr>
2909     <td>
2910       &nbsp;
2911     </td>
2912     <td>
2913
2914 <p>
2915 <b>Value:</b><div class="fragment"><pre>{<a class="code" href="arithmetique_8h.html#a93">Value</a> tmp; tmp = v2; \
2916                                     v2 = v1; v1 = tmp;   \
2917                                    }</pre></div>
2918 <p>
2919 Definition at line <a class="el" href="arithmetique_8h-source.html#l00325">325</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.
2920 <p>
2921 Referenced by <a class="el" href="vector_8c-source.html#l00239">Vector_Exchange</a>().    </td>
2922   </tr>
2923 </table>
2924 <a name="a9" doxytag="arithmetique.h::VALUE_TO_DOUBLE"></a><p>
2925 <table width="100%" cellpadding="2" cellspacing="0" border="0">
2926   <tr>
2927     <td class="md">
2928       <table cellpadding="0" cellspacing="0" border="0">
2929         <tr>
2930           <td class="md" nowrap valign="top"> #define VALUE_TO_DOUBLE</td>
2931           <td class="md" valign="top">(&nbsp;</td>
2932           <td class="md" nowrap valign="top">val&nbsp;</td>
2933           <td class="mdname1" valign="top" nowrap>&nbsp;          </td>
2934           <td class="md" valign="top">)&nbsp;</td>
2935           <td class="md" nowrap>&nbsp;&nbsp;&nbsp;(mpz_get_d(val))
2936       </table>
2937     </td>
2938   </tr>
2939 </table>
2940 <table cellspacing=5 cellpadding=0 border=0>
2941   <tr>
2942     <td>
2943       &nbsp;
2944     </td>
2945     <td>
2946
2947 <p>
2948
2949 <p>
2950 Definition at line <a class="el" href="arithmetique_8h-source.html#l00239">239</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.    </td>
2951   </tr>
2952 </table>
2953 <a name="a8" doxytag="arithmetique.h::VALUE_TO_FLOAT"></a><p>
2954 <table width="100%" cellpadding="2" cellspacing="0" border="0">
2955   <tr>
2956     <td class="md">
2957       <table cellpadding="0" cellspacing="0" border="0">
2958         <tr>
2959           <td class="md" nowrap valign="top"> #define VALUE_TO_FLOAT</td>
2960           <td class="md" valign="top">(&nbsp;</td>
2961           <td class="md" nowrap valign="top">val&nbsp;</td>
2962           <td class="mdname1" valign="top" nowrap>&nbsp;          </td>
2963           <td class="md" valign="top">)&nbsp;</td>
2964           <td class="md" nowrap>&nbsp;&nbsp;&nbsp;((float)((int)mpz_get_si(val)))
2965       </table>
2966     </td>
2967   </tr>
2968 </table>
2969 <table cellspacing=5 cellpadding=0 border=0>
2970   <tr>
2971     <td>
2972       &nbsp;
2973     </td>
2974     <td>
2975
2976 <p>
2977
2978 <p>
2979 Definition at line <a class="el" href="arithmetique_8h-source.html#l00238">238</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.    </td>
2980   </tr>
2981 </table>
2982 <a name="a7" doxytag="arithmetique.h::VALUE_TO_INT"></a><p>
2983 <table width="100%" cellpadding="2" cellspacing="0" border="0">
2984   <tr>
2985     <td class="md">
2986       <table cellpadding="0" cellspacing="0" border="0">
2987         <tr>
2988           <td class="md" nowrap valign="top"> #define VALUE_TO_INT</td>
2989           <td class="md" valign="top">(&nbsp;</td>
2990           <td class="md" nowrap valign="top">val&nbsp;</td>
2991           <td class="mdname1" valign="top" nowrap>&nbsp;          </td>
2992           <td class="md" valign="top">)&nbsp;</td>
2993           <td class="md" nowrap>&nbsp;&nbsp;&nbsp;((int)mpz_get_si(val))
2994       </table>
2995     </td>
2996   </tr>
2997 </table>
2998 <table cellspacing=5 cellpadding=0 border=0>
2999   <tr>
3000     <td>
3001       &nbsp;
3002     </td>
3003     <td>
3004
3005 <p>
3006
3007 <p>
3008 Definition at line <a class="el" href="arithmetique_8h-source.html#l00237">237</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.
3009 <p>
3010 Referenced by <a class="el" href="verif__ehrhart_8c-source.html#l00061">check_poly</a>(), <a class="el" href="verif__ehrhart_8c-source.html#l00148">main</a>(), <a class="el" href="Lattice_8c-source.html#l01284">Simplify</a>(), and <a class="el" href="Lattice_8c-source.html#l00885">SplitLattice</a>().    </td>
3011   </tr>
3012 </table>
3013 <a name="a6" doxytag="arithmetique.h::VALUE_TO_LONG"></a><p>
3014 <table width="100%" cellpadding="2" cellspacing="0" border="0">
3015   <tr>
3016     <td class="md">
3017       <table cellpadding="0" cellspacing="0" border="0">
3018         <tr>
3019           <td class="md" nowrap valign="top"> #define VALUE_TO_LONG</td>
3020           <td class="md" valign="top">(&nbsp;</td>
3021           <td class="md" nowrap valign="top">val&nbsp;</td>
3022           <td class="mdname1" valign="top" nowrap>&nbsp;          </td>
3023           <td class="md" valign="top">)&nbsp;</td>
3024           <td class="md" nowrap>&nbsp;&nbsp;&nbsp;(mpz_get_si(val))
3025       </table>
3026     </td>
3027   </tr>
3028 </table>
3029 <table cellspacing=5 cellpadding=0 border=0>
3030   <tr>
3031     <td>
3032       &nbsp;
3033     </td>
3034     <td>
3035
3036 <p>
3037
3038 <p>
3039 Definition at line <a class="el" href="arithmetique_8h-source.html#l00236">236</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.    </td>
3040   </tr>
3041 </table>
3042 <a name="a60" doxytag="arithmetique.h::value_uminus"></a><p>
3043 <table width="100%" cellpadding="2" cellspacing="0" border="0">
3044   <tr>
3045     <td class="md">
3046       <table cellpadding="0" cellspacing="0" border="0">
3047         <tr>
3048           <td class="md" nowrap valign="top"> #define value_uminus</td>
3049           <td class="md" valign="top">(&nbsp;</td>
3050           <td class="md" nowrap valign="top">val&nbsp;</td>
3051           <td class="mdname1" valign="top" nowrap>&nbsp;          </td>
3052           <td class="md" valign="top">)&nbsp;</td>
3053           <td class="md" nowrap>&nbsp;&nbsp;&nbsp;(-(val))
3054       </table>
3055     </td>
3056   </tr>
3057 </table>
3058 <table cellspacing=5 cellpadding=0 border=0>
3059   <tr>
3060     <td>
3061       &nbsp;
3062     </td>
3063     <td>
3064
3065 <p>
3066
3067 <p>
3068 Definition at line <a class="el" href="arithmetique_8h-source.html#l00387">387</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.    </td>
3069   </tr>
3070 </table>
3071 <a name="a67" doxytag="arithmetique.h::value_zero_p"></a><p>
3072 <table width="100%" cellpadding="2" cellspacing="0" border="0">
3073   <tr>
3074     <td class="md">
3075       <table cellpadding="0" cellspacing="0" border="0">
3076         <tr>
3077           <td class="md" nowrap valign="top"> #define value_zero_p</td>
3078           <td class="md" valign="top">(&nbsp;</td>
3079           <td class="md" nowrap valign="top">val&nbsp;</td>
3080           <td class="mdname1" valign="top" nowrap>&nbsp;          </td>
3081           <td class="md" valign="top">)&nbsp;</td>
3082           <td class="md" nowrap>&nbsp;&nbsp;&nbsp;value_eq(val,VALUE_ZERO)
3083       </table>
3084     </td>
3085   </tr>
3086 </table>
3087 <table cellspacing=5 cellpadding=0 border=0>
3088   <tr>
3089     <td>
3090       &nbsp;
3091     </td>
3092     <td>
3093
3094 <p>
3095
3096 <p>
3097 Definition at line <a class="el" href="arithmetique_8h-source.html#l00401">401</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.
3098 <p>
3099 Referenced by <a class="el" href="polyhedron_8c-source.html#l00340">Chernikova</a>(), <a class="el" href="polyhedron_8c-source.html#l04129">Disjoint_Domain</a>(), <a class="el" href="polyhedron_8c-source.html#l03951">DomainCost</a>(), <a class="el" href="NormalForms_8c-source.html#l00320">encore</a>(), <a class="el" href="Matop_8c-source.html#l00353">findHermiteBasis</a>(), <a class="el" href="Lattice_8c-source.html#l00975">FindHermiteBasisofDomain</a>(), <a class="el" href="polyhedron_8c-source.html#l02753">FindSimple</a>(), <a class="el" href="alpha_8c-source.html#l00357">GaussSimplify</a>(), <a class="el" href="polyparam_8c-source.html#l00707">GenParamPolyhedron</a>(), <a class="el" href="matrix_8c-source.html#l00192">hermite</a>(), <a class="el" href="Lattice_8c-source.html#l01245">isfulldim</a>(), <a class="el" href="polyhedron_8c-source.html#l03625">lower_upper_bounds</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#l00654">Poly2Sat</a>(), <a class="el" href="polyhedron_8c-source.html#l02278">PolyhedronIncludes</a>(), <a class="el" href="alpha_8c-source.html#l00122">PolyhedronLTQ</a>(), <a class="el" href="polyparam_8c-source.html#l00775">PreElim_Columns</a>(), <a class="el" href="polyhedron_8c-source.html#l00284">RaySort</a>(), <a class="el" href="SolveDio_8c-source.html#l00233">RearrangeMatforSolveDio</a>(), <a class="el" href="polyhedron_8c-source.html#l00824">Remove_Redundants</a>(), and <a class="el" href="polyparam_8c-source.html#l00127">TestRank</a>().    </td>
3100   </tr>
3101 </table>
3102 <hr><h2>Typedef Documentation</h2>
3103 <a name="a94" doxytag="arithmetique.h::tableau"></a><p>
3104 <table width="100%" cellpadding="2" cellspacing="0" border="0">
3105   <tr>
3106     <td class="md">
3107       <table cellpadding="0" cellspacing="0" border="0">
3108         <tr>
3109           <td class="md" nowrap valign="top"> typedef struct <a class="el" href="structcol.html">col</a>  tableau
3110       </table>
3111     </td>
3112   </tr>
3113 </table>
3114 <table cellspacing=5 cellpadding=0 border=0>
3115   <tr>
3116     <td>
3117       &nbsp;
3118     </td>
3119     <td>
3120
3121 <p>
3122     </td>
3123   </tr>
3124 </table>
3125 <a name="a93" doxytag="arithmetique.h::Value"></a><p>
3126 <table width="100%" cellpadding="2" cellspacing="0" border="0">
3127   <tr>
3128     <td class="md">
3129       <table cellpadding="0" cellspacing="0" border="0">
3130         <tr>
3131           <td class="md" nowrap valign="top"> typedef mpz_t Value
3132       </table>
3133     </td>
3134   </tr>
3135 </table>
3136 <table cellspacing=5 cellpadding=0 border=0>
3137   <tr>
3138     <td>
3139       &nbsp;
3140     </td>
3141     <td>
3142
3143 <p>
3144
3145 <p>
3146 Definition at line <a class="el" href="arithmetique_8h-source.html#l00229">229</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.
3147 <p>
3148 Referenced by <a class="el" href="polyhedron_8c-source.html#l02209">AddConstraints</a>(), <a class="el" href="Lattice_8c-source.html#l00912">AddLattice</a>(), <a class="el" href="polyhedron_8c-source.html#l02528">AddRays</a>(), <a class="el" href="polyhedron_8c-source.html#l02712">addToFilter</a>(), <a class="el" href="Lattice_8c-source.html#l01527">AffinePartSimplify</a>(), <a class="el" href="Lattice_8c-source.html#l00204">AffineSmith</a>(), <a class="el" href="vector_8c-source.html#l00044">Binomial</a>(), <a class="el" href="polyhedron_8c-source.html#l02147">BuildSat</a>(), <a class="el" href="Zpolyhedron_8c-source.html#l00741">CanonicalForm</a>(), <a class="el" href="verif__ehrhart_8c-source.html#l00061">check_poly</a>(), <a class="el" href="polyhedron_8c-source.html#l00340">Chernikova</a>(), <a class="el" href="vector_8c-source.html#l00072">CNP</a>(), <a class="el" href="NormalForms_8c-source.html#l00133">colonne</a>(), <a class="el" href="polyhedron_8c-source.html#l00197">Combine</a>(), <a class="el" href="NormalForms_8c-source.html#l00595">ConvertDarMattoPolMat</a>(), <a class="el" href="NormalForms_8c-source.html#l00571">ConvertPolMattoDarMat</a>(), <a class="el" href="polyhedron_8c-source.html#l01744">Domain_Free</a>(), <a class="el" href="polyhedron_8c-source.html#l03951">DomainCost</a>(), <a class="el" href="NormalForms_8c-source.html#l00076">echange_c</a>(), <a class="el" href="NormalForms_8c-source.html#l00050">echange_l</a>(), <a class="el" href="polyparam_8c-source.html#l00848">Elim_Columns</a>(), <a class="el" href="NormalForms_8c-source.html#l00320">encore</a>(), <a class="el" href="Matop_8c-source.html#l00064">ExchangeColumns</a>(), <a class="el" href="Matop_8c-source.html#l00041">ExchangeRows</a>(), <a class="el" href="alpha_8c-source.html#l00032">exist_points</a>(), <a class="el" href="vector_8c-source.html#l00026">Factorial</a>(), <a class="el" href="Lattice_8c-source.html#l00975">FindHermiteBasisofDomain</a>(), <a class="el" href="polyhedron_8c-source.html#l02753">FindSimple</a>(), <a class="el" href="vector_8c-source.html#l00120">First_Non_Zero</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="vector_8c-source.html#l00099">Gcd</a>(), <a class="el" href="NormalForms_8c-source.html#l00695">Hermite</a>(), <a class="el" href="matrix_8c-source.html#l00192">hermite</a>(), <a class="el" href="NormalForms_8c-source.html#l00263">identite</a>(), <a class="el" href="vector_8c-source.html#l00362">Inner_Product</a>(), <a class="el" href="Matop_8c-source.html#l00140">isinHnf</a>(), <a class="el" href="Matop_8c-source.html#l00117">isIntegral</a>(), <a class="el" href="Lattice_8c-source.html#l00658">Lattice2LatticeUnion</a>(), <a class="el" href="Lattice_8c-source.html#l01143">LatticePreimage</a>(), <a class="el" href="Matop_8c-source.html#l00007">Lcm</a>(), <a class="el" href="matrix_8c-source.html#l00471">left_hermite</a>(), <a class="el" href="NormalForms_8c-source.html#l00104">ligne</a>(), <a class="el" href="polyhedron_8c-source.html#l03625">lower_upper_bounds</a>(), <a class="el" href="testehrhart_8c-source.html#l00098">main</a>(), <a class="el" href="matrix_8c-source.html#l00556">MatInverse</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="matrix_8c-source.html#l00873">Matrix_Inverse</a>(), <a class="el" href="matrix_8c-source.html#l00109">Matrix_Print</a>(), <a class="el" href="matrix_8c-source.html#l00825">Matrix_Product</a>(), <a class="el" href="matrix_8c-source.html#l00133">Matrix_Read_Input</a>(), <a class="el" href="matrix_8c-source.html#l00753">Matrix_Vector_Product</a>(), <a class="el" href="NormalForms_8c-source.html#l00031">moins_c</a>(), <a class="el" href="NormalForms_8c-source.html#l00012">moins_l</a>(), <a class="el" href="NormalForms_8c-source.html#l00216">petit_c</a>(), <a class="el" href="NormalForms_8c-source.html#l00164">petit_l</a>(), <a class="el" href="polyparam_8c-source.html#l00654">Poly2Sat</a>(), <a class="el" href="polyhedron_8c-source.html#l01675">Polyhedron_Alloc</a>(), <a class="el" href="polyhedron_8c-source.html#l01724">Polyhedron_Free</a>(), <a class="el" href="polyhedron_8c-source.html#l03838">Polyhedron_Image</a>(), <a class="el" href="alpha_8c-source.html#l00087">Polyhedron_Not_Empty</a>(), <a class="el" href="polyhedron_8c-source.html#l03733">Polyhedron_Preimage</a>(), <a class="el" href="polyhedron_8c-source.html#l01767">Polyhedron_Print</a>(), <a class="el" href="polyhedron_8c-source.html#l02278">PolyhedronIncludes</a>(), <a class="el" href="polyparam_8c-source.html#l01402">Print_Vertex</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>(), <a class="el" href="Matop_8c-source.html#l00170">PutRowLast</a>(), <a class="el" href="matrix_8c-source.html#l00684">rat_prodmat</a>(), <a class="el" href="polyhedron_8c-source.html#l00284">RaySort</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="Lattice_8c-source.html#l01284">Simplify</a>(), <a class="el" href="NormalForms_8c-source.html#l00619">Smith</a>(), <a class="el" href="NormalForms_8c-source.html#l00374">smith</a>(), <a class="el" href="SolveDio_8c-source.html#l00064">SolveDiophantine</a>(), <a class="el" href="Zpolyhedron_8c-source.html#l00949">SplitZpolyhedron</a>(), <a class="el" href="polyhedron_8c-source.html#l02388">SubConstraint</a>(), <a class="el" href="polyparam_8c-source.html#l00127">TestRank</a>(), <a class="el" href="NormalForms_8c-source.html#l00288">transpose</a>(), <a class="el" href="vector_8c-source.html#l00269">Vector_Add</a>(), <a class="el" href="vector_8c-source.html#l00137">Vector_Alloc</a>(), <a class="el" href="vector_8c-source.html#l00344">Vector_AntiScale</a>(), <a class="el" href="vector_8c-source.html#l00422">Vector_Combine</a>(), <a class="el" href="vector_8c-source.html#l00252">Vector_Copy</a>(), <a class="el" href="vector_8c-source.html#l00453">Vector_Equal</a>(), <a class="el" href="vector_8c-source.html#l00239">Vector_Exchange</a>(), <a class="el" href="vector_8c-source.html#l00513">Vector_Gcd</a>(), <a class="el" href="vector_8c-source.html#l00562">Vector_Map</a>(), <a class="el" href="matrix_8c-source.html#l00791">Vector_Matrix_Product</a>(), <a class="el" href="vector_8c-source.html#l00385">Vector_Max</a>(), <a class="el" href="vector_8c-source.html#l00402">Vector_Min</a>(), <a class="el" href="vector_8c-source.html#l00475">Vector_Min_Not_Zero</a>(), <a class="el" href="vector_8c-source.html#l00582">Vector_Normalize</a>(), <a class="el" href="vector_8c-source.html#l00610">Vector_Normalize_Positive</a>(), <a class="el" href="vector_8c-source.html#l00307">Vector_Or</a>(), <a class="el" href="vector_8c-source.html#l00176">Vector_Print</a>(), <a class="el" href="vector_8c-source.html#l00198">Vector_Read</a>(), <a class="el" href="vector_8c-source.html#l00630">Vector_Reduce</a>(), <a class="el" href="vector_8c-source.html#l00326">Vector_Scale</a>(), <a class="el" href="vector_8c-source.html#l00223">Vector_Set</a>(), <a class="el" href="vector_8c-source.html#l00646">Vector_Sort</a>(), and <a class="el" href="vector_8c-source.html#l00288">Vector_Sub</a>().    </td>
3149   </tr>
3150 </table>
3151 <hr><h2>Function Documentation</h2>
3152 <a name="a103" doxytag="arithmetique.h::dump_exception_stack"></a><p>
3153 <table width="100%" cellpadding="2" cellspacing="0" border="0">
3154   <tr>
3155     <td class="md">
3156       <table cellpadding="0" cellspacing="0" border="0">
3157         <tr>
3158           <td class="md" nowrap valign="top"> void dump_exception_stack </td>
3159           <td class="md" valign="top">(&nbsp;</td>
3160           <td class="md" nowrap valign="top">void&nbsp;</td>
3161           <td class="mdname1" valign="top" nowrap>&nbsp;          </td>
3162           <td class="md" valign="top">)&nbsp;</td>
3163           <td class="md" nowrap></td>
3164         </tr>
3165
3166       </table>
3167     </td>
3168   </tr>
3169 </table>
3170 <table cellspacing=5 cellpadding=0 border=0>
3171   <tr>
3172     <td>
3173       &nbsp;
3174     </td>
3175     <td>
3176
3177 <p>
3178
3179 <p>
3180 Definition at line <a class="el" href="errors_8c-source.html#l00127">127</a> of file <a class="el" href="errors_8c-source.html">errors.c</a>.
3181 <p>
3182 References <a class="el" href="errors_8c-source.html#l00110">dump_exception_stack_to_file</a>().
3183 <p>
3184 Referenced by <a class="el" href="errors_8c-source.html#l00177">pop_exception_from_stack</a>(), <a class="el" href="errors_8c-source.html#l00143">push_exception_on_stack</a>(), and <a class="el" href="errors_8c-source.html#l00219">throw_exception</a>().    </td>
3185   </tr>
3186 </table>
3187 <a name="a102" doxytag="arithmetique.h::dump_exception_stack_to_file"></a><p>
3188 <table width="100%" cellpadding="2" cellspacing="0" border="0">
3189   <tr>
3190     <td class="md">
3191       <table cellpadding="0" cellspacing="0" border="0">
3192         <tr>
3193           <td class="md" nowrap valign="top"> void dump_exception_stack_to_file </td>
3194           <td class="md" valign="top">(&nbsp;</td>
3195           <td class="md" nowrap valign="top">FILE *&nbsp;</td>
3196           <td class="mdname1" valign="top" nowrap>&nbsp;          </td>
3197           <td class="md" valign="top">)&nbsp;</td>
3198           <td class="md" nowrap></td>
3199         </tr>
3200
3201       </table>
3202     </td>
3203   </tr>
3204 </table>
3205 <table cellspacing=5 cellpadding=0 border=0>
3206   <tr>
3207     <td>
3208       &nbsp;
3209     </td>
3210     <td>
3211
3212 <p>
3213
3214 <p>
3215 Definition at line <a class="el" href="errors_8c-source.html#l00110">110</a> of file <a class="el" href="errors_8c-source.html">errors.c</a>.
3216 <p>
3217 References <a class="el" href="errors_8c-source.html#l00102">exception_index</a>.
3218 <p>
3219 Referenced by <a class="el" href="errors_8c-source.html#l00127">dump_exception_stack</a>().    </td>
3220   </tr>
3221 </table>
3222 <a name="a105" doxytag="arithmetique.h::pop_exception_from_stack"></a><p>
3223 <table width="100%" cellpadding="2" cellspacing="0" border="0">
3224   <tr>
3225     <td class="md">
3226       <table cellpadding="0" cellspacing="0" border="0">
3227         <tr>
3228           <td class="md" nowrap valign="top"> void pop_exception_from_stack </td>
3229           <td class="md" valign="top">(&nbsp;</td>
3230           <td class="md" nowrap valign="top">int&nbsp;</td>
3231           <td class="mdname" nowrap>&nbsp;, </td>
3232         </tr>
3233         <tr>
3234           <td></td>
3235           <td></td>
3236           <td class="md" nowrap>char *&nbsp;</td>
3237           <td class="mdname" nowrap>&nbsp;, </td>
3238         </tr>
3239         <tr>
3240           <td></td>
3241           <td></td>
3242           <td class="md" nowrap>char *&nbsp;</td>
3243           <td class="mdname" nowrap>&nbsp;, </td>
3244         </tr>
3245         <tr>
3246           <td></td>
3247           <td></td>
3248           <td class="md" nowrap>int&nbsp;</td>
3249           <td class="mdname" nowrap>&nbsp;</td>
3250         </tr>
3251         <tr>
3252           <td></td>
3253           <td class="md">)&nbsp;</td>
3254           <td class="md" colspan="2"></td>
3255         </tr>
3256
3257       </table>
3258     </td>
3259   </tr>
3260 </table>
3261 <table cellspacing=5 cellpadding=0 border=0>
3262   <tr>
3263     <td>
3264       &nbsp;
3265     </td>
3266     <td>
3267
3268 <p>
3269
3270 <p>
3271 Definition at line <a class="el" href="errors_8c-source.html#l00177">177</a> of file <a class="el" href="errors_8c-source.html">errors.c</a>.
3272 <p>
3273 References <a class="el" href="errors_8c-source.html#l00127">dump_exception_stack</a>(), <a class="el" href="errors_8c-source.html#l00132">exception_debug_message</a>, <a class="el" href="errors_8c-source.html#l00136">exception_debug_trace</a>, <a class="el" href="errors_8c-source.html#l00102">exception_index</a>, <a class="el" href="errors_8c-source.html#l00170">same_string_p</a>, and <a class="el" href="errors_8c-source.html#l00070">the_last_just_thrown_exception</a>.    </td>
3274   </tr>
3275 </table>
3276 <a name="a104" doxytag="arithmetique.h::push_exception_on_stack"></a><p>
3277 <table width="100%" cellpadding="2" cellspacing="0" border="0">
3278   <tr>
3279     <td class="md">
3280       <table cellpadding="0" cellspacing="0" border="0">
3281         <tr>
3282           <td class="md" nowrap valign="top"> jmp_buf* push_exception_on_stack </td>
3283           <td class="md" valign="top">(&nbsp;</td>
3284           <td class="md" nowrap valign="top">int&nbsp;</td>
3285           <td class="mdname" nowrap>&nbsp;, </td>
3286         </tr>
3287         <tr>
3288           <td></td>
3289           <td></td>
3290           <td class="md" nowrap>char *&nbsp;</td>
3291           <td class="mdname" nowrap>&nbsp;, </td>
3292         </tr>
3293         <tr>
3294           <td></td>
3295           <td></td>
3296           <td class="md" nowrap>char *&nbsp;</td>
3297           <td class="mdname" nowrap>&nbsp;, </td>
3298         </tr>
3299         <tr>
3300           <td></td>
3301           <td></td>
3302           <td class="md" nowrap>int&nbsp;</td>
3303           <td class="mdname" nowrap>&nbsp;</td>
3304         </tr>
3305         <tr>
3306           <td></td>
3307           <td class="md">)&nbsp;</td>
3308           <td class="md" colspan="2"></td>
3309         </tr>
3310
3311       </table>
3312     </td>
3313   </tr>
3314 </table>
3315 <table cellspacing=5 cellpadding=0 border=0>
3316   <tr>
3317     <td>
3318       &nbsp;
3319     </td>
3320     <td>
3321
3322 <p>
3323
3324 <p>
3325 Definition at line <a class="el" href="errors_8c-source.html#l00143">143</a> of file <a class="el" href="errors_8c-source.html">errors.c</a>.
3326 <p>
3327 References <a class="el" href="errors_8c-source.html#l00127">dump_exception_stack</a>(), <a class="el" href="errors_8c-source.html#l00132">exception_debug_message</a>, <a class="el" href="errors_8c-source.html#l00136">exception_debug_trace</a>, <a class="el" href="errors_8c-source.html#l00102">exception_index</a>, <a class="el" href="errors_8c-source.html#l00100">MAX_STACKED_CONTEXTS</a>, and <a class="el" href="errors_8c-source.html#l00070">the_last_just_thrown_exception</a>.    </td>
3328   </tr>
3329 </table>
3330 <a name="a106" doxytag="arithmetique.h::throw_exception"></a><p>
3331 <table width="100%" cellpadding="2" cellspacing="0" border="0">
3332   <tr>
3333     <td class="md">
3334       <table cellpadding="0" cellspacing="0" border="0">
3335         <tr>
3336           <td class="md" nowrap valign="top"> void throw_exception </td>
3337           <td class="md" valign="top">(&nbsp;</td>
3338           <td class="md" nowrap valign="top">int&nbsp;</td>
3339           <td class="mdname" nowrap>&nbsp;, </td>
3340         </tr>
3341         <tr>
3342           <td></td>
3343           <td></td>
3344           <td class="md" nowrap>char *&nbsp;</td>
3345           <td class="mdname" nowrap>&nbsp;, </td>
3346         </tr>
3347         <tr>
3348           <td></td>
3349           <td></td>
3350           <td class="md" nowrap>char *&nbsp;</td>
3351           <td class="mdname" nowrap>&nbsp;, </td>
3352         </tr>
3353         <tr>
3354           <td></td>
3355           <td></td>
3356           <td class="md" nowrap>int&nbsp;</td>
3357           <td class="mdname" nowrap>&nbsp;</td>
3358         </tr>
3359         <tr>
3360           <td></td>
3361           <td class="md">)&nbsp;</td>
3362           <td class="md" colspan="2"></td>
3363         </tr>
3364
3365       </table>
3366     </td>
3367   </tr>
3368 </table>
3369 <table cellspacing=5 cellpadding=0 border=0>
3370   <tr>
3371     <td>
3372       &nbsp;
3373     </td>
3374     <td>
3375
3376 <p>
3377
3378 <p>
3379 Definition at line <a class="el" href="errors_8c-source.html#l00219">219</a> of file <a class="el" href="errors_8c-source.html">errors.c</a>.
3380 <p>
3381 References <a class="el" href="errors_8c-source.html#l00127">dump_exception_stack</a>(), <a class="el" href="errors_8c-source.html#l00132">exception_debug_message</a>, <a class="el" href="errors_8c-source.html#l00136">exception_debug_trace</a>, <a class="el" href="errors_8c-source.html#l00102">exception_index</a>, <a class="el" href="errors_8c-source.html#l00106">linear_number_of_exception_thrown</a>, <a class="el" href="errors_8c-source.html#l00070">the_last_just_thrown_exception</a>, and <a class="el" href="errors_8c-source.html#l00082">linear_exception_holder::what</a>.    </td>
3382   </tr>
3383 </table>
3384 <hr><h2>Variable Documentation</h2>
3385 <a name="a99" doxytag="arithmetique.h::any_exception_error"></a><p>
3386 <table width="100%" cellpadding="2" cellspacing="0" border="0">
3387   <tr>
3388     <td class="md">
3389       <table cellpadding="0" cellspacing="0" border="0">
3390         <tr>
3391           <td class="md" nowrap valign="top"> unsigned int any_exception_error
3392       </table>
3393     </td>
3394   </tr>
3395 </table>
3396 <table cellspacing=5 cellpadding=0 border=0>
3397   <tr>
3398     <td>
3399       &nbsp;
3400     </td>
3401     <td>
3402
3403 <p>
3404
3405 <p>
3406 Definition at line <a class="el" href="arithmetique_8h-source.html#l00600">600</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.    </td>
3407   </tr>
3408 </table>
3409 <a name="a101" doxytag="arithmetique.h::linear_exception_debug_mode"></a><p>
3410 <table width="100%" cellpadding="2" cellspacing="0" border="0">
3411   <tr>
3412     <td class="md">
3413       <table cellpadding="0" cellspacing="0" border="0">
3414         <tr>
3415           <td class="md" nowrap valign="top"> int linear_exception_debug_mode
3416       </table>
3417     </td>
3418   </tr>
3419 </table>
3420 <table cellspacing=5 cellpadding=0 border=0>
3421   <tr>
3422     <td>
3423       &nbsp;
3424     </td>
3425     <td>
3426
3427 <p>
3428
3429 <p>
3430 Definition at line <a class="el" href="arithmetique_8h-source.html#l00602">602</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.    </td>
3431   </tr>
3432 </table>
3433 <a name="a95" doxytag="arithmetique.h::overflow_error"></a><p>
3434 <table width="100%" cellpadding="2" cellspacing="0" border="0">
3435   <tr>
3436     <td class="md">
3437       <table cellpadding="0" cellspacing="0" border="0">
3438         <tr>
3439           <td class="md" nowrap valign="top"> unsigned int overflow_error
3440       </table>
3441     </td>
3442   </tr>
3443 </table>
3444 <table cellspacing=5 cellpadding=0 border=0>
3445   <tr>
3446     <td>
3447       &nbsp;
3448     </td>
3449     <td>
3450
3451 <p>
3452
3453 <p>
3454 Definition at line <a class="el" href="arithmetique_8h-source.html#l00596">596</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.    </td>
3455   </tr>
3456 </table>
3457 <a name="a98" doxytag="arithmetique.h::parser_exception_error"></a><p>
3458 <table width="100%" cellpadding="2" cellspacing="0" border="0">
3459   <tr>
3460     <td class="md">
3461       <table cellpadding="0" cellspacing="0" border="0">
3462         <tr>
3463           <td class="md" nowrap valign="top"> unsigned int parser_exception_error
3464       </table>
3465     </td>
3466   </tr>
3467 </table>
3468 <table cellspacing=5 cellpadding=0 border=0>
3469   <tr>
3470     <td>
3471       &nbsp;
3472     </td>
3473     <td>
3474
3475 <p>
3476
3477 <p>
3478 Definition at line <a class="el" href="arithmetique_8h-source.html#l00599">599</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.    </td>
3479   </tr>
3480 </table>
3481 <a name="a96" doxytag="arithmetique.h::simplex_arithmetic_error"></a><p>
3482 <table width="100%" cellpadding="2" cellspacing="0" border="0">
3483   <tr>
3484     <td class="md">
3485       <table cellpadding="0" cellspacing="0" border="0">
3486         <tr>
3487           <td class="md" nowrap valign="top"> unsigned int simplex_arithmetic_error
3488       </table>
3489     </td>
3490   </tr>
3491 </table>
3492 <table cellspacing=5 cellpadding=0 border=0>
3493   <tr>
3494     <td>
3495       &nbsp;
3496     </td>
3497     <td>
3498
3499 <p>
3500
3501 <p>
3502 Definition at line <a class="el" href="arithmetique_8h-source.html#l00597">597</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.    </td>
3503   </tr>
3504 </table>
3505 <a name="a100" doxytag="arithmetique.h::the_last_just_thrown_exception"></a><p>
3506 <table width="100%" cellpadding="2" cellspacing="0" border="0">
3507   <tr>
3508     <td class="md">
3509       <table cellpadding="0" cellspacing="0" border="0">
3510         <tr>
3511           <td class="md" nowrap valign="top"> unsigned int the_last_just_thrown_exception
3512       </table>
3513     </td>
3514   </tr>
3515 </table>
3516 <table cellspacing=5 cellpadding=0 border=0>
3517   <tr>
3518     <td>
3519       &nbsp;
3520     </td>
3521     <td>
3522
3523 <p>
3524
3525 <p>
3526 Definition at line <a class="el" href="arithmetique_8h-source.html#l00601">601</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.
3527 <p>
3528 Referenced by <a class="el" href="errors_8c-source.html#l00177">pop_exception_from_stack</a>(), <a class="el" href="errors_8c-source.html#l00143">push_exception_on_stack</a>(), and <a class="el" href="errors_8c-source.html#l00219">throw_exception</a>().    </td>
3529   </tr>
3530 </table>
3531 <a name="a97" doxytag="arithmetique.h::user_exception_error"></a><p>
3532 <table width="100%" cellpadding="2" cellspacing="0" border="0">
3533   <tr>
3534     <td class="md">
3535       <table cellpadding="0" cellspacing="0" border="0">
3536         <tr>
3537           <td class="md" nowrap valign="top"> unsigned int user_exception_error
3538       </table>
3539     </td>
3540   </tr>
3541 </table>
3542 <table cellspacing=5 cellpadding=0 border=0>
3543   <tr>
3544     <td>
3545       &nbsp;
3546     </td>
3547     <td>
3548
3549 <p>
3550
3551 <p>
3552 Definition at line <a class="el" href="arithmetique_8h-source.html#l00598">598</a> of file <a class="el" href="arithmetique_8h-source.html">arithmetique.h</a>.    </td>
3553   </tr>
3554 </table>
3555 <hr><address align="right"><small>Generated on Fri Nov 8 12:10:07 2002 for Polylib by
3556 <a href="http://www.doxygen.org/index.html">
3557 <img src="doxygen.png" alt="doxygen" align="middle" border=0
3558 width=110 height=53></a>1.2.15 </small></address>
3559 </body>
3560 </html>