Re: Another repeating decimal notation

My model for presentation vs content was that presentation spelled out how
things were to look, and content what they meant, so if you want a specific
notation, you give it in presentation.   Having presentation change radix
dots to radix commas would go against this.  I understand that "intent"
blurs this, but up to now I thought it added an annotation to presentation
(or content) but did not change how presentation looks. (I suppose it could
change how content math ml looks,though.)  I think there is a real benefit
to having some solid principles that hold uniformly.

Stephen

On Fri, May 24, 2024 at 6:54 AM David Carlisle <david.carlisle@nag.co.uk>
wrote:

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