====== BigObject SlackIdeal ======
//from application [[..:ideal|ideal]]//\\
\\
 The type SlackIdeal is a thin wrapper around ''[[..:ideal:Ideal |Ideal]]'' that allows avoiding saturation. The current algorithm for computing the ''[[..:polytope:Polytope#SLACK_IDEAL |SLACK_IDEAL]]'' of a ''[[..:polytope:Polytope |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 ''[[..:ideal:SlackIdeal#NON_SATURATED |NON_SATURATED]]'' as a property and the actual saturation step is only done once one asks for the ''[[..:ideal:Ideal#GENERATORS |GENERATORS]]'' of the SlackIdeal.

  ? derived from:
  : ''[[..:ideal:Ideal |Ideal]]''
===== Properties =====

==== no category ====
{{anchor:non_saturated:}}
  ?  **''NON_SATURATED''**
  :: An ideal whose saturation is the ''[[..:polytope:Polytope#SLACK_IDEAL |SLACK_IDEAL]]'' of a ''[[..:polytope:Polytope |Polytope]]''.
    ? Type:
    :''[[..:ideal:Ideal |Ideal]]''


----