"Bill Page" <[EMAIL PROTECTED]> writes: | On Wed, Jul 9, 2008 at 10:47 AM, Gabriel Dos Reis wrote: | > ... | > Then, how do you distinguish this SubDomain from that SubDomain? | > As far as I can tell, both are spelled the same. | > | | They have different numbers of arguments.
So what should be concluded from that? Is Mapping different from Mapping because I can write Mapping(Integer,Integer) and Mapping(Integer,Integer,Integer) ? | | >> | >> I think these are related, as I speculated in my previous email, | >> but they are certainly not the same. | > | > How do I know that? | > | | Do you think that the Axiom (and FriCAS) interpreter output is wrong? t can be wrong or it can be right; but without a semantics description how do I know the output is wrong? -- Gaby ------------------------------------------------------------------------- Sponsored by: SourceForge.net Community Choice Awards: VOTE NOW! Studies have shown that voting for your favorite open source project, along with a healthy diet, reduces your potential for chronic lameness and boredom. Vote Now at http://www.sourceforge.net/community/cca08 _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
