-- -*- M2-comint -*- {* hash: 1943051478 *}

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

i6 :