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. >> >> 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? > (1) -> c:=INS > > (1) IntegerNumberSystem > Type: SubDomain Domain Regards, Bill Page. ------------------------------------------------------------------------- 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
