-- -*- M2-comint -*- {* hash: -346842128 *} 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 i5 :
-- -*- M2-comint -*- {* hash: -346842128 *} 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 i5 :