covers -- a poset description from the list of the strict relations |
Syntax |
covers(relP: LIST): LIST of LIST |
Description |
Example |
// POSET: // 3 4 // \ / // 2 // | // 1 /**/ relP := [[1,2], [2,3], [2,4]]; /**/ covers(relP); [[], [1], [1, 2], [1, 2]] /**/ indent(covers(relP)); [ [], // elems < 1 [1], // elems < 2 [1, 2], // elems < 3 [1, 2] // elems < 4 ] |