We are happy to announce that the new polymake version 2.14 is there! Download it here or at GitHub . The list of changes can be found here: ChangeLog . Changes include: support for perl 5.20 support for MacOS 10.10 new client for hadamard product of matrices some refactoring of application matroid ...
at the moment there is nothing of those properties implemented except for VOLUME (which only works for full dimensional polytopes and is the area when your polytope is 2-dimensional).
Hi there, without investigating your examples in great detail, I think there is a misunderstanding here. The function \(\texttt{gc_closure}\) does not compute the integer hull. It just does one iteration step. Doing the first gomory chvatal closure means: take all inequalities induced by the hilbert...
I installed polymake in a virtual box ubuntu without any problems. jReality works, too.
I suppose you have the newest ubuntu inside the newest virtual box with guest additions?
included_polyhedra (P1, P2) → Bool
Tests if polyhedron P1 is included in polyhedron P2.
Parameters
Polytope P1 the first polytope
Polytope P2 the second polytope
Returns Bool 'true' if P1 is included in P2, 'false' otherwise
Hi, first of all: when you use the lp2poly script you will get a polytope with floating point coordinates. As floats are "evil" you might want to calculate with Rationals instead. So use: $p = convert_to<Rational>(lp2poly('test.lp')); as described here or you input the inequalities directl...
no, there is nothing for unbounded polyhedra. one thing you can do is to transform your polyhedron via a projective transformation into a bounded polytope, use one of the two functions above and reverse the transformation afterwards. Or you could produce random convex combinations on your own. eithe...
Hi there, I do not know the "hit-and-run sampling method". At least the name of the method does not ring a bell. But maybe this is what you search? rand_inner_points(P, n; Options) -> Polytope Produce a polytope with n random points from the input polytope P. Each generated point is a conv...