[om] OM Floats (XML Representation)

[Professor James Davenport]

On Tue, 9 Dec 2003, David Carlisle wrote:
>   It will also say, that, at the XML 
>   level, any two hex representations are equal (even NaN-valued ones),
> 
> I don't understand what you mean here, the xsd representation of the hex
> attribute is a string constrained by the regexp [0-9A-Z]+ so equality
> (as far as xsd is concerned) is just string equality. Did you mean that
> (different) hex representations are _not_ equal for xsd? If so I aggree
> with that, and also with:
What I meant was that
XSD: forall x (hex representation) x=x
IEEE: forall x (IEEE representation) x not a NAN => x=x
                                     x a Nan => x/=x.

Sorry for clumsiness.
James 
--
om at openmath.org  -  general discussion on OpenMath
Post public announcements to om-announce at openmath.org
Automatic list maintenance software at majordomo at openmath.org
Mail om-owner at openmath.org for assistance with any problems