up previous next
PosetPoincarePoly    --    Poincare polynomial of a poset from the relations of the poset


Syntax 
PosetPoincarePoly(relP: LIST): RINGELEM

Description
This function returns the Poincare polynomial (in the variable t) from the list relP of the strict relations in a graded poset.

Example 
// POSET:
//         3   4
//          \ /
//           2
//           |
//           1
/**/ relP := [[1,  2], [2, 3],  [2,  4]];
/**/ PosetPoincarePoly(relP);
t +1

See Also