problem with NTL 5.5 when upgrading from GMP 4.2.4 to 4.3.0

Paul Zimmermann Paul.Zimmermann at
Sat Apr 25 14:30:14 CEST 2009


> Should we slow down the code a little and get a more strictly bounded
> cofactor value for the price?  The price is small, but if the operands
> are just a few limbs, it might still hurt.

(a) having loose bounds will help to detect bugs in applications, as this
    example shows

(b) having strict bounds will help applications, indeed some of them might
    have to do some extra work to get unique cofactors, or the correctness
    of some algorithm might depend on strict bounds

I vote for (b) if the extra price is small.


More information about the gmp-bugs mailing list