Re: [Axiom-developer] Set Any and SXHASH

[Martin Rubey]

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