3
63%
master: 63%

Ran 30 Jun 2026 11:19AM UTC

Files 63

Run time 7s

Badge

Embed ▾

Committed 30 Jun 2026 10:36AM UTC coverage: 39.31% (+0.004%) from 39.306%

Job # 28438176686.3

Build Type

push

github

Committed by

jodavies

Commit Message

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.

Coverage Stats

32111 of 81687 relevant lines covered (39.31%)

1480369.49 hits per line

form-dev / form / 28438176686 / 3
63%
master: 63%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job tvorm -w2 (extra) (flint - no) - 28438176686.3

form-dev / form / 28438176686 / 3 63% master: 63%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job tvorm -w2 (extra) (flint - no) - 28438176686.3

form-dev / form / 28438176686 / 3
63%
master: 63%

README BADGES
x