|
|
last edited 5 years ago by test1 |
1 2 3 | ||
Editor: test1
Time: 2019/08/02 14:06:33 GMT+0 |
||
Note: |
changed: - Expressions like 'sin(x)' appear unevaluated until a value is - substituted for x but expressions like 'max(x,y)' return 'y'! - Why is that? There is difference between functions and expressions: - programming linguage functions produce values, expressions are values There is difference between functions and expressions: programming language functions produce values, expressions are values changed: - value producing function. 'max' used order on expression to pick function. 'max' used order on expression to pick
There is difference between functions and expressions:
programming language functions produce values, expressions are values
which represent symbolic information. In the past max
was ordinary
function. max
used order on expression to pick
"bigger" argument, quite unlike expected symbolic behaviour.
Now in FriCAS expressions are no longer ordered and old max
definition does not work, freeing the name so that we can give
it symbolic meaning.
functions with signatures like (a,b,B(a))->(C(a,b))
Odd(0)=false, Odd(n)=Even(n-1) Even(0)=true, Even(n)=Odd(n-1)