[Trac] [OpenMath] #90: functions as parameters

[OpenMath]

#90: functions as parameters
-----------------------------+----------------------------------------------
    Reporter:  jauecker      |           Owner:  kohlhase  
        Type:  proposal      |          Status:  new       
    Priority:  major         |       Milestone:  CD3 Draft1
   Component:  OM3 Standard  |         Version:            
    Keywords:                |   Include_gantt:  0         
Dependencies:                |      Due_assign:  YYYY/MM/DD
   Due_close:  YYYY/MM/DD    |  
-----------------------------+----------------------------------------------
 '''Peter:'''


 arith1.sum, calcucus1.diff etc. all take a function as a parameter.
    There are several quirks with this:
    * First, there ARE no functions in OM. From the examples I found
 that this
      is referring to fns1.lambda-expressions.
    * Handling around these is -- from a computer-algebra point of
      view -- rather cumbersome.
    * In CA, you very frequently use expressions for this purpose and
 specify
      the variable as an additional parameter as in diff(x^2+1, x),
 we'd highly
      prefer this.

-- 
Ticket URL: <https://trac.kwarc.info/OM3/ticket/90>
OpenMath <http://www.openmath.org>
The development of the OpenMath Standard and Content Dictionaries.