[Trac] [OpenMath] #91: ?CD prog1

[OpenMath]

#91: ?CD prog1
------------------------------+---------------------------------------------
     Reporter:  jauecker      |          Owner:  kohlhase  
         Type:  proposal      |         Status:  new       
     Priority:  major         |      Milestone:  CD3 Draft1
    Component:  OM3 Standard  |        Version:            
   Resolution:                |       Keywords:            
Include_gantt:  0             |   Dependencies:            
   Due_assign:  YYYY/MM/DD    |      Due_close:  YYYY/MM/DD
------------------------------+---------------------------------------------
Old description:

> '''Peter:'''
>

> prog1 doesn't really make me happy:
>    * The prog1 stuff doesn't clearly answer the scope-question.
>    * How are lambda(x, x+1) and function_definition(x, x+1) related?
>    * When you claim that  "fns1.lambda" is the way to define a 'OM-
> function'
>      (which is implicitly(!) done in many places), the CAS-people
> don't know how
>      to marshal their functions in OM, especially if they consist of
> a sequence
>      of commands.

New description:

 '''Peter:'''


 prog1 doesn't really make me happy:
    * The prog1 stuff doesn't clearly answer the scope-question.
    * How are lambda(x, x+1) and function_definition(x, x+1) related?
    * When you claim that  "fns1.lambda" is the way to define a 'OM-
 function' (which is implicitly(!) done in many places), the CAS-people
 don't know how to marshal their functions in OM, especially if they
 consist of a sequence of commands.

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