[ < ] [ > ] [ << ] [ Up ] [ >> ] [Top] [Contents] [Index] [ ? ]

### Working with strict inequalities

Using strict inequalities can be done by introducing a second special variable \epsilon, which satisfies \epsilon >= 0. A polyhedron is then empty if its intersection with the half-space \epsilon > 0 is empty, or in other words, if there is no vertex whose coefficient associated to \epsilon is strictly positive. The inclusion test need also a (more complicated) adaptation.

This document was generated on October, 27 2006 using texi2html