next | previous | forward | backward | up | top | index | toc | Macaulay2 website
SimplicialComplexes :: isFaceOf

isFaceOf -- Substitute a face to a different ring.

Synopsis

Description

Substitute a face to a different ring.

i1 : K=QQ;
i2 : R=K[x_1..x_5];
i3 : C=simplicialComplex monomialIdeal (x_1*x_2,x_3*x_4*x_5)

o3 = | x_2x_4x_5 x_1x_4x_5 x_2x_3x_5 x_1x_3x_5 x_2x_3x_4 x_1x_3x_4 |

o3 : SimplicialComplex
i4 : F1=face {x_1,x_2}

o4 = x  x  
      1  2

o4 : face with 2 vertices in R
i5 : F2=face {x_1,x_3}

o5 = x  x  
      1  3

o5 : face with 2 vertices in R
i6 : isFaceOf(F1,C)

o6 = false
i7 : isFaceOf(F2,C)

o7 = true

Ways to use isFaceOf :

For the programmer

The object isFaceOf is a method function.