Code: Select all
tropical > $px = toTropicalPolynomial("min(13,x-y+5,-x+y+5,x-z+5,-x+z+5,x+5,-x+5)");
tropical > $Vx = new Hypersurface<Min>(POLYNOMIAL=>$px);
tropical > print $Vx->DIM;
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/
1
tropical > print $Vx->AMBIENT_DIM;
3