Each point in the mapping polytope/Hom-polytope is encoded as the constant 1 (for homogenization) plus a matrix encoded as consecutive row vectors. That matrix encodes a projective transformation (yielding affine coordinates, however), such that it can be applied to points in the polytope correspond...
Dear polymakers, we are happy to inform you that version 3.4 of polymake appeared today. We moved to more rapid development cycle, aiming at four releases per year. So stay tuned for the next release, which is scheduled for July 15 already. As usual we are happy about any feedback that you might giv...
As Ewgenij had pointed out, calling > polymake-config --version 3.3 from the terminal shell is the standard way to learn about the polymake version. The executable polymake-config is installed alongside the actual polymake. There are also many other things that you can figure out about the installat...
Please tell us which polymake version your are using on which operating system. Did you compile from source code (then, please, send your file build/config.ninja), or did you use some precompiled version from some package manager (which?).
This is impossible to judge without seeing the data (and the precise steps that you took). Please also recall that deciding whether or not a polyhedron, given in terms of inequalities, admits a feasible point with integer coordinates is an NP-hard problem. That said: computing integer hulls in polym...
polymake has more than one algorithm to enumerate integer points. It is next to impossible to tell which one is best without studying the input in details. This is a rather complicated topic, and there is no easy answers to be expected here. This is why we wrote a lengthy survey with lots of experim...
Which version of polymake are you using? We just released version 3.3, and there it works. It is possible that in some older versions the types get messed up. Beware that the property POINTS takes a small object of type Matrix<TropicalNumber<Min>>. Object of type Rational should automatically conver...
My purpose is to compute a cone $c pointed at some vertex $v of a polytope $p, such that its rays are the affine hull of the facets of $p incident to $v, and such that $p itself is not contained in $c. Sorry, I do not understand what you want to compute. Do you want to compute the intersection of t...
