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

OpenMath trac at strawberry.eecs.jacobs-university.de
Mon Jan 7 09:09:49 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      
Comment (by jhd):

 Replying to [comment:6 kohlhase]:
 > Replying to [comment:4 jhd]:
 > > (1) Are we going to go the OM way of set/multiset, or the MathML2 way
 with type=multiset?
 > I do not think that we have any choice but to go the OM way, since
 neither OMS nor csymbol have a type attribute.
 Good - that clarifies one key point. You also said:
 >James, the format is more or less a historical accident, it was built up
 from what I found in the MathML3 spec sources. What was there was probably
 inspired by CDs, but never really designed to be a CD format.
 In that case, might we not be better off (at least in this case) starting
 off with the OM, and adding elements from MML, rather than the other way

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

More information about the Trac mailing list