Hello Martin, You have put in some tests into test/species.as.nw, but I somehow cannot believe that the entry for the cycle index entry is correct.
testBinaryForests testBinaryTreesOfSets testPartitionsViaCompose If I am not completely wrong, the cycle index composition should work, but it fails on these tests with a bug. I'll look at this bug this weekend. Could you meanwhile check the documentation of these tests. Your documentation doesn't quite help me. Could you please improve it an check it in? In particular the mention of the cycle index series looks incomplete to me. Further, the function check uses a 4th parameter and I believe that it cannot be right for testBinaryForests and testBinaryTreesOfSets. What you have given basically says that the cycle index series of binary forests is a series in x_1. (Look at the local function bracket at the beginning of that file.) If B is the species of trees and E the species of sets then F = E \circ B and so Z_F = Z_E \circ Z_B. Z_B is a series just in x_1, but according to BLL Definition 1.4.3 I would have expected that Z_F is a series in infinitely many variables. Same for binary trees of sets. Could you have a look at that and correct the test file. Thank you Ralf ------------------------------------------------------------------------- Take Surveys. Earn Cash. Influence the Future of IT Join SourceForge.net's Techsay panel and you'll get the chance to share your opinions on IT & business topics through brief surveys-and earn cash http://www.techsay.com/default.php?page=join.php&p=sourceforge&CID=DEVDEV _______________________________________________ Aldor-combinat-devel mailing list Aldor-combinat-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/aldor-combinat-devel
