ring(F)
Ring of a face.
i1 : K=QQ;
i2 : R=K[x_0..x_4];
i3 : F=face {x_0,x_1,x_2} o3 = x x x 0 1 2 o3 : face with 3 vertices in R
i4 : ring F o4 = R o4 : PolynomialRing