[Developers] [Patches] Make ADMConstraints GF public

Luca Baiotti 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>
wrote:
> 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"...

L.



More information about the Developers mailing list