simplexRing(Complex) -- The underlying polynomial ring of a complex.

Synopsis

• Function: simplexRing

• Usage:

  simplexRing(C)

• Inputs:
  • C, an embedded complex,
• Outputs:
  • a polynomial ring,

Description

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