Martin Rubey <[EMAIL PROTECTED]> writes: > Marni Mishna writes that this is due to Cauchy-Frobenius, i.e., (I guess) > Proposition 4.3.2 in BLL, expressing the cycle index series as sum over all > isomorphism types of the cycle index polynomials. I still have to check > that.
OK, I checked. It is indeed due to 4.3.2 and Theorem 17 of the Appendix in BLL, i.e. Polya-Redfield. If you prefer ECII by Stanley, it is Theorem 7.24.4. I'll put that into the documentation as soon as I can. Martin ------------------------------------------------------------------------- This SF.net email is sponsored by DB2 Express Download DB2 Express C - the FREE version of DB2 express and take control of your XML. No limits. Just data. Click to get it now. http://sourceforge.net/powerbar/db2/ _______________________________________________ Aldor-combinat-devel mailing list Aldor-combinat-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/aldor-combinat-devel
