“–bbox” switches on calculation of bounding boxes for polyhedra in common planes. This allows for a much faster calculation of BIOMD0000000146_numer.
“–filter X” allows to only use the first X polyhedra per iteration. This allows to at least calculate a subset of the solution.
“–remove X,…” will remove polyhedra from bags. With this, one can rewmove superfluous polyhedra. That fact and their name can be found in common planes computation.
I started a first attempt at some documentation! <gasp> So far, only some switches are in it.
Yesterday, I gave a talk in Aachen in JRC-COMBINE (part of RWTH) to the group of Andreas Schuppert, where Satya S. Samal is working. Thanks again for the very interesting discussions!
Here are my slides on tropical geometry and PtCut, titled “Using PtCut to Compute Tropical Equilibrations“.
In preparation of submission of an article on my software I have released PtCut v1.16.0. It is freely available under the GNU Lesser General Public License (Version 3).