[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-developer] Set Any and SXHASH
From: |
Martin Rubey |
Subject: |
Re: [Axiom-developer] Set Any and SXHASH |
Date: |
07 Apr 2007 18:11:09 +0200 |
User-agent: |
Gnus/5.09 (Gnus v5.9.0) Emacs/21.4 |
Waldek Hebisch <address@hidden> writes:
> Martin Rubey wrote:
> > "Set" uses the order of the underlying domain *if* the latter is an
> > OrderedSet,
> > i.e., if it is totally ordered. In my opinion, this is a very reasonable
> > decision.
> Thanks for pointing out this -- I trusted documentation, but
> documentation was wrong. So, Bill first fix is fine if domains
> has OrderedSett, but sorting must be conditional on OrderedSet.
> I have now updated documentation and applied (to wh-sandbox) the fix.
Great.
> When I wrote about design bug I meant idea of sorting something
> which is not an OrderedSet.
Great! I'm very happy we agree!
Martin
- Re: [Axiom-developer] Set Any and SXHASH, (continued)
- 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, 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