This gives the Stanley-Reisner ideal for the simplicial complex, that is the ideal generated by the monomials representing the minimal nonfaces of P.
i1 : S = QQ[x_0,x_1,x_2,x_3,x_4] o1 = S o1 : PolynomialRing |
i2 : P = {{1, 2, 4}, {0, 1, 4}, {0, 2, 4}, {0, 3, 4}}; |
i3 : idealFromShelling(S,P) o3 = monomialIdeal (x x x , x x , x x ) 0 1 2 1 3 2 3 o3 : MonomialIdeal of S |