This page is read only. You can view the source, but not change it. Ask your administrator if you think this is wrong. ====== 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]]'' ---- documentation/latest/ideal/slackideal.txt Last modified: 2023/11/06 10:57by 127.0.0.1