isBorel
isBorel I
-- determine whether a
MonomialIdeal
I is fixed by the action of the Borel subgroup of upper triangular matrices acting on the variables.
