simplextree (version 1.0.1)

is_face: Is face

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.

Value

boolean indicating whether tau is a face of sigma.

Details

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

See Also

std::includes

Examples

# NOT RUN {
st <- simplex_tree()
st %>% insert(1:3)
st %>% is_face(2:3, 1:3)
st %>% is_face(1:3, 2:3)
# }