[Trac] [OpenMath] #80: Missing / Discrepancies

[OpenMath]

#80: Missing / Discrepancies
------------------------------+---------------------------------------------
     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
------------------------------+---------------------------------------------
Comment (by jhd):

 Replying to [ticket:80 jauecker]:
 > '''Chris:'''
 >
 >
 > The 'no arguments' case of an n-ary operator is not always described.
 Good point. My suggestion would be
 (1) Tighten up the description of NARY and NASSOC in STS to say that this
 is normally undefined, execpt where explicitly defined.
 (2) Add clauses to the CDs where it DOES make sense, e.g. arith1/plus
 (where it should be 0).

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