[Developers] [Patches] Make ADMConstraints GF public
baiotti at aei.mpg.de
Mon Sep 18 08:39:46 CDT 2006
On Sep 18, 2006 03:34 PM, Frank Loeffler <frank.loeffler at aei.mpg.de>
> Luca Baiotti wrote:
> > Surely comparing numbers is more elegant. Anyway, in order to treat
> > the
> > given counterexample, one could check the rightmost character - as I
> > wrote - and if this characters from the two files are "0" and "9",
> > then
> What about "1.e05" and "1.e04" then? Wouldn't they count as roundoff
> error with this check?
OK, then one could treat differently characters at the right and at the
left of "e"...
More information about the Developers