Martin Rubey wrote:
> Dear Bill, Waldek, *
>
> Waldek Hebisch <[EMAIL PROTECTED]> writes:
>
> > I would say that sorting elements of Set is a design bug.
>
> I disagree - but in fact, I believe that the statement above is due to
> miscommunication:
>
> "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.
>
> If the underlying domain is not an OrderedSet, for example "ANY", then "Set"
> will use slower algorithms, which do not depend on an ordering.
>
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.
--
Waldek Hebisch
[EMAIL PROTECTED]
_______________________________________________
Axiom-developer mailing list
[email protected]
http://lists.nongnu.org/mailman/listinfo/axiom-developer
