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.