Martin Rubey wrote:
> 
> Martin Rubey <[EMAIL PROTECTED]> writes:
> 
> > Gabriel Dos Reis <[EMAIL PROTECTED]> writes:
> > 
> > > The use of operator ^ for logical negation is discontinued, starting
> > > from release 1.3.0.  
> > 
> > This is an extremely good idea!  It made compilation of SPAD files an
> > adventure, because who would think that the compiler would interpret ^ as
> > negation...
> > 
> > Can we have this in FriCAS too, please!
> 
> Oh, I just realised that it's an algebra change.  Anyone against applying the
> patch (taken from Open-Axiom using svn diff, not yet tested) below?
> 
> 

I am for the change.  However, it would be good to test it together
with the patch below.  The patch below should disable use of '^' as
prefix operator.

--- trunk/src/interp/newaux.lisp        2008-08-29 00:53:18.000000000 +0000
+++ trunk.nn/src/interp/newaux.lisp     2008-09-02 23:13:35.000000000 +0000
@@ -131,7 +131,7 @@
           (\' 999 999 (|PARSE-Data|))
           (\<\< 122 120 (|PARSE-LabelExpr|))
           (\>\>)
-          (^ 260 259 NIL)
+;;        (^ 260 259 NIL)
           (\-\> 1001 1002)
           (\: 194 195)
           (|not| 260 259 NIL)


-- 
                              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
-~----------~----~----~----~------~----~------~--~---

Reply via email to