MaxChains -- computes all the maximal chains from the relations of the poset |
Syntax |
MaxChains(relP: LIST): LIST of LIST |
Description |
Example |
// POSET: // 3 4 // \ / // 2 // | // 1 /**/ relP := [[1, 2], [2, 3], [2, 4]]; /**/ MaxChains(relP); [[1, 2, 3], [1, 2, 4]] |