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.