[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:'''


 >>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.

 >actually I really think MathML shouldn't say.
 >
 >the content mathml for min over (0,1] means just that, and you should be
 able to write it down without knowing what it means.

 I agree: only almost-content-free statements are allowed.

 That is a reasonably well-defined rule.

 I said 'almost' because David is possibly not quite right here:

  <min/> relates to the min function

 where I think I would say: ... the minumum ...

 The rule being: use `words' wherever possible.

 I say 'wherever possible' since I think we should, for example, say:

  the function commonly written as 'sin' rather than 'the sinus function'

 [Aside. Why not be more direct and say:

    <min/> is the minimum operator  (function \equiv operator ???)
 ]

 But note that for many functions the current description contains
 defining relations (or all sorts of content) that does seem to preclude
 such H-D (Humpty-Dumpty) use.

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