I am interested in the problem of counting the number of linear extensions of series-parallel structures. The wikipedia article at http://en.wikipedia.org/wiki/Series-parallel_partial_order pointed me to the following formulae:
L( P ; Q ) = L(P)L(Q)
L( P || Q ) = ( (|P| + |Q|)! / (|P|! . |Q|!) ) . L(P) . L(Q)
However, these do not cover the cases where the duplicates are omitted.
For example, for the structure
x || x
the number of linear extensions should be 1, when duplication is omitted, however the formula above would deliver 2.
Does anyone know how the factoring of the duplicates can be integrated into the formula above?