[Trac] [OpenMath] #55: CD setname1

OpenMath trac at strawberry.eecs.jacobs-university.de
Wed Sep 3 17:26:13 CEST 2008


#55: CD setname1
-----------------------------+----------------------------------------------
    Reporter:  jauecker      |           Owner:  kohlhase  
        Type:  proposal      |          Status:  new       
    Priority:  major         |       Milestone:  CD3 Draft1
   Component:  OM3 Standard  |         Version:            
    Keywords:                |   Include_gantt:  0         
Dependencies:                |      Due_assign:  YYYY/MM/DD
   Due_close:  YYYY/MM/DD    |  
-----------------------------+----------------------------------------------
 '''Chris:'''


 Are these not 'set constructors'?  It would be nice to keep meaningful
 names for these sets in the strict case, not just the conventional
 letters, since these have additional uses, even in K-12.

 I am assuming here that 'rationals' is a typo.

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


More information about the Trac mailing list