Summary
- extracted function
- tuned dvd_int_poly_f
- improved code for berlekamp-mat
- quadratic algorithm for Hensel lifting due to Zassenhaus
The file was modified | thys/Polynomial_Factorization/Berlekamp_Hensel_Factorization.thy (diff) |
The file was modified | thys/Polynomial_Factorization/Berlekamp_Hensel_Factorization.thy (diff) |
The file was modified | thys/Polynomial_Factorization/Berlekamp_Hensel_Factorization.thy (diff) |
The file was modified | thys/Polynomial_Factorization/Berlekamp_Hensel_Factorization.thy (diff) |