[Trac] [OpenMath] #15: sort out set/multiset in mcd examples

OpenMath trac at strawberry.eecs.jacobs-university.de
Sun Jan 6 19:41:29 CET 2008

#15: sort out set/multiset in mcd examples
     Reporter:  kohlhase    |          Owner:  jhd             
         Type:  proposal    |         Status:  assigned        
     Priority:  blocker     |      Milestone:  MathML3CD Draft1
    Component:  MathML CDs  |        Version:                  
   Resolution:              |       Keywords:                  
Include_gantt:  0           |   Dependencies:                  
   Due_assign:  YYYY/MM/DD  |      Due_close:  YYYY/MM/DD      
Changes (by jhd):

  * status:  new => assigned


 I feel some strategic questions here, as well as not really understanding
 the mcd format.
 (1) Are we going to go the OM way of set/multiset, or the MathML2 way with
 (2) The mcd currently says "Sets and lists can also be constructed by
 evaluating a function over a domain of application", whereas in OM this is
 (currently) done with map, not set. I believe there are good reasons for
 (a) set is n-ary (and commutative), map is binary and not commutative.
 (b) In mcd's view, what is
     Since the first object is a set of ordered pairs, and hence a
 function, it could be either {10,20} or {{{1,{1,10}},{2,{2,20}}},{1,2}}.

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

More information about the Trac mailing list