simplexRing(F)
The underlying polynomial ring of F.
i1 : R=QQ[x_0..x_4];
i2 : C=simplex R;
i3 : F=C.fc_2_0 o3 = x x x 0 1 2 o3 : face with 3 vertices
i4 : simplexRing F o4 = R o4 : PolynomialRing
i5 : R.grading o5 = | -1 -1 -1 -1 | | 1 0 0 0 | | 0 1 0 0 | | 0 0 1 0 | | 0 0 0 1 | 5 4 o5 : Matrix ZZ <-- ZZ