 LIB "polymake.lib";
==> Welcome to polymake version
==> Copyright (c) 19972015
==> Ewgenij Gawrilow, Michael Joswig (TU Darmstadt)
==> http://www.polymake.org
// the lattice points of the unit square in the plane
list polygon=intvec(0,0),intvec(0,1),intvec(1,0),intvec(1,1);
// the secondary polytope of this lattice point configuration is computed
list secfan=secondaryFan(polygon);
==> Evaluating Commandline Options ...
==> ... done.
==> 0
==> 0
==> polymake: used package ppl
==> The Parma Polyhedra Library (PPL): A C++ library for convex polyhedra
==> and other numerical abstractions.
==> http://www.cs.unipr.it/ppl/
==>
// the number of cones in the secondary fan of the polygon
size(secfan[1]);
==> 2
// the inequalities of the first cone as matrix are:
print(secfan[1][1][1]);
==> 1,1,1,1
// the inequalities of the first cone as string are:
print(secfan[1][1][2]);
==> [1]:
==> x(1)+x(4) > x(2)+x(3)
// the rows of the following matrix are the extreme rays of the first cone:
print(secfan[1][1][3]);
==> 1,1,1,1
// each cone contains the linearity space spanned by:
print(secfan[2]);
==> 0,0,1,1,
==> 1,0, 0,1,
==> 0,1,1, 0
// the points in the secondary polytope
print(secfan[3][1]);
==> 2,1,1,2,
==> 1,2,2,1
// the corresponding triangulations
secfan[4];
==> [1]:
==> [1]:
==> 1,2,3
==> [2]:
==> 2,3,4
==> [2]:
==> [1]:
==> 1,3,4
==> [2]:
==> 1,2,4
