Re: [open-axiom-devel] 'is' for domain equality

2008-11-19 Thread Gabriel Dos Reis
"Bill Page" <[EMAIL PROTECTED]> writes: | On Mon, Nov 17, 2008 at 11:47 PM, Gabriel Dos Reis wrote: | > | > hmm, I think I may have found part of what I was looking for, | > see the discussion starting at | > | > http://lists.gnu.org/archive/html/axiom-developer/2007-01/msg1.html | > | > (I s

Re: [open-axiom-devel] 'is' for domain equality

2008-11-18 Thread Bill Page
On Mon, Nov 17, 2008 at 11:47 PM, Gabriel Dos Reis wrote: > > hmm, I think I may have found part of what I was looking for, > see the discussion starting at > > http://lists.gnu.org/archive/html/axiom-developer/2007-01/msg1.html > > (I should have thought of `conditional' when searching). > T

Re: [open-axiom-devel] 'is' for domain equality

2008-11-18 Thread Ralf Hemmecke
Maybe not so much of a discussion, but I guess that also Tarzan and Jane might be of interest to you. https://svn.origo.ethz.ch/algebraist/trunk/aldor/aldor/lib/libfoamlib/langx.as Ralf On 11/18/2008 05:47 AM, Gabriel Dos Reis wrote: > "Bill Page" <[EMAIL PROTECTED]> writes: > > | Gaby, > | >

Re: [open-axiom-devel] 'is' for domain equality

2008-11-17 Thread Gabriel Dos Reis
"Bill Page" <[EMAIL PROTECTED]> writes: | Gaby, | | I think Yixin Cao's references are good. That is the only discussion | about 'is' that I recall (not on axiom-developer list). ok; thanks to both of you -- I was strongly under the impression that I've seen an 'is' discussion on axiom-developer

Re: [open-axiom-devel] 'is' for domain equality

2008-11-17 Thread Bill Page
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.gma

Re: [open-axiom-devel] 'is' for domain equality

2008-11-17 Thread Yixin Cao
On Mon, Nov 17, 2008 at 8:59 PM, Gabriel Dos Reis <[EMAIL PROTECTED]> 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 n

[open-axiom-devel] 'is' for domain equality

2008-11-17 Thread Gabriel Dos Reis
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 -- Dr. Gabriel Dos Reis ([EMAIL PROTECTED]), Assi