On Tue, Aug 5, 2008 at 6:47 PM, Bill Page <[EMAIL PROTECTED]> wrote: > On Tue, Aug 5, 2008 at 6:43 PM, Gabriel Dos Reis wrote: >> On Tue, Aug 5, 2008 at 4:54 PM, Bill Page wrote: >>> On Tue, Aug 5, 2008 at 4:20 PM, Gabriel Dos Reis wrote: >>>> >>>> >>>> The category SetAggregate exports a partial ordering operation for >>>> set inclusion under the name "<". I consider this harmful. The >>>> principal reason is that since set inclusion is a *partial ordering*, >>>> its spelling should not be tied to "<", or any other usual relational >>>> comparison because the interpreter (and the compiler in older >>>> versions of Axiom) do *syntactic* replacements of x >= y by >>>> not (x < y) -- and my other misguided syntactic transformations, >>>> -- which is true only if we had a total ordering. >>>> >>>> Thoughts? >>>> >>> >>> As you said: simple syntactic transformations of this kind are >>> "misguided". I think that first of all such transformations should be >>> eliminated. >> >> Just eliminating the syntactic transformations in the interpreter >> does not solve the problem: you get new failures, and they need to >> be resolved. My proposal fort SetAggregate is to replace "<" with >> "part?". >> > > Sure, that would solve the immediate problem. If that is all that is > of interest then why not just replace those references to '<' with > 'subset?' and eliminate the export of '<' from SetAggregate?
There operation subset? does not compute the same thing as "<". ------------------------------------------------------------------------- This SF.Net email is sponsored by the Moblin Your Move Developer's challenge Build the coolest Linux based applications with Moblin SDK & win great prizes Grand prize is a trip for two to an Open Source event anywhere in the world http://moblin-contest.org/redirect.php?banner_id=100&url=/ _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
