substitute(F,R)
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
The object isFaceOf is a method function.