Dear Ralf, I wrote:
> I'd consider MultiSorted species as a necessary generalization in order to > have a clean design for isomorphism types. I just remembered that, when I started implementing iso-experiment, I thought about the relationship to MultiSorted species. And I came to the conclusion - I believe - that I would cover only a part of MultiSorted species, but I am not so sure anymore. Ralf, did you check? In particular, I think generating labelled structures of several sorts is not covered by my approach. Well, you did not say that anyway... You wrote: > I've now read the section on multi-sort species again, and begin to > understand that these "structure types inbetween" (which come from multiset > input) are, in fact, ordinary isomorphism types of multi-sort species. More thinking needed... 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
