Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. extracted function
  2. tuned dvd_int_poly_f
  3. improved code for berlekamp-mat
  4. quadratic algorithm for Hensel lifting due to Zassenhaus
Changeset 6263:01b9527e7107 by rene thiemann _rene.thiemann@uibk.ac.at_:
extracted function
The file was modified thys/Polynomial_Factorization/Berlekamp_Hensel_Factorization.thy (diff)
Changeset 6262:f155b6066206 by rene thiemann _rene.thiemann@uibk.ac.at_:
tuned dvd_int_poly_f
The file was modified thys/Polynomial_Factorization/Berlekamp_Hensel_Factorization.thy (diff)
Changeset 6261:41ff3f6830f6 by rene thiemann _rene.thiemann@uibk.ac.at_:
improved code for berlekamp-mat
The file was modified thys/Polynomial_Factorization/Berlekamp_Hensel_Factorization.thy (diff)
Changeset 6260:e05b85aa3c36 by rene thiemann _rene.thiemann@uibk.ac.at_:
quadratic algorithm for Hensel lifting due to Zassenhaus
The file was modified thys/Polynomial_Factorization/Berlekamp_Hensel_Factorization.thy (diff)