Macaulay2 » Documentation
Packages » KustinMiller :: isFaceOf
next | previous | forward | backward | up | index | toc

isFaceOf -- Substitute a face to a different ring.

Synopsis

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.