Okay, I think I might have a minimal example worked out - and might have discovered a second bug (related to this one): When the set-theoretic-intersection is empty, I get a polymake: ERROR: Invalid chart coordinate The "special" thing about the example is that both hypersurfaces have line...

Just to blame the right guy: The bug seems to have been in the original already, see https://github.com/simonhampe/atint/blob/master/apps/tropical/src/convex_hull_tools.cc ;) In earlier times a-tint used to not use tropically homogeneous coordinates, I suspect this got lost in the transition somehow...

Oh dear, oh dear, this was all so long ago ;) I haven't worked on polymake for four years and I can see from the source that a few changes were made. Also, I don't have a working local polymake at the moment, so my diagnosis is at least half guesswork. Here's what I can tell. The function set_theore...

I'm trying to use tikz visualization on a MacOS 10.12.2, but Preview complains that The file “poly15629Taaaa0005.pdf” couldn’t be opened because you don’t have permission to view it. I can identify the temporary folder using print $ENV{TMPDIR}; in polymake (it' something long and convoluted in /var/...

Your example fails earlier on my computer polytope > $w = new Vector<Int>([0,1/12,2/3,4/3,13/6,1/12,0,3/8,9/8,0,1/24,1/4,1/8,1/4,5/12]); polymake: ERROR: non-integral number at input line 1. Which makes sense, as 1/12 is not integer. Also, doing $v = new Vector<Int>(1,2,3); $w = new Vector<TropicalN...

The rule files you're using depend on the polymake installation you're using. So as long as you run the system polymake, you will always use the rule files shipped with it. There is (as far as I know) no way around this. If you want to fiddle with the source code, you have to download the polymake s...

The faces of a Hasse diagram are of type Set<Int>, which can be determined by calling print $simplexFace->type->full_name; so random access is not actually foreseen in their interface (not quite sure, why the first version works, probably some perlish voodoo...). There are various ways to access its...

A short answer is that an IncidenceMatrix encodes a list of subsets of some set {0,...,n}. So it is (in terms of the information it contains) almost the same as an Array<Set<Int> >, except that it contains the additional information of what the full set is (this is the number of columns of the Incid...

The whole tropical functionality has been heavily remodeled and some older functions have been removed/refactored into other objects/functions. As far as I can tell from the old code, the function tropical_complex was supposed to compute the subdivision of the tropical torus obtained by putting a ma...

Indeed. Note that Gfan also has a command to compute the prevariety, called