|  |  | last edited 6 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)