Ralf Hemmecke <[EMAIL PROTECTED]> writes: > I was not entirely doing nothing during your stay in Lyon. I think by now I > understand how to correctly generate isomorphism types for the composition of > species. However, different from your approach, I will keep the labels and > thus > produces representatives of isomorphism classes. I have not actually > implemented anything, because it somehow seems that I need MultisortSpecies.
Of course you do. Just stare at the example I give in the documentation for a while, and it should become clear. In fact, I'd be surprised if your algorithm would differ much from mine. > So I started with a first implementation of such a thing. But here it very > much seems that Aldor is reaching its limits. I'll report later on my > progress and I will probably open up a multisort branch. This is definitively necessary. No way that this is done in trunk. > After that I'll go on with the multisort stuff. But for me it is now more > important to "finish" the first round (even if isomorphism types for Compose > and FunctorialCompose are still missing). There won't be any isomorphismtypes for FunctorialCompose within the next ten years, I guess. > Could you think about one of these chapters? I think I could make a section reporting on the differences to the other approaches. However, I'm not interested in doing a tutorial or anything similar. Maybe I didn't express it very clearly: there was *no* interest *at all* in the current version of the species program. And I can even understand why: you cannot do anything "useful" with it. You can do things better than in Combstruct, but that's it. Unisort species are not interesting. Thus, I'd rather advice you to release right now, (for example, we could add it to the list of combinatorial software at the SLC site), and go on with multisort species. We will certainly make good progress there, since that's something I'd find interesting, too, and it's more fun to work together than alone. 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
