slackIdeal(..., Vars => {a..r})
slackIdeal(..., Vars => {y_1..y_6})
slackIdeal(..., Vars => {A, B, S, T})