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