isSimplicial -- Determine if a poset is simplicial.

• Usage:

  r = isSimplicial(P)

• Inputs:
  • P, an instance of the type Poset, The poset to be tested
• Outputs:
  • r, a Boolean value, Whether the given poset is simplicial or not

i1 : P = booleanLattice(3);

i2 : isSimplicial(P)

o2 = true