Gaby, I think Yixin Cao's references are good. That is the only discussion about 'is' that I recall (not on axiom-developer list).
>From my current perspective this main issue is this: http://sourceforge.net/mailarchive/message.php?msg_name=fbcd16d40807251353x7adf4c91vb7aef02636ab9a06%40mail.gmail.com On Fri, Jul 25, 2008 at 2:54 AM, Yixin Cao wrote: > > Another undocumented usage of "has" is even check the equality of > domains, try: > )abbrev package TEST Test > Test(T:Type):with > if T has Integer then Ring > which is intrinsic and too ad-hoc. Why does this exist? > If we consider 'Integer' in this *context* as standing for the category to which Integer belongs, i.e. the enter category-value to the right of : in the domain definition Integer(): ... then this test is not ad-hoc. It makes sense to treat the category part of the definition of a domain to be an unnamed category. ... There was another case (probably on FriCAS list) where I was advocating treating a domain as a "singleton" category. I recall this possibility mentioned by Stephen Watt during the Aldor workshop at RISC. Regards, Bill Page. On Mon, Nov 17, 2008 at 10:13 PM, Yixin Cao wrote: > On Mon, Nov 17, 2008 at 8:59 PM, Gabriel Dos Reis wrote: >> >> Bill -- >> >> I seem to remember you had a discussion (on axiom-developer) about >> the use of 'is' as an equality operator for domains, and there were >> some issues with that. I cannot have find that discussion right now; >> do you have a link? >> >> -- Gaby >> > > Are these you want? > > http://sourceforge.net/mailarchive/forum.php?thread_name=f85b5db50807242354n6422c58an2147fef5cced6984%40mail.gmail.com&forum_name=open-axiom-devel > http://sourceforge.net/mailarchive/forum.php?thread_name=f85b5db50807171949y2f030c6dn5e16b68e0e194387%40mail.gmail.com&forum_name=open-axiom-devel > > --Yixin > ------------------------------------------------------------------------- This SF.Net email is sponsored by the Moblin Your Move Developer's challenge Build the coolest Linux based applications with Moblin SDK & win great prizes Grand prize is a trip for two to an Open Source event anywhere in the world http://moblin-contest.org/redirect.php?banner_id=100&url=/ _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
