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


 >You should be able to implement a conforming mathml implementation that
 just takes content mathml and renders them

 That is a very different property.

 I am probably misremembering but I thought that we intended this to be
 true but only because we will provide a transformation to Presentation
 MML.  If we do this then you will never need to read the CD stuff in
 order to do this.

 >to do this you need to know that <int/> means integral

 Agreed.

 >(or at least that it is rendered with an integral sign)

 Definitely not.  More than 1/3rd century ago a very popular calculus
 existed that did not use the integral sign for <int/>.  I have the
 beautifully reproduced textbooks for it in my library ... somewhere!

 This is precisely the type of restrictive assumption that it is
 important to remove from these descriptions, along with any
 assumptions about what numbers are (or the need to include everything
 taught to CS students).

 >I don't disagree with you

 ... spends 5 minutes counting negatives ... :-)

 >assumed by the descriptions is variable, but in all cases I'd

 >move towards normalising things to say as little as possible.

 AGREE AGREE AGREE !!  ... stop shouting.

 >So for plus you can just refer to "addition" but for the inverse trig
 functions you need to tie down branch cuts

 Not for the maths you do not, no!  No more than you need to 'define' min
 (0,1]

 If I am wrong in making this mathematical distinction then we are
 using the wrong 'inverse trig fns' for K-12 (non-computational) maths.

 And if you want to cover computational implementations then you need to
 pin down <min/> as well as <arcsinh/> since software potentially differs
 in
 exactly the same way (as I see it) in the values it generates in both
 cases.

 >For standard deviation and other stats/probability functions you may need
 to say a bit about sampling/distribution in order to keep yourself honest
 but the less we say the better.

 I think you do not need to say anything, in partivular nothing about
 integrals. And this would be good as it would bring in discrete
 (infinite) measures and finite ones (currently called samples).

 As you say: less means more!

 And there is nothing at all on sampling except a misleadingly named CD.

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