====== New Features in Release 2.10 ======
Release date: June 20, 2011.
===== Cones and Fans =====
* Application ''polytope'': The system can now work with arbitrary cones, possibly with a lineality space of positive dimension. Polytopes are derived from these cones; this is backwards compatible with ''polymake''s description of a polytope via its homogenization.
* New application ''fan'' to deal with polyhedral fans and polyhedral complexes. Have a look at our [[user_guide:tutorials:pcom|tutorial on polyhedral complexes]]!
==== Interface to Gfan ====
We have a first preliminary interface to Gfan which is used for computing secondary fans.
polytope > $sec_fan_of_square=fan::secondary_fan(cube(2)->VERTICES);
polymake: used package gfan
Gfan is a software package for computing Groebner fans and tropical varieties.
Copyright by Anders Jensen
http://www.math.tu-berlin.de/~jensen/software/gfan/gfan.html
The crosscut complex of a polytopal complex is homotopy equivalent.
polytope > $crosscut=new topaz::SimplicialComplex(FACETS=>rows($sec_fan_of_square->MAXIMAL_CONES));
This can be exploited to compute the (reduced integral) homology:
polytope > print rows_labeled($crosscut->HOMOLOGY);
0:{} 1
The two connected components are the two vertices of the 0-sphere corresponding to the two ways to triangulate a square.
===== Permutation Groups and Symmetric Polytopes =====
==== Interface to PermLib ====
''polymake'' learned how to deal with permutation groups via an interface to the C++-library [[http://www.math.uni-rostock.de/~rehn/software/permlib.html|PermLib]] written by [[http://www.math.uni-rostock.de/~rehn/|Thomas Rehn]].\\
It is now possible to relate one (or more) ''GroupOfCone'' to a cone or a polytope via the new property ''GROUP'' which encapsulates symmetry information about the object. A ''GroupOfCone'' is a permutation group given by some ''GENERATORS'' that can act on three different domains: RAYS (DOMAIN=>1), FACETS (DOMAIN=>2), or COORDINATES (DOMAIN=>3), see the following example:
polytope > $p=cube(3);
polytope > $g=new group::GroupOfCone(DOMAIN=>3,GENERATORS=>[[1,2,0],[0,2,1]]);
polytope > $p->GROUP=$g;
polytope > print $p->GROUP->RAYS_IN_ORBITS;
polymake: used package permlib
A callable C++ library for permutation computations.
Written by Thomas Rehn.
http://www.math.uni-rostock.de/~rehn/software/permlib.html
{0}
{1 2 4}
{3 5 6}
{7}
polytope > print $p->GROUP->FACETS_IN_ORBITS;
{0 2 4}
{1 3 5}
polytope > print $p->GROUP->COORDINATES_IN_ORBITS;
{0 1 2}
===== Tropical Geometry =====
==== Interface to TPLib ====
TPLib implements the tropical version of the double description method.
tropical > $p=new TropicalPolytope(POINTS=>[[1,0,0],[0,1,0],[0,0,1]]);
tropical > print $p->HALF_SPACES;
polymake: used package tplib
TPLib: Tropical Polyhedra Library
Copyright by Xavier Allamigeon
https://gforge.inria.fr/projects/tplib/
(<0 0 0> {0 2})
(<0 0 1> {2})
(<1 0 0> {0})
(<0 0 0> {1 2})
(<0 1 0> {1})
(<0 0 0> {0 1})
===== Other features =====
* support of gcc 4.6.0 and Perl 5.14
* support of Normaliz 2.7
* [[:callable|callable library]]