|[ < ]||[ > ]||[ << ]||[ Up ]||[ >> ]||[Top]||[Contents]||[Index]||[ ? ]|
inthas the following meaning:
For two parallel inequalities (equal coefficients apart for the
\xi and \epsilon dimensions), the defined order corresponds to the
entailment of constraints (if either
polka_strict is true or
not): if c_1 is less or equal than c_2, then c_1 ==> c_2.