Re: Another repeating decimal notation

On 24/05/2024 01:55, Arno Gourdol wrote:
Just like the decimal separator can be either a comma or a dot, but is always represented as a “.” in a <mn> element, perhaps the repeating digits could also be represented by a single convention when inside a <mn> element, but displayed according to the user’s preference.

I think that is a misunderstanding, the default behaviour of  mn is always to print it as shown, it is not intended to represent a canonical value that can be displayed in different ways.


The MathML3 spec has these examples


<mn> 2 </mn>
<mn> 0.123 </mn>
<mn> 1,000,000 </mn>
<mn> 2.1e10 </mn>
<mn> 0xFFEF </mn>
<mn> MCMLXIX </mn>
<mn> twenty one </mn>




perhaps we should put some of them back in MathML4. The examples show I think that there is no standard syntax here that could be parsed and re-styled according to some locale setting.


Neil asked

> OpenMath experts: does "OMF" (the mapping for "strict") clarify the notation that should be used?


In its XML serialisation OpenMath specifies that OMF should use an attribute that matches the W3C XML schema type xs:double.

That allows things like 2.5e10  and INF but does not allow comma as the decimal separator.

https://www.w3.org/TR/xmlschema-2/#double-lexical-representation



David










Disclaimer

The Numerical Algorithms Group Ltd is a company registered in England and Wales with company number 1249803. The registered office is: 30 St. Giles, Oxford, OX1 3LE, United Kingdom. Please see our Privacy Notice <https://www.nag.com/content/privacy-notice> for information on how we process personal data and for details of how to stop or limit communications from us.

This e-mail has been scanned for all viruses and malware by Microsoft Exchange Online (EOP)