|
|
last edited 5 years ago by test1 |
1 2 3 | ||
Editor: page
Time: 2017/03/07 18:05:42 GMT+0 |
||
Note: |
changed: - Why is that? Why is that? There is difference between functions and expressions: programming linguage functions produce values, expressions are values which represent symbolic information. In the past 'max' was ordinary value producing 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.
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
which represent symbolic information. In the past max
was ordinary
value producing 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)