Available versions of this document: latest release, 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: