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

User manual for Singular version 4-1-0p2, 2017, generated by texi2html.