[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-developer] Set Any and SXHASH
From: |
Waldek Hebisch |
Subject: |
Re: [Axiom-developer] Set Any and SXHASH |
Date: |
Thu, 5 Apr 2007 19:25:22 +0200 (CEST) |
Bill Page wrote:
> On April 5, 2007 1:04 PM Waldek Hebisch wrote:
> >
> > Bill Page wrote:
> > >
> > > If Set is implemented by sorting the linear order cannot be
> > > domain specific since there certainly are domains from which
> > > we might wish to form finite sets for which no "natural" order
> > > can be defined, e.g. the domain Any. But I think it is always
> > > possible to define some lexical ordering over the members of
> > > all domains For example, the Axiom interpreter contains the
> > > Lisp function LEXGREATERP in
> > >
> > > src/interp/ggreater.lisp.pamphlet
> > >
> > > For the implementation of Set using sorting all that is required
> > > is that the ordering be constant within an Axiom session.
> > >
> >
> > 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.
--
Waldek Hebisch
address@hidden
- [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 <=
- RE: [Axiom-developer] Set Any and SXHASH, Bill Page, 2007/04/05
- 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