isPure -- whether the facets are equidimensional

i1 : loadPackage "SimplicialComplexes";

i2 : R = ZZ[a..f];

i3 : D = simplicialComplex {a*b*c, a*b*d, d*e*f} 

o3 = | def abd abc |

o3 : SimplicialComplex

i4 : isPure D

o4 = true

i5 : E = simplicialComplex {a*b*c, b*d, d*e*f} 

o5 = | def bd abc |

o5 : SimplicialComplex

i6 : isPure E

o6 = false