up previous next
IsLattice    --    checks if the poset 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