-- -*- M2-comint -*- hash: 13778015108548815970

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

i5 : 
