slackIdeal(..., Strategy => Iterate)
slackIdeal(..., Strategy => Bayer)
slackIdeal(..., Strategy => Linear)
slackIdeal(..., Strategy => Eliminate)