is_face {simplextree}

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.

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.

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)