Ciao, 17 feb 2024, 19:15 da :
> Ciao Niels, > > 17 feb 2024, 17:53 da [email protected]: > >> Niels Möller <[email protected]> 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 [email protected] https://gmplib.org/mailman/listinfo/gmp-bugs
