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

KustinMiller :: isSubface

isSubface -- Test whether a face is a subface of another face.

Synopsis

Usage:
isSubface(F,G)
Inputs:
- F, an object of class Face
- G, an object of class Face
Outputs:
- a Boolean value

Description

Test whether F is a subface of G.

i1 : K=QQ;

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

i3 : G=new Face from {x_0,x_1,x_2}

o3 = x  x  x  
      0  1  2

o3 : face with 3 vertices

i4 : F1=new Face from {x_0,x_2}

o4 = x  x  
      0  2

o4 : face with 2 vertices

i5 : F2=new Face from {x_0,x_3}

o5 = x  x  
      0  3

o5 : face with 2 vertices

i6 : isSubface(F1,G)

o6 = true

i7 : isSubface(F2,G)

o7 = false

See also

Complex -- The class of all simplicial complexes.
Face -- The class of faces of simplicial complexes.
facets -- The facets of a simplicial complex.
faces -- Returns the faces of a complex

Ways to use `isSubface` :

isSubface(Face,Face)