ToySolver.Data.Polynomial.Factorization.FiniteField
factor
sqfree
berlekamp
basisOfBerlekampSubalgebra