[om] OM Floats (XML Representation)

[Professor James Davenport]

On Sat, 29 Nov 2003, Richard Fateman wrote:
> There are many NaNs, signed zeros and signed infinities.
> I use NaNs to represent the program counter of the location
> where it was first produced.  
Indeed so, which is why one probably needs an "is this a NaN" predicate 
(probably with several variants).
But the vital issue in XML/IEEE incompatibility.
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