[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 jhd):

 Replying to [comment:1 jauecker]:
 > '''David:'''
 >
 >
 > >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, and anything else too
 > hard to state for an intended k-12 audience isn't it? We don't say that
 > you can only use the <int/> operator with integrable functions, applying
 > min to some set that doesn't have a minimum doesn't seem any
 > different. You may want to say
 > min (|R ) is undefined...., or you may want to write min(|R)  because
 > you are confused, or because you've applied some funky ordering such
 that
 > it is defined, MathMl spec doesn't need to take a view does it?
 Agreed totally. it is probably the case that a CMP that min is always
 defined on a finite set would be nice (jauecker: can you add one?), but
 this certainly does NOT imply that it is undefined on other sets.

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