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:

Properties

no category

NON_SATURATED

An ideal whose saturation is the SLACK_IDEAL of a Polytope.

Type: