[om] OM Floats (XML Representation)

[Professor James Davenport]

On Tue, 2 Dec 2003, Bill Naylor wrote:
> I guess we shouldn't forget that the goal of OpenMath is as a
> communication language for general mathematical objects, not just
> exact objects in a computer algebra system. The OMF element provides a
> handy way of dealing with 'common or garden' IEEE floats. If you want more
> accuracy, there's always the bigfloat1 CD.
Indeed. 
> > (In case you wonder about what those papers might be about,
> > one can use signed infinities nicely in  interval arithmetic, and for
> > retrospective
> > diagnostics. I think they are all on line.
> 
> can you give a URL?
> 
> >
> > I don't know if there is an OM CD for intervals yet.)
> 
> there is the CD interval1, which is in the MathML core CDGroup. It does
> little more than allow you to construct intervals of various types,
Indeed so. One could build an interval arithmetic CD on top of that, but I 
haven't heard any demand for that. Of course, one of the problems is that 
interval arithmetic does not satisfy all the standard axioms, so maybe 
that is a good reason for building such a CD>
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