On Tue, Aug 5, 2008 at 8:14 PM, Bill Page <[EMAIL PROTECTED]> wrote: >> -- How many are aware that somewhere in AXIOM input files >> there is an expression such as >> >> s >= t >> >> where s and t are both Multiset, which relies on the fact that the >> interpreter is doing misguided syntactic transformations? (I would >> not have guessed without actually trying it). >> > > I have seen this kind of thing before because I was interested in the > subject of the proper treatment of inequalities and inequations. See > the following: > > http://axiom-wiki.newsynthesis.org/SandBoxInequation
In Fall 2007, I was working on a project for embedding theorem proving in OpenAxiom with Luke, and measured the havoc cased by the misguided syntactic transformations in both compiler and interpreter. See http://sourceforge.net/tracker/index.php?func=detail&aid=1850078&group_id=203172&atid=984524 I succeeded in eliminating most of them from the interpreter. Doing the same for the compiler is not as simple as a it looks. It has deeper implications than most of us can imagine. For example, this patch http://sourceforge.net/mailarchive/forum.php?thread_name=87k5fyj02i.fsf%40gauss.cs.tamu.edu&forum_name=open-axiom-patches is part of the effort of fixing the compiler. As you can see, it is nontrivial -- some of us have been caught more than once. ------------------------------------------------------------------------- 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
