Home Online Manual
Top
Back: onesVector
Forward: polymakePolytope
FastBack:
FastForward:
Up: Singular Manual
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.13.2 polymake_lib

Library:
polymake.lib
Purpose:
Computations with polytopes and fans, interface to polymake and TOPCOM
Author:
Thomas Markwig, email: [email protected]
Yue Ren, email: [email protected]

Warning:
Most procedures will not work unless polymake or topcom is installed and if so, they will only work with the operating system LINUX! For more detailed information see IMPORTANT NOTE respectively consult the help string of the procedures.

The conventions used in this library for polytopes and fans, e.g. the length and labeling of their vertices resp. rays, differs from the conventions used in polymake and thus from the conventions used in the polymake extension polymake.so of Singular. We recommend to use the newer polymake.so whenever possible.

Important note:
Even though this is a Singular library for computing polytopes and fans such as the Newton polytope or the Groebner fan of a polynomial, most of the hard computations are NOT done by Singular but by the program
- polymake by Ewgenij Gawrilow, TU Berlin and Michael Joswig, TU Darmstadt (see http://www.polymake.org/),
respectively (only in the procedure triangulations) by the program
- topcom by Joerg Rambau, Universitaet Bayreuth (see http://www.rambau.wm.uni-bayreuth.de/TOPCOM/);
this library should rather be seen as an interface which allows to use a (very limited) number of options which polymake respectively topcom offers to compute with polytopes and fans and to make the results available in Singular for further computations; moreover, the user familiar with Singular does not have to learn the syntax of polymake or topcom, if the options offered here are sufficient for his purposes.
Note, though, that the procedures concerned with planar polygons are independent of both, polymake and topcom.

Procedures using polymake:

D.13.2.1 polymakePolytope  computes the vertices of a polytope using polymake
D.13.2.2 newtonPolytopeP  computes the Newton polytope of a polynomial
D.13.2.3 newtonPolytopeLP  computes the lattice points of the Newton polytope
Procedures using topcom:
D.13.2.4 triangulations  computes all triangulations of a marked polytope
D.13.2.5 secondaryPolytope  computes the secondary polytope of a marked polytope
Procedures conerned with planar polygons:
D.13.2.6 cycleLength  computes the cycleLength of cycle
D.13.2.7 splitPolygon  splits a marked polygon into vertices, facets, interior points
D.13.2.8 eta  computes the eta-vector of a triangulation
D.13.2.9 findOrientedBoundary  computes the boundary of a convex hull
D.13.2.10 cyclePoints  computes lattice points connected to some lattice point
D.13.2.11 latticeArea  computes the lattice area of a polygon
D.13.2.12 picksFormula  computes the ingrediants of Pick's formula for a polygon
D.13.2.13 ellipticNF  computes the normal form of an elliptic polygon
D.13.2.14 ellipticNFDB  displays the 16 normal forms of elliptic polygons
Procedures using libpolymake:
D.13.2.15 boundaryLatticePoints  
D.13.2.16 ehrhartPolynomialCoeff  
D.13.2.17 fVectorP  
D.13.2.18 facetVertexLatticeDistances  
D.13.2.19 facetWidth  
D.13.2.20 facetWidths  
D.13.2.21 gorensteinIndex  
D.13.2.22 gorensteinVector  
D.13.2.23 hStarVector  
D.13.2.24 hVector  
D.13.2.25 hilbertBasis  
D.13.2.26 interiorLatticePoints  
D.13.2.27 isBounded  
D.13.2.28 isCanonical  
D.13.2.29 isCompressed  
D.13.2.30 isGorenstein  
D.13.2.31 isLatticeEmpty  
D.13.2.32 isNormal  
D.13.2.33 isReflexive  
D.13.2.34 isSmooth  
D.13.2.35 isTerminal  
D.13.2.36 isVeryAmple  
D.13.2.37 latticeCodegree  
D.13.2.38 latticeDegree  
D.13.2.39 latticePoints  
D.13.2.40 latticeVolume  
D.13.2.41 maximalFace  
D.13.2.42 maximalValue  
D.13.2.43 minimalFace  
D.13.2.44 minimalValue  
D.13.2.45 minkowskiSum  
D.13.2.46 nBoundaryLatticePoints  
D.13.2.47 nHilbertBasis  
D.13.2.48 nInteriorLatticePoints  
D.13.2.49 nLatticePoints  
D.13.2.50 normalFan  
D.13.2.51 vertexAdjacencyGraph  
D.13.2.52 vertexEdgeGraph  
D.13.2.53 visual