Ciao, 17 feb 2024, 19:15 da :
> Ciao Niels, > > 17 feb 2024, 17:53 da ni...@lysator.liu.se: > >> Niels Möller <ni...@lysator.liu.se> writes: >> The documented conditions say that gmp should return the same cofactors >> > > The documentation also says "If abs(a) = abs(b), then s = 0, t = sgn(b)." > Maybe we should also add the test: /* Require that s==0 iff g==abs(b) */ if (!mpz_sgn (s) ^ !mpz_cmpabs (g, b)) goto fail; Ĝis, m _______________________________________________ gmp-bugs mailing list gmp-bugs@gmplib.org https://gmplib.org/mailman/listinfo/gmp-bugs