Macaulay2 » Documentation
Packages » SimplicialPosets :: isSimplicial

next | previous | forward | backward | up | index | toc

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(PolyhedralObject) -- see isSimplicial -- checks if a polyhedral object is simplicial
isSimplicial(Poset)

For the programmer

The object isSimplicial is a method function.