Waldek Hebisch <[EMAIL PROTECTED]> 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 _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
