A quasi-polynomial can be written in two ways, either as a polynomial with periodic functions as coefficients, or, as a list of polynomials for each modulus up to the quasi-period n, i.e.,
$$ f(k) = f_i(k) \quad \text{if} \quad k \equiv i \ (\text{mod}\ n) \ .$$
The polynomials in this property are ...

A new `polymake_jll` is available now, version v400.1500.2+0. If you just have Polymake.jl in your environment then updating it should pull that version in.
If you are using Oscar then you will need to switch to the Oscar master branch ( ]add Oscar#master ) because the build is using the a flint ...

Thanks for the details, I can reproduce the problem and it does look like memory leak there.
I don't see a way to avoid this without a new polymake build, sympol is the only software for this conversion up to symmetry. There is an option to switch to a different convex hull code but unfortunately ...

There are two things happening here:

First, polymake tries to compute GRASS_PLUCKER_CERTIFICATE (which is required to compute NON_REALIZABLE) but the code fails with std::bad_alloc . This usually indicates that the program ran out of available memory, very likely on the polymake web-shell which is ...

You can get the inequalities (or more precisely the facets) in matrix form via: print $p->FACETS;
INEQUALITIES is an input property to supply possibly redundant inequalities while FACETS can be computed to give a proper H-description of the polytope.

Some more details are explained in this ...

Unfortunately, our unimodularity check currently requires a full dimensional subdivision and will return false if it is low-dimensional. We are working on fixing this for the next polymake release.

Hi,

you can convert the tropical number with the generic convert_to<...> function:
polytope > $t = new TropicalNumber<Max>(5);

polytope > print convert_to<Rational>($t);
5
You can also directly convert to an integer and it will error if it is not integral. The same function can also convert ...

Please try the attached patch (it contains changes for these template arguments and some more compatibility fixes). Unfortunately these changes didn't make it into 4.13 but they will be included in the next release.

Best,
Benjamin

The loaded object is a perl hash reference, and at the key faces it has a perl array reference, so for accessing these need to be dereferenced, e.g. with arrows. The data key is only used internally.

You can access the sets like this:

polytope > $x = load_data("obj.json");

polytope > print $x ...

The files for the jupyter interface were removed from the polymake package on fedora since it is available as a separate package: python3-jupyter-polymake
Please try installing this package instead of using the jupyter script.

Best
Benjamin