form-dev / form / 28438176686

63%

push

github

fix: flint: missed overall factor in univariate polynomial factorization

The flint interface assumed that univariate polynomials have no overall factor,
when factorizing. This is usually the case, but changing the sort ordering with
for eg "On highfirst" combined with non-dirty arguemnts (which are not
re-sorted) can produce input for flint with an overall factor.

7 of 12 new or added lines in 1 file covered. (58.33%)

52298 of 82822 relevant lines covered (63.15%)

10511343.33 hits per line