On Tue, Aug 5, 2008 at 3:20 PM, Gabriel Dos Reis <[EMAIL PROTECTED]> 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 ^^^^
I received a private query about why I was doing those `misguided syntactic transformations'. Well, the answer is that the above message contained a typo: I did not mean `my', but *many* - the syntactic transformations are not mine, they are inherited from the base AXIOM system and affect all flavours. Two letters make a difference. -- Gaby ------------------------------------------------------------------------- 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
