... polyhedra^3.1

The user must be aware of the fact that Polylib is mostly used to represent the set of integer points contained in domains, hence the set $\{x \vert x>0\}$ (which is not a polyhedron) will, in fact, represent the set $\{x\vert x>=1\}$. With this convention, Polylib is able to compute the difference between polyhedra.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.