Singular

4.26 polytope

In order to use convex objects in Singular, Singular uses gfanlib, a C++ library for convex geometry by Anders N. Jensen. Please check the readme file for installation instructions. The library gfan_lib provides this C++ library and an interface to it. Some functions require polymake: polymake_lib provides an interface to it.

In R^n, a rational convex polytope (in short "polytope") is a set of points satisfying a system rational, and hence integer, linear inequalities and equations. It is internally realised as a cone in R^(n+1) intersected with the hyperplane, in which the first coordinate equals 1.

See gfan_lib.