|
|
D.13.1 polymake_lib
- Library:
- polymake.lib
- Purpose:
- Computations with polytopes and fans,
interface to polymake and TOPCOM
- Author:
- Thomas Markwig, email: keilen@mathematik.uni-kl.de
- 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.math.tu-berlin.de/polymake/),
respectively (only in the procedure triangulations) by the program
- topcom by Joerg Rambau, Universitaet Bayreuth (see
http://www.uni-bayreuth.de/departments/wirtschaftsmathematik/rambau/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:
Procedures using topcom:
Procedures using polymake and topcom:
Procedures conerned with planar polygons:
|
