isFaceOf -- Substitute a face to a different ring.

Usage:

substitute(F,R)
Inputs:
- F, an instance of the type Face,
- R, a polynomial ring,
Outputs:
- an instance of the type Face,

Description

Substitute a face to a different ring.

i1 : R = QQ[x_1..x_5];

i2 : C = simplicialComplex monomialIdeal (x_1*x_2,x_3*x_4*x_5)

o2 = simplicialComplex | x_2x_4x_5 x_1x_4x_5 x_2x_3x_5 x_1x_3x_5 x_2x_3x_4 x_1x_3x_4 |

o2 : SimplicialComplex

i3 : F1 = face {x_1,x_2}

o3 = x  x  
      1  2

o3 : face with 2 vertices in R

i4 : F2 = face {x_1,x_3}

o4 = x  x  
      1  3

o4 : face with 2 vertices in R

For the programmer

The object isFaceOf is a method function.

The source of this document is in KustinMiller.m2:1496:0.