Main idea was to allow f(x +-> 2*x, y) without parentheses where f is a function accepting a function as the first argument.
Regards Juergen Weiss Juergen Weiss | Universitaet Mainz, Zentrum fuer Datenverarbeitung, [EMAIL PROTECTED]| 55099 Mainz, Tel: +49(6131)39-26361, FAX: +49(6131)39-26407 > -----Original Message----- > From: [EMAIL PROTECTED] > [mailto:[EMAIL PROTECTED] On Behalf Of Waldek Hebisch > Sent: Wednesday, April 09, 2008 5:26 AM > To: [EMAIL PROTECTED] > Cc: open-axiom-devel@lists.sourceforge.net > Subject: [fricas-devel] Re: old patch by Juergen Weiss > > > > > > Anybody knows anything about that one? > > > > Index: interp/newaux.lisp > > =================================================================== > > --- interp/newaux.lisp (revision 268) > > +++ interp/newaux.lisp (working copy) > > @@ -108,6 +108,9 @@ > > (/\\ 250 251) (\\/ 200 201) > > (\.\. SEGMENT 401 699 (|PARSE-Seg|)) > > (=\> 123 103) > > +; juergen weiss says > > +; > http://lists.nongnu.org/archive/html/axiom-developer/2003-07/m sg00169.html > > +; (+-\> 998 112) > > (+-\> 998 102) > > (== DEF 122 121) > > (==\> MDEF 122 121) > > > > This patch changes priority if +-> operator. AFAICS before the > patch > x +-> (...) | (...) > > is parsed as > > x +-> ((...) | (...)) > > while the patch changes the parse to > > (f(x) +-> (...) ) | (...) > > Similary, > > x +-> y , z > > is parsed as > > x +-> (y , z) > > while the patch changes the parse to > > (x +-> y) , z > > For algebra the change almost no-op, because currently I see > only 3 places > in the algebra using +->, and none seem to be affected by this patch. > > I must admit that ATM I do not see a valid construct where the first > case can appear (x +-> x | y). In interpreter [x +-> y , z] is > parsed as [(x +-> y) , z] so the change removes one of the differences > between interpreter and the compiler. I must say that I do not > see any of the alternatives as clearly superior to the other. > > -- > Waldek Hebisch > [EMAIL PROTECTED] > > --~--~---------~--~----~------------~-------~--~----~ > You received this message because you are subscribed to the > Google Groups "FriCAS - computer algebra system" group. > To post to this group, send email to [EMAIL PROTECTED] > To unsubscribe from this group, send email to > [EMAIL PROTECTED] > For more options, visit this group at > http://groups.google.com/group/fricas-devel?hl=en > -~----------~----~----~----~------~----~------~--~--- > > ------------------------------------------------------------------------- This SF.net email is sponsored by the 2008 JavaOne(SM) Conference Don't miss this year's exciting event. There's still time to save $100. Use priority code J8TL2D2. http://ad.doubleclick.net/clk;198757673;13503038;p?http://java.sun.com/javaone _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
