A rational convex Polyhedron
is the intersection of finitely many affine half-spaces over QQ
or equivalently, the convex hull of a finite set of vertices and rays. A rational convex polyhedral Cone
is the intersection of finitely many linear half-spaces over QQ
or equivalently, the positive hull of a finite set of rays. A Fan
is a finite collection of cones such that for each cone all its faces are in the fan and for two cones in the fan the intersection is a face of each.
Here are some examples illustrating the main uses of this package.
Please have a look at V- and H-representation
on conventions used throughout this package before you start.
For an introduction to polyhedra and cones, we recommend Gunter M. Ziegler's Lectures on Polytopes
, Graduate Texts in Mathematics 152, Springer-Verlag, New York, 1995.
The authors would like to thank
for code contributions, bug reports, and helpful discussions concerning this package.