simplexRing(Face) -- The underlying polynomial ring of a face.

Synopsis

• Function: simplexRing

• Usage:

  simplexRing(F)

• Inputs:
  • F, a face,
• Outputs:
  • a polynomial ring,

Description

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