[Trac] [OpenMath] #24: Lifting Operators for associative operators.

OpenMath trac at strawberry.eecs.jacobs-university.de
Wed Jan 23 14:46:49 CET 2008


#24: Lifting Operators for associative operators.
-----------------------------+----------------------------------------------
    Reporter:  kohlhase      |           Owner:  kohlhase        
        Type:  proposal      |          Status:  new             
    Priority:  blocker       |       Milestone:  MathML3CD Draft1
   Component:  OM3 Standard  |         Version:                  
    Keywords:                |   Include_gantt:  0               
Dependencies:                |      Due_assign:  YYYY/MM/DD      
   Due_close:  YYYY/MM/DD    |  
-----------------------------+----------------------------------------------
 James Davenport suggested that we introduce new lifting operators that
 lift associative operators to their -coll and -expr forms.

 For instance we have the

 DefMP: union-coll := lift-collection(union)

 FMP: lift-collection(O,O(A,B)) = O(lift-collection(O,A),lift-
 collection(O,B))

 for the only assiciative operators we will need a lift-list operator and
 for the ACI operators a lift-collection

 Furthermore, we will need a pair of lifting operator for making -exp
 operators.

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


More information about the Trac mailing list