ToySolver.Data.Polynomial.Factorization.Kronecker

factor