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 |
The object isMassEliminate is a method function.