Hi Martin On 03/22/2007 06:52 PM, Martin Rubey wrote: > Dear Ralf, > > I just committed some more doc for composition (that's the stuff I wrote > during > the flight to Lyon) > > It's still not complete, but meanwhile it should be possible to understand why > one has to extend to multisort context for generating isotypes of composition.
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. 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. However, I think we should first add some more basic unisort species (which I currently do), write a tutorial chapter and a chapter that relates AC to all other existing structure generating packages. If that is done, AC should be released. 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). Could you think about one of these chapters? 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
