That is correct, we use 4.2.8 of Cox, Little, Schenck, and did not deal with (1) yet.

Since we are still figuring out the details of our final implementation, I made posted a jupyter notebook that should do the trick for small examples: https://github.com/lkastner/jupyter-notebooks/blob/main/equal_support_pm.ipynb There might still be boundary cases missing. Also note that this is re...

When using load the data needs to be in json(or previously xml) format. You can have a look at this as follows in polymake: $p = cube(2); $p->name="square"; save($p); Then open the file square.poly to see what it looks like. Maybe if you do the following you can fix your issue. Change the ...

The error you are running into comes from apps/polytope/src/projection.cc: const int ambient_dim = p_in.give(object_prefix + "_AMBIENT_DIM"); const int dim = p_in.give(object_prefix + "_DIM"); const int codim = ambient_dim-dim; const Matrix<Scalar> linear_span = p_in.give(linear_...

Thank you for the bug report, this is the right place. I just uploaded a new revision at https://polymake.org/lib/exe/fetch.php/download/mptopcom-1.0r2.tar.bz2 . I checked it with polymake 3.3, so hopefully this also works for you. It will still produce some warnings during build, these will be gone...

Thank you, we found the files and copied them to the right place. I should have thought of that myself.

Sorry for reviewing this old thread, but we are having the exact same problem. We are on Ubuntu 14.04, but on a Windows10 machine, this is their new feature, not a virtual machine. We can build and install polymake, but the Ext.so is missing. No obvious errors during building or installation though....

Right now I am using a user_function to set these values from the outside as an interim solution. This is not very pretty, but it works fine, so take your time.
Thanks, Lars

I was wondering if it is possible to set multiple using rules. For example for Ideals we want to compute the primary decomposition which is a set of ideals. We introduced this as a multiple subobject, but it doesn't seem to be possible to add multiple subobjects in rules. Is there some workaround fo...