up previous next
IsLattice

checks if the posett is a lattice

Syntax
IsLattice(relP: LIST): BOOL

Description
This function tests whether the poset P is a lattice from the list relP of its strict relations.

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