IsPosetGraded -- checks if the poset is graded |
Syntax |
IsPosetGraded(relP: LIST): BOOL |
Description |
Example |
// POSET: // 3 4 // \ / // 2 // | // 1 /**/ relP := [[1, 2], [2, 3], [2, 4]]; /**/ IsPosetGraded(relP); true // P: // 5 // / \ // 3 4 // | | // 2 | // \ / // 1 /**/ relP := [[1,2], [2,3], [1,4], [3,5], [4,5]]; /**/ IsPosetGraded(relP); false |
See Also |