- ... 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 (which is not a polyhedron) will, in fact,
represent the set . With this convention, Polylib
is able to compute the
*difference*between polyhedra.. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .