Hello,

I feel right about one argument functions without parenthesis.

Of corse function call must have a higher priority than operator +-*/^.
nobody read sin x + y + 3 as sin (x+y+3), and + and - must have the same 
priority.

How must we read 2^-3. The only way is 2^(-3).
Axiom and mupad do so, maple doesn't.
But we must remain attentive about 8^2/3 = (8^2)/3, not 8^(2/3)...

I find too surprising the
^^^               : the variable ^
-+                   : the variable +
+-+                 : an error
-+-+                : (-2) +
++-+-              : a comment
Allow the user to add new operators will be more usefull...
[maybe the ! factorial... ]

Maple doesn't allow to use internal function as variable.
so sqrt - 1 has no sense. Indeed function names and variables are in the 
same space, and sin is the code of the function sin...

For mupad sqrt - 1 was the function x +-> sqrt (x)-1 because mupad 
allows operator over functions : f+g is the function x+->f(x)+g(x).

As axiom doesn't know operators over functions, so sqrt -1 might be read 
as sqrt(-1), Axiom already reads 2^-1 = 2^(-1) without problem.

I don't code axioms kernel, I don't have the right advice.

Francois

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

Reply via email to