2-codimensional tropical hypersurfaces
Posted: 25 Jul 2018, 22:13
I came across a tropical hypersurface which polymake claims to be two-codimensional (and not one-codimensional). Is this a bug or did I make some mistake in the input?
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