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 |
The object isSimplex is a method function.