Repository navigation

A polynomial layer: factorisation over Q and F_p, resultants, square-free decomposition (#746 item 43) - #918

Merged

Rafael-SOWNet merged 12 commits into

feat/polynomial-factorization

Aug 13, 2026

Commits on Aug 13, 2026
- Scope the header template for the polynomial layer's new files
  Rafael-SOWNet
  committed
  36fd151
- Let the unit tests name the internal algebra
  Rafael-SOWNet
  committed
  1271e0c
- Factor a polynomial over a prime field, by Berlekamp
  
  Rafael-SOWNet
  and
  claude
  committed
  add54fd
- Factor a polynomial over the rationals into irreducibles
  Rafael-SOWNet
  committed
  57d9f45
- Merge the prime-field factoriser
  Rafael-SOWNet
  committed
  11f1f1f
- Put the multivariate gcd under test, and shut the ninth variable out
  
  Rafael-SOWNet
  and
  claude
  committed
  199d06f
- Merge the multivariate GCD coverage, and the nine-variable guard it found
  Rafael-SOWNet
  committed
  6954bd7
- Record what solving a factorable polynomial now answers
  Rafael-SOWNet
  committed
  abf180f
- Add polynomial resultants and discriminants
  Rafael-SOWNet
  committed
  621bb5f
- Merge polynomial resultants and discriminants
  Rafael-SOWNet
  committed
  0c40177
- Try factoring only from the degree where it can find something
  Rafael-SOWNet
  committed
  0da7ce6
- Silence a nullability warning in the factorisation test
  Rafael-SOWNet
  committed
  858ba89