Dear all, * I discovered that the operation "expression" in Plus, Times and Compose does not work correctly, as soon as one of the arguments contains the special expression "Self". I put a detailed description into the doc, but I'll check it in only upon request, since I would rather check in a fix. (The fix will be to rename the operation "expression" to "grammar" again, and make its signature
grammar: List SpeciesExpression. * I have now a working implementation of Knuth's algorithm for generating all partitions of a multiset. (The implementation has some rough edges, because of compiler bugs I don't know how to work around yet) This is the first step to implement "isomorphismTypes" for Compose, which makes me quite happy. Unfortunately, I still do not understand the connection to species in several variables, neither to the cycle indicator series. Recall that I want to make isomorphismTypes(1^n1,2^n2,3^n3,...,m^nm) return those nonisomorphic structures which have n1 labels 1, n2 labels 2 and so on. So, I guess these are exactly the isomorphismTypes of the species in variables 1,2,...,m. But I really have to check this. Help would be very mostly appreciated! Good luck for 2007, Martin ------------------------------------------------------------------------- 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
