Home Online Manual
Back: fan
Forward: pyobject
FastBack: Data types
FastForward: Functions and system variables
Up: Data types
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

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.