Computes the maximal monomials which are not in the monomial ideal, i.e. the "socle-corners".
i1 : R = CC[x,y,z]; |
i2 : I = monomialIdeal{x^2,y^2,z^2}
2 2 2
o2 = monomialIdeal (x , y , z )
o2 : MonomialIdeal of R
|
i3 : sCorners I
o3 = | xyz |
1 1
o3 : Matrix R <--- R
|
i4 : sCorners I^2
o4 = | x3yz xy3z xyz3 |
1 3
o4 : Matrix R <--- R
|
i5 : G = vars R
o5 = | x y z |
1 3
o5 : Matrix R <--- R
|
i6 : sCorners G
o6 = | 1 |
1 1
o6 : Matrix R <--- R
|