The method takes a list of pairs that indexes planes and removes redundancies in the list. By a redundancy, we mean when one plane in the list is contained in another plane.
i1 : R = QQ[x,y,z] o1 = R o1 : PolynomialRing |
i2 : I = ideal(x*y,y*z) o2 = ideal (x*y, y*z) o2 : Ideal of R |
i3 : Q = quasidegrees(R^1/I) o3 = {{| 0 |, {| 1 |}}, {| 0 |, {| 1 |, | 1 |}}} o3 : List |
The two pairs in Q each correspond to the complex plane so there is a redundancy.
i4 : removeRedundancy Q o4 = {{| 0 |, {| 1 |, | 1 |}}} o4 : List |