[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.

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