On April 5, 2007 1:25 PM Waldek Hebisch wrote: > ... > > > > > > You need an order which is consistent with equality. > > > > I agree. > > > > > Since equality is domain-specific you need also domian- > > > specific order. I agree that we do not have one handy. > > > > I do not agree. What do you think is wrong with LEXGREATERP > > for this purpose? > > > > AFAICS LEXGREATERP compares representations, completly ignoring > equality from domain. >
Yes. Why do you say that this would not be consistent with domain equality? What problems would occur if elements of all finite sets were ordered according to this ordering? Regards, Bill Page. _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
