[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
RE: [Axiom-developer] Set Any and SXHASH
From: |
Bill Page |
Subject: |
RE: [Axiom-developer] Set Any and SXHASH |
Date: |
Thu, 5 Apr 2007 14:17:22 -0400 |
On April 5, 2007 1:25 PM Waldek Hebisch wrote:
> ...
> > >
> > > You need an order which is consistent with equality.
> >
> > I agree.
> >
> > > Since equality is domain-specific you need also domian-
> > > specific order. I agree that we do not have one handy.
> >
> > I do not agree. What do you think is wrong with LEXGREATERP
> > for this purpose?
> >
>
> AFAICS LEXGREATERP compares representations, completly ignoring
> equality from domain.
>
Yes. Why do you say that this would not be consistent with
domain equality?
What problems would occur if elements of all finite sets
were ordered according to this ordering?
Regards,
Bill Page.
- [Axiom-developer] Set Any and SXHASH, Bill Page, 2007/04/04
- Re: [Axiom-developer] Set Any and SXHASH, Waldek Hebisch, 2007/04/05
- RE: [Axiom-developer] Set Any and SXHASH, Bill Page, 2007/04/05
- Re: [Axiom-developer] Set Any and SXHASH, Waldek Hebisch, 2007/04/05
- RE: [Axiom-developer] Set Any and SXHASH, Bill Page, 2007/04/05
- Re: [Axiom-developer] Set Any and SXHASH, Waldek Hebisch, 2007/04/05
- RE: [Axiom-developer] Set Any and SXHASH,
Bill Page <=
- Re: [Axiom-developer] Set Any and SXHASH, Waldek Hebisch, 2007/04/06
- RE: [Axiom-developer] Set Any and SXHASH, Bill Page, 2007/04/06
Re: [Axiom-developer] Set Any and SXHASH, Martin Rubey, 2007/04/06