On 05/05/2014 16:57, Lars Hellström wrote:
A quite reasonable position. But then the standard should explicitly state that OMF is provided as a convenience, and suggest the constructor symbol solution for people who want other types of floats.
yes, probably true:-) also relevant is this CD of course http://www.openmath.org/cd/bigfloat1.xhtml David _______________________________________________ Om3 mailing list [email protected] http://openmath.org/mailman/listinfo/om3
