i1 : R=QQ[x_0..x_4]; |
i2 : C=simplex R; |
i3 : simplexRing C o3 = R o3 : PolynomialRing |
i4 : R.grading
o4 = | -1 -1 -1 -1 |
| 1 0 0 0 |
| 0 1 0 0 |
| 0 0 1 0 |
| 0 0 0 1 |
5 4
o4 : Matrix ZZ <--- ZZ
|