On Tue, Aug 5, 2008 at 8:52 PM, Gabriel Dos Reis wrote: > On Tue, Aug 5, 2008 at 7:39 PM, Bill Page wrote: >> >> But my point is that the present problem is *only* due to the >> "misguided syntactic transformations". Eliminate those and you >> eliminate the problem. The rest of my comments relate to how you >> might be able to replace these misguided transformations by more >> sensible semantic ones. > > I forgot to say in my original email that for full disclosure I ran into > the problem I reported precisely because I removed the syntactic > transformations and hit lot of regressions. So, it does not look to me > that just removing the syntactic transformations is that simple. It does > expose a fundamental problem that needs to be addressed
Yes, I see. In that case you can take by suggestions as a method of resolving these regressions. > -- 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 > The problem has short term solutions and long term solutions. I'll take > any better long term solutions that work today and that do not lead to > complications of their owns. > :-) Regards, Bill Page. ------------------------------------------------------------------------- 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
