login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit

Edit detail for FriCAS Problems revision 2 of 3

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.

  • [Unevaluated Expressions]?

    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.

  • [Definite Integration]?
  • [Dynamic Function Domains]?:
        functions with signatures like (a,b,B(a))->(C(a,b))
    
  • GCD in EXPR
  • [indexed variables]?
  • [List To Matrix]?
  • [Manipulating Expressions]?
  • [Mutual Recursion]?:
        Odd(0)=false, Odd(n)=Even(n-1)
        Even(0)=true, Even(n)=Odd(n-1)
    
  • [Numerical Integration]?
  • [numerical linear algebra]?
  • [Pattern Matching]?
  • [Piecewise Functions]?
  • [Polynomial Coefficients]?
  • [simplify exponents]?
  • [series]?
  • [Symbolic Integration]?
  • [Computing with Vectors]?
  • Rules for [simplifying Expressions]?
  • [Graphics on MathAction]?
  • changing how expressions are displayed