W3C home > Mailing lists > Public > www-math@w3.org > November 2001

Re: IEEE 754 (or 854) floating point arithmetics with MathML

From: David Carlisle <davidc@nag.co.uk>
Date: Tue, 20 Nov 2001 17:17:32 GMT
Message-Id: <200111201717.RAA21988@penguin.nag.co.uk>
To: z.hurak@c-a-k.cz
CC: www-math@w3.org, Robert.Hornych@quick.cz

> Since then (march 2001), no change.

The errata document

http://www.w3.org/2001/02/MathML2-errata

lists a change in March confirming that float was not intended to be an
allowed value (basically it was a name in earlier drafts for e-notation)
I'm sorry if you reported that and didn't get notified when the errata
document was updated.

> How can I encode IEEE 754 floating point arithmetic 
There is no specific IEEE float (unlike Openmath where <OMF/> is
explictly IEEE.)

You can use <cn type="real">1.234</cn> or <cn type="e-notatation">0.1234<sep/>1</cn>
but in both cases it is is essentially arbitrary precision numbers. You
can use a definitionURL attribute to override this semantics, perhaps
pointing at IEEE or maybe at openmath.org.

David

_____________________________________________________________________
This message has been checked for all known viruses by Star Internet
delivered through the MessageLabs Virus Scanning Service. For further
information visit http://www.star.net.uk/stats.asp or alternatively call
Star Internet for details on the Virus Scanning Service.
Received on Tuesday, 20 November 2001 12:18:07 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Saturday, 20 February 2010 06:12:50 GMT