>> There is no problem with "Array" since there is not type "Array" in Axiom. > > So you have a new type "Array" in Axiom, that is not of > OneDimensionalArrayAggregate... > > You know that I don't like that, but I guess that it doesn't matter for now.
Yes, it doesn't matter, since Array is just an auxiliary domain for AC not a very important one. We can easily provide a mechanism to convert OneDimensionalArray to Array and back. > By the way, do you want to host my tableaux project? In any case, do you want > to see what it does so far? Cannot you provide an open repository yourself? > In fact, that raises the question: how could we include a way to determine > whether two structures are isomorphic? We really should. I would rather like to postpone the isomorphism of structures. That seems to be really difficult. 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
