Home Online Manual
Top
Back: cone
Forward: polytope
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.23 fan

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.

A polyhedral fan is a collection of cones closed under taking intersections and faces.

 
  fan f;                              // ambient dim 0, no cones, lineality
                                      // space = ambient space
  fan f = emptyFan(int n);            // ambient dim = n, no cones,
                                      // symmetry subgroup = <e>
  fan f = n;                          // synonymous convenience method for
                                      // 'fan f = emptyFan(n)'
  fan f = emptyFan(
                 optional intmat G);  // symmetry group generated by rows of
                                      // G; ambient dim = number of columns
                                      // of G
            // Here a row r = r_1, ...r_n represents the permutation
            // which takes i to r_i. SINGULAR will check for the validity
            // of the provided rows, i.e. whether {r_1,...,r_n} = {1,...,n}
  fan f = fullFan(int n);             // ambient dim = n, the fan consists of
                                      // one cone which equals the ambient
                                      // space, symmetry subgroup = <e>
  fan f = fullFan(
                 optional intmat G);  // symmetry group generated by rows of
                                      // G; ambient dim = number of columns
                                      // of G; the fan consists of one cone
                                      // which equals the ambient space

See also gfan_lib.