Macaulay2 » Documentation
Packages » Posets :: meetIrreducibles

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

meetIrreducibles -- determines the meet irreducible elements of a poset

Synopsis

Usage:

M = meetIrreducibles P
Inputs:
- P, an instance of the type Poset,
Outputs:
- M, a list,

Description

An element $a$ of $P$ is meet irreducible if it is not the meet of any set of elements not containing $a$.

i1 : meetIrreducibles booleanLattice 3

o1 = {110, 011, 111, 101}

o1 : List

See also

joinIrreducibles -- determines the join irreducible elements of a poset
meetExists -- determines if the meet exists for two elements of a poset
posetMeet -- determines the meet for two elements of a poset

Ways to use meetIrreducibles :

meetIrreducibles(Poset)

For the programmer

The object meetIrreducibles is a method function.