Available versions of this document: latest release, release 4.13, release 4.12, release 4.11, release 4.10, release 4.9, release 4.8, release 4.7, release 4.6, release 4.5, release 4.4, release 4.3, release 4.2, release 4.1, release 4.0, release 3.6, release 3.5, nightly master
Reference documentation for older polymake versions: release 3.4, release 3.3, release 3.2
BigObject SlackIdeal
from application ideal
The type SlackIdeal is a thin wrapper around Ideal
that allows avoiding saturation. The current algorithm for computing the SLACK_IDEAL
of a Polytope
first computes an ideal whose saturation is the actual slack ideal. This last step is very expensive and probably necessary for many applications. Hence the SlackIdeal contains a second ideal NON_SATURATED
as a property and the actual saturation step is only done once one asks for the GENERATORS
of the SlackIdeal.
- derived from: