is_face: Is face

In simplextree: Provides Tools for Working with General Simplicial Complexes

Description

Checks whether a simplex is a face of another simplex and is in the complex.

Usage

is_face(st, tau, sigma)

Arguments

st	a simplex tree.
tau	a simplex which may contain sigma as a coface.
sigma	a simplex which may contain tau as a face.

Details

A simplex τ is a face of σ if τ \subset σ. This function checks whether that is true. tau and sigma are sorted before comparison.

Value

boolean indicating whether tau is a face of sigma.

See Also

std::includes

Examples

st <- simplex_tree()
st %>% insert(1:3)
st %>% is_face(2:3, 1:3)
st %>% is_face(1:3, 2:3)

simplextree documentation built on Sept. 13, 2020, 5:06 p.m.