Hello Martin, I have seen your definitions of Partial and Generator before, but I am not quite sure whether they are needed.
If I remember correctly, you need them in order to generate structures in Axiom. But all structures of a certain size are finite. Wouldn't it make more sense to provide listStructures: SetSpecies L -> List %; ? I am not so sure about the name listStructrures and the result type could perhaps also be SetSpecies(%), but I believe that would be a cleaner solution to the problem of not being able to access a generator on the Axiom command line. What do you think? 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
