Dear Ralf, Ralf Hemmecke <[EMAIL PROTECTED]> writes:
> And for Martin ... look at some first ideas for the isomorphism types of > Compose that produce representatives. Ralf, I suggest that you (or me, if you like) merge the docs I have written for Compose in iso-experiment, with trunk. THe outline of the algorithm for isotypes in trunk is outdated. >From a mathematical perspective, Partition L and MultiSet L are close relatives, as you have noticed. However, I do not want to see isomorphismTypes: Partition L -> Generator % in trunk. If you like, we can duplicate (with svn cp) iso-experiment, and do that there -- I think that would be very easy, in fact. Much more sensible I think would be to express the same functionality with MultiSort species. Do not forget: we won't be able to generate Isotypes of FunctorialComposition, thus, to take them as an argument for the representing isotypes by representatives :-) is unfortunate. I think that Permutation, Cycles, etc. should be moved to an "examples" files, as I have started it in iso-experiment. species.as.nw should only contain the "natural transformations" and everything they depend on, don't you think? 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
