[om] OM Floats (XML Representation)

Professor James Davenport jhd at cs.bath.ac.uk
Sun Nov 30 18:45:05 CET 2003


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



More information about the Om mailing list