On 05/11/2018 16:23, Deyan Ginev wrote: > Dear OpenMath working group, > > I am uncertain if I should address this question to the OM team or the > w3c math list, but hopefully the member overlap makes this a non-issue. > > I am working on some infrastructure for representing integrals in strict > Content MathML (in the latexml software suite), and noticed a suggested > best practice in the official specification: > > https://www.w3.org/TR/MathML3/chapter4.html#contm.domainofapplication.qualifier > > " If the head is int then oriented_interval is used. " - referring to a > symbol in the interval1 content dictionary. > > Strangely enough, following that link leads to a CD that contains no > such symbol. I am wondering whether the CD itself, or the Content MathML > specification examples need correction, but the discrepancy is > definitely confusing. > > Luckily the fully opaque "interval" symbol seems to be a good short-term > alternative in the meantime. > > Thanks in advance for your help, > Deyan >
Thanks for that report, interval1 CD is supposed to have that symbol (and did at the time otherwise the MathML3 document would have failed link checking and not been published...) I see a version with that symbol in the old svn but there appears to have been a regression in moving to git and the github based website. I'll attach the version from the svn to this message, but clearly we need to investigate whether there has been a general regression or whether just this file slipped through the cracks. Sorry about the confusion. David Disclaimer The Numerical Algorithms Group Ltd is a company registered in England and Wales with company number 1249803. The registered office is: Wilkinson House, Jordan Hill Road, Oxford OX2 8DR, United Kingdom. This e-mail has been scanned for all viruses and malware, and may have been automatically archived by Mimecast Ltd, an innovator in Software as a Service (SaaS) for business.
<CD xmlns="http://www.openmath.org/OpenMathCD";> <CDComment> This document is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. The copyright holder grants you permission to redistribute this document freely as a verbatim copy. Furthermore, the copyright holder permits you to develop any derived work from this document provided that the following conditions are met. a) The derived work acknowledges the fact that it is derived from this document, and maintains a prominent reference in the work to the original source. b) The fact that the derived work is not the original OpenMath document is stated prominently in the derived work. Moreover if both this document and the derived work are Content Dictionaries then the derived work must include a different CDName element, chosen so that it cannot be confused with any works adopted by the OpenMath Society. In particular, if there is a Content Dictionary Group whose name is, for example, `math' containing Content Dictionaries named `math1', `math2' etc., then you should not name a derived Content Dictionary `mathN' where N is an integer. However you are free to name it `private_mathN' or some such. This is because the names `mathN' may be used by the OpenMath Society for future extensions. c) The derived work is distributed under terms that allow the compilation of derived works, but keep paragraphs a) and b) intact. The simplest way to do this is to distribute the derived work under the OpenMath license, but this is not a requirement. If you have questions about this license please contact the OpenMath society at http://www.openmath.org. </CDComment> <CDName> interval1 </CDName> <CDBase>http://www.openmath.org/cd</CDBase> <CDURL> http://www.openmath.org/cd/interval1.ocd </CDURL> <CDReviewDate>2014-04-01</CDReviewDate> <CDDate>2009-04-01</CDDate> <CDVersion>4</CDVersion> <CDRevision>0</CDRevision> <CDStatus> official </CDStatus> <Description> This CD holds symbols which describe both discrete and continuous 1-dimensional intervals (with open/closed end points). There is also an oriented_interval, for use in integration </Description> <CDDefinition> <Name> integer_interval </Name> <Role>application</Role> <Description> A symbol to denote a discrete 1 dimensional interval from the first argument to the second (inclusive), where the discretisation occurs at unit intervals. The arguments are the start and the end points of the interval in that order. </Description> <Example> The integer interval 1, 2, ..., 10. <OMOBJ xmlns="http://www.openmath.org/OpenMath"; version="2.0" cdbase="http://www.openmath.org/cd";> <OMA> <OMS cd="interval1" name="integer_interval"/> <OMI> 1 </OMI> <OMI> 10 </OMI> </OMA> </OMOBJ> </Example> <FMP> <OMOBJ xmlns="http://www.openmath.org/OpenMath"; version="2.0" cdbase="http://www.openmath.org/cd";> <OMA> <OMS cd="logic1" name="equivalent"/> <OMA> <OMS cd="set1" name="in"/> <OMV name="n"/> <OMA> <OMS name="integer_interval" cd="interval1"/> <OMV name="a"/> <OMV name="b"/> </OMA> </OMA> <OMA> <OMS cd="logic1" name="and"/> <OMA> <OMS cd="set1" name="in"/> <OMV name="n"/> <OMS cd="setname1" name="Z"/> </OMA> <OMA> <OMS cd="relation1" name="le"/> <OMV name="a"/> <OMV name="n"/> </OMA> <OMA> <OMS cd="relation1" name="le"/> <OMV name="n"/> <OMV name="b"/> </OMA> </OMA> </OMA> </OMOBJ> </FMP> </CDDefinition> <CDDefinition> <Name> interval </Name> <Role>application</Role> <Description> A symbol to denote a continuous 1-dimensional interval without any information about the character of the end points (used in definite integration). The arguments are the start and the end points of the interval in that order. </Description> <Example> The interval 1.0, ..., 10.0. <OMOBJ xmlns="http://www.openmath.org/OpenMath"; version="2.0" cdbase="http://www.openmath.org/cd";> <OMA> <OMS cd="interval1" name="interval"/> <OMF dec="1.0"/> <OMF dec="10.0"/> </OMA> </OMOBJ> </Example> <FMP> <OMOBJ xmlns="http://www.openmath.org/OpenMath"; version="2.0" cdbase="http://www.openmath.org/cd";> <OMA> <OMS cd="set1" name="subset"/> <OMA> <OMS name="interval" cd="interval1"/> <OMV name="a"/> <OMV name="b"/> </OMA> <OMA> <OMS name="interval_cc" cd="interval1"/> <OMV name="a"/> <OMV name="b"/> </OMA> </OMA> </OMOBJ> </FMP> <FMP> <OMOBJ xmlns="http://www.openmath.org/OpenMath"; version="2.0" cdbase="http://www.openmath.org/cd";> <OMA> <OMS cd="set1" name="subset"/> <OMA> <OMS name="interval_oo" cd="interval1"/> <OMV name="a"/> <OMV name="b"/> </OMA> <OMA> <OMS name="interval" cd="interval1"/> <OMV name="a"/> <OMV name="b"/> </OMA> </OMA> </OMOBJ> </FMP> </CDDefinition> <CDDefinition> <Name> oriented_interval </Name> <Role>application</Role> <Description> A symbol to denote a continuous 1-dimensional interval without any information about the character of the end points (used in definite integration). The arguments are the start and the end points of the integration, in either order. </Description> <Example> <OMOBJ xmlns="http://www.openmath.org/OpenMath"; version="2.0" cdbase="http://www.openmath.org/cd";> <OMA> <OMS cd="relation1" name="eq"/> <OMA> <OMS cd="calculus1" name="defintint"/> <OMA> <OMS name="oriented_interval" cd="interval1"/> <OMV name="a"/> <OMV name="b"/> </OMA> <OMV name="f"/> </OMA> <OMA> <OMS cd="arith1" name="minus"/> <OMA> <OMS cd="calculus1" name="defintint"/> <OMA> <OMS name="oriented_interval" cd="interval1"/> <OMV name="b"/> <OMV name="a"/> </OMA> <OMV name="f"/> </OMA> </OMA> </OMA> </OMOBJ> </Example> </CDDefinition> <CDDefinition> <Name> interval_oo </Name> <Role>application</Role> <Description> A symbol to denote a continuous 1-dimensional interval with both end points excluded from the interval. The arguments are the start and the end points of the interval in that order. </Description> <Example> The continuous open interval (1,10). <OMOBJ xmlns="http://www.openmath.org/OpenMath"; version="2.0" cdbase="http://www.openmath.org/cd";> <OMA> <OMS cd="interval1" name="interval_oo"/> <OMI> 1 </OMI> <OMI> 10 </OMI> </OMA> </OMOBJ> </Example> <FMP> <OMOBJ xmlns="http://www.openmath.org/OpenMath"; version="2.0" cdbase="http://www.openmath.org/cd";> <OMA> <OMS cd="logic1" name="equivalent"/> <OMA> <OMS cd="set1" name="in"/> <OMV name="x"/> <OMA> <OMS name="interval_oo" cd="interval1"/> <OMV name="a"/> <OMV name="b"/> </OMA> </OMA> <OMA> <OMS cd="logic1" name="and"/> <OMA> <OMS cd="set1" name="in"/> <OMV name="x"/> <OMS cd="setname1" name="R"/> </OMA> <OMA> <OMS cd="relation1" name="lt"/> <OMV name="a"/> <OMV name="x"/> </OMA> <OMA> <OMS cd="relation1" name="lt"/> <OMV name="x"/> <OMV name="b"/> </OMA> </OMA> </OMA> </OMOBJ> </FMP> </CDDefinition> <CDDefinition> <Name> interval_cc </Name> <Role>application</Role> <Description> A symbol to denote a continuous 1-dimensional interval with both end points included in the interval. The arguments are the start and the end points of the interval in that order. </Description> <Example> The continuous closed interval [1,10]. <OMOBJ xmlns="http://www.openmath.org/OpenMath"; version="2.0" cdbase="http://www.openmath.org/cd";> <OMA> <OMS cd="interval1" name="interval_cc"/> <OMI> 1 </OMI> <OMI> 10 </OMI> </OMA> </OMOBJ> </Example> <FMP> <OMOBJ xmlns="http://www.openmath.org/OpenMath"; version="2.0" cdbase="http://www.openmath.org/cd";> <OMA> <OMS cd="logic1" name="equivalent"/> <OMA> <OMS cd="set1" name="in"/> <OMV name="x"/> <OMA> <OMS name="interval_cc" cd="interval1"/> <OMV name="a"/> <OMV name="b"/> </OMA> </OMA> <OMA> <OMS cd="logic1" name="and"/> <OMA> <OMS cd="set1" name="in"/> <OMV name="x"/> <OMS cd="setname1" name="R"/> </OMA> <OMA> <OMS cd="relation1" name="le"/> <OMV name="a"/> <OMV name="x"/> </OMA> <OMA> <OMS cd="relation1" name="le"/> <OMV name="x"/> <OMV name="b"/> </OMA> </OMA> </OMA> </OMOBJ> </FMP> </CDDefinition> <CDDefinition> <Name> interval_oc </Name> <Role>application</Role> <Description> A symbol to denote a continuous 1-dimensional interval with the first point excluded from the interval, but the last included. The arguments are the start and the end points of the interval in that order. </Description> <Example> The continuous interval open at the lower bound and closed at the higher bound (1,10]. <OMOBJ xmlns="http://www.openmath.org/OpenMath"; version="2.0" cdbase="http://www.openmath.org/cd";> <OMA> <OMS cd="interval1" name="interval_oc"/> <OMI> 1 </OMI> <OMI> 10 </OMI> </OMA> </OMOBJ> </Example> <FMP> <OMOBJ xmlns="http://www.openmath.org/OpenMath"; version="2.0" cdbase="http://www.openmath.org/cd";> <OMA> <OMS cd="logic1" name="equivalent"/> <OMA> <OMS cd="set1" name="in"/> <OMV name="x"/> <OMA> <OMS name="interval_oc" cd="interval1"/> <OMV name="a"/> <OMV name="b"/> </OMA> </OMA> <OMA> <OMS cd="logic1" name="and"/> <OMA> <OMS cd="set1" name="in"/> <OMV name="x"/> <OMS cd="setname1" name="R"/> </OMA> <OMA> <OMS cd="relation1" name="lt"/> <OMV name="a"/> <OMV name="x"/> </OMA> <OMA> <OMS cd="relation1" name="le"/> <OMV name="x"/> <OMV name="b"/> </OMA> </OMA> </OMA> </OMOBJ> </FMP> </CDDefinition> <CDDefinition> <Name> interval_co </Name> <Role>application</Role> <Description> A symbol to denote a continuous 1-dimensional interval with the first point included in the interval, but the last excluded. The arguments are the start and the end points of the interval in that order. </Description> <Example> The continuous interval closed at the lower bound and open at the higher bound [1,10). <OMOBJ xmlns="http://www.openmath.org/OpenMath"; version="2.0" cdbase="http://www.openmath.org/cd";> <OMA> <OMS cd="interval1" name="interval_co"/> <OMI> 1 </OMI> <OMI> 10 </OMI> </OMA> </OMOBJ> </Example> <FMP> <OMOBJ xmlns="http://www.openmath.org/OpenMath"; version="2.0" cdbase="http://www.openmath.org/cd";> <OMA> <OMS cd="logic1" name="equivalent"/> <OMA> <OMS cd="set1" name="in"/> <OMV name="x"/> <OMA> <OMS name="interval_co" cd="interval1"/> <OMV name="a"/> <OMV name="b"/> </OMA> </OMA> <OMA> <OMS cd="logic1" name="and"/> <OMA> <OMS cd="set1" name="in"/> <OMV name="x"/> <OMS cd="setname1" name="R"/> </OMA> <OMA> <OMS cd="relation1" name="le"/> <OMV name="a"/> <OMV name="x"/> </OMA> <OMA> <OMS cd="relation1" name="lt"/> <OMV name="x"/> <OMV name="b"/> </OMA> </OMA> </OMA> </OMOBJ> </FMP> </CDDefinition> </CD>
_______________________________________________ Om mailing list Om@openmath.org http://mailman.openmath.org/cgi-bin/mailman/listinfo/om
