# isSimplicial -- Determine if a poset is simplicial.

## Synopsis

• Usage:
r = isSimplicial(P)
• Inputs:
• P, an instance of the type Poset, The poset to be tested
• Outputs:
• r, , Whether the given poset is simplicial or not

## Description

This method uses the isBoolean method to check that every closed interval of P is a boolean algebra.

 i1 : P = booleanLattice(3); i2 : isSimplicial(P) o2 = true

## Ways to use isSimplicial :

• "isSimplicial(Poset)"

## For the programmer

The object isSimplicial is .