[Developers] [Patches] Make ADMConstraints GF public

Frank Loeffler frank.loeffler at aei.mpg.de
Mon Sep 18 08:34:38 CDT 2006


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?


More information about the Developers mailing list