PosetMeet -- meet between two elements of a poset from the relations of the poset |
Syntax |
PosetMeet(relP: LIST, N: INT, M: INT): LIST |
Description |
Example |
// POSET: // 3 4 // \ / \ // 2 5 // | // 1 /**/ relP := [[1, 2], [2, 3], [2, 4], [5,4]]; /**/ PosetMeet(relP, 3, 4); [2] /**/ PosetMeet(relP, 2, 5); [] --> if it does not exist! |
See Also |