next | previous | forward | backward | up | top | index | toc | Macaulay2 web site

KustinMiller :: substituteFace

substituteFace -- Substitute a face to a different ring.

Synopsis

Usage:
substituteFace(F,R)
Inputs:
- F, an object of class Face
- R, a polynomial ring
Outputs:
- an object of class Face

Description

Substitute a face to a different simplex ring. R should contain the variables of the ring(Face) of F.

i1 : K=QQ;

i2 : R=K[x_0..x_4];

i3 : F=face {x_0,x_1,x_2}

o3 = x  x  x  
      0  1  2

o3 : face with 3 vertices

i4 : S=R**K[y]

o4 = S

o4 : PolynomialRing

i5 : substituteFace(F,S)

o5 = x  x  x  
      0  1  2

o5 : face with 3 vertices

See also

Complex -- The class of all simplicial complexes.
face -- Generate a face.
Face -- The class of faces of simplicial complexes.
facets -- The facets of a simplicial complex.
faces -- Returns the faces of a complex
idealToComplex -- Compute the Stanley-Reisner complex.

Ways to use `substituteFace` :

substituteFace(Face,PolynomialRing)