Improve div, rem for non-monic multivariate
polynomials.
Replaces the algorithm used to determine the
power, i, of the leading coefficient of the
divisor which should be multiplied during
pseudo-division. New algorithm tries i=2^n-1
for n=0,1,2,... until division succeeds over
the integers.
Coverage increased (+0.08%) to 49.563% when pulling 455cd443867d497f3020db06d40a1d5b1bd735fd on spj101:divmod into f94c1c8eb0d1b01ac40b31a63fec7cbe2ae70387 on vermaseren:master.
Improve div, rem for non-monic multivariate polynomials.
Replaces the algorithm used to determine the power, i, of the leading coefficient of the divisor which should be multiplied during pseudo-division. New algorithm tries i=2^n-1 for n=0,1,2,... until division succeeds over the integers.