[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.


> When I wrote about design bug I meant idea of sorting something
> which is not an OrderedSet.

Great! I'm very happy we agree!


reply via email to

[Prev in Thread] Current Thread [Next in Thread]