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 |