next | previous | forward | backward | up | top | index | toc | Macaulay2 website

SimplicialPosets :: isSimplicial

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, a Boolean value, 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 a method function.