documentation:release:4.8:ideal:slackideal

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:

NON_SATURATED

An ideal whose saturation is the SLACK_IDEAL of a Polytope.

Type:

  • documentation/release/4.8/ideal/slackideal.txt
  • Last modified: 2022/12/19 15:11
  • by 127.0.0.1