[Trac] [OpenMath] #59: CD minmax1

[OpenMath]

#59: CD minmax1
------------------------------+---------------------------------------------
     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 jauecker):

 '''Chris:'''


 >>The sets for min and max should have a nice property, eg being finite,
 so that these things are in the set.

 >why restrict this? (finite is too restrictive,

 As a general maths teaching point, too restrictive is A Good Thing, at
 least for K-12 teaching.

 Detail: You are quite correct, in this case, but if min over (0,1] is
 'allowed' then please make it 0, not something like 'the smallest
 positive IEEE number' or 'undefined'.  In other words, feel free to
 extend its coverage but do not hence make its result unintuitive at
 the K-12 level.

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