Can you please give more details, about the precise software versions of polymake, lrs etc you have been using? If you compiled polymake from the sources the config.ninja file would be helpful.

Or rather, if you used OSCAR/Julia, which versions did you use there?

Well, this particular function tries to find certificates for (non-)realizability. The algorithms has been developed and implemented by Julian Pfeifle :https://arxiv.org/abs/2012.11500

By the end of the day, despite being super-successful in many cases, it is a heuristic. This is what happens (with ...

Please re-read what I wrote about much smaller input. You can spare the time; there is no way to compute convex hulls of this size. And, no, it is not a polymake problem.

Concerning passing data to polymake, you can write files that polymake can read . In addition to the current json, we still ...

Thanks for letting us know. Looks nice.

Indeed, there are suitable functions. For instance,

polytope > print $Sigma->secondary_cone()->REL_INT_POINT;
1/12 -7/12 0 -53/72 -19/36 0 -29/36 -61/72 -31/72 1/36 -19/24 -13/12 -7/12 0 2/3

gives you some such vector, produced via a linear program (finding an interior point in a polytope). No ...

polymake's application tropical uses homogeneous coordinates, as you correctly figured out.

The pictures are drawn in a (skew) inhomogenous way (to save dimensions). The point with homogeneous coordinates (x,y,z) is equivalent to (0,y-x,z-x), and so it is drawn in the plane as (y-x,z-x). That ...

It is not easy or next to impossible to predict the amount of resources required for a convex hull computation a priori. There is only McMullen's upper bound theorem, which gives some guidance.

For instance, this is the maximal number of facets of a polytope in dimension 10 with 10! vertices ...

Your approach only works in the smooth case. In that case the toric variety (defined by the normal fan of the polytope) is simplicial. Intersecting the normal fan gives a finite simplicial complex, and its non-faces give you the Stanley-Reisner ring. See polymake's topaz documentation . See also ...

Your code complies with what is allowed in the docs. So it's probably a bug. Stay tuned.

The group SL(2, 5) does not have a faithful 3-dimensional real representation. Thus it does not act as a group of symmetries of a 3-dimensional object such as an icosahedron.

But then, what exactly do you expect polymake to do for you?