[Trac] [OpenMath] #36: alg1.ocd in OM3/MathML3 group examples.

[OpenMath]

#36: alg1.ocd in OM3/MathML3 group examples.
----------------------------+-----------------------------------------------
     Reporter:  kohlhase    |          Owner:  jhd             
         Type:  proposal    |         Status:  new             
     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:1 kohlhase]:
 > Replying to [ticket:36 kohlhase]:
 > > Currently alg1.ocd is not in the OM3/MathML3 set of CDs, but lots of
 the OM2 CDs use it in examples. What do we do?
 > >
 > > We could just use <OMI>0</OMI> for zero at alg1 and <OMI>1</OMI> for
 one at alg1.
 NO!
 There is a real problem in MathML, that much of what is stated is stated
 assuming the integers in some places (e.g. lcm) but is valid more widely.
 <OMI>0</OMI> is NOT the same as zero at alg1.

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