[om] OM Floats (XML Representation)

[Richard Fateman]

Bill Naylor wrote:
.. snip...

>
>
>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.
>
>  
>
>>(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?
>  
>
http://www.cs.berkeley.edu/~fateman/papers         extrat.ps     
retrodiag.pdf   maybe others in there, too.


>  
>
>>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,
>

This does not sound promising..

>
>Bill
>  
>

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