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

Function: simplexRing
Usage:

simplexRing(F)
Inputs:
- F, a face,
Outputs:
- a polynomial ring,

Description

The underlying polynomial ring of F.

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

Ways to use this method:

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

The source of this document is in SRdeformations.m2:5837:0.