Dear Lars, thanks for the notifiation
this bug is still around https://trac.mathweb.org/OM3/ticket/114, it is scheduled for this round. There is another, related one https://trac.mathweb.org/OM3/ticket/107. Maybe you can have a look over these?Two things about floats in OM that I just recalled:1. The endianness of floats in hex representation is unclear; the text says one thing, but the example given has the opposite endianness. I've filed a bug about that once.
2. The standard only covers 64-bit (I think it was) IEEE floats, but the current IEEE 754 standard defines 32n-bit floats for all integers n>=4. (Cf. http://en.wikipedia.org/wiki/IEEE_754-2008#Interchange_formats) Someone might want to consider similarly extending the OM floats.
Maybe you can make a bug out of this and schedule it for OM2+OMOBJ? Michael
Lars Hellström _______________________________________________ Om3 mailing list [email protected] http://openmath.org/mailman/listinfo/om3
-- ---------------------------------------------------------------------- Prof. Dr. Michael Kohlhase, Office: Research 1, Room 168 Professor of Computer Science Campus Ring 1, Jacobs University Bremen D-28759 Bremen, Germany tel/fax: +49 421 200-3140/-493140 skype: m.kohlhase [email protected] http://kwarc.info/kohlhase ----------------------------------------------------------------------
<<attachment: m_kohlhase.vcf>>
_______________________________________________ Om3 mailing list [email protected] http://openmath.org/mailman/listinfo/om3
