| 
 | 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  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. | 
|   |  |  |  |  |  |  |  |  |  |