isMassEliminate -- determines whether the Boij-Soederberg decomposition algorithm eliminates multiple Betti numbers at the same time

i1 : R = ZZ/8821[x,y,z,w]

o1 = R

o1 : PolynomialRing

i2 : I = ideal(x^2,y^2,z^4,w^8)

             2   2   4   8
o2 = ideal (x , y , z , w )

o2 : Ideal of R

i3 : B = betti res I

            0 1 2 3 4
o3 = total: 1 4 6 4 1
         0: 1 . . . .
         1: . 2 . . .
         2: . . 1 . .
         3: . 1 . . .
         4: . . 2 . .
         5: . . . 1 .
         6: . . . . .
         7: . 1 . . .
         8: . . 2 . .
         9: . . . 1 .
        10: . . 1 . .
        11: . . . 2 .
        12: . . . . 1

o3 : BettiTally

i4 : isMassEliminate(B)
-- Warning: Not Generic Case

o4 = true

i5 : J = ideal(x^4,y^5,z^7,w^9)

             4   5   7   9
o5 = ideal (x , y , z , w )

o5 : Ideal of R

i6 : C = betti res J

            0 1 2 3 4
o6 = total: 1 4 6 4 1
         0: 1 . . . .
         1: . . . . .
         2: . . . . .
         3: . 1 . . .
         4: . 1 . . .
         5: . . . . .
         6: . 1 . . .
         7: . . 1 . .
         8: . 1 . . .
         9: . . 1 . .
        10: . . 1 . .
        11: . . 1 . .
        12: . . 1 . .
        13: . . . 1 .
        14: . . 1 . .
        15: . . . 1 .
        16: . . . . .
        17: . . . 1 .
        18: . . . 1 .
        19: . . . . .
        20: . . . . .
        21: . . . . 1

o6 : BettiTally

i7 : isMassEliminate(C)

o7 = true