isSimplex -- determines whether a simplicial complex is simplex

Synopsis

• Usage:

  isSimplex S

• Inputs:
  • S, an abstract simplicial complex,
• Outputs:
  • B, a Boolean value, true if and only if $S$ is simplex

Description

i1 : R = QQ[a..d];

i2 : isSimplex simplicialComplex {a*b*c*d}

o2 = true

i3 : isSimplex simplicialComplex {a*b}

o3 = true

i4 : isSimplex simplicialComplex {a*b, c*d}

o4 = false

See also

• facets -- Giving the facet inequalities of a cone or polyhedron.