IsLattice -- checks if the poset is a lattice |
Syntax |
IsLattice(relP: LIST): BOOL |
Description |
Example |
// POSET: // 3 4 // \ / // 2 // | // 1 /**/ relP := [[1, 2], [2, 3], [2, 4]]; /**/ IsLattice(relP); false // P: // 5 // / \ // 3 4 // | | // 2 | // \ / // 1 /**/ relP := [[1,2], [2,3], [1,4], [3,5], [4,5]]; /**/ IsLattice(relP); true |
See Also |