Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. moved lemmas
  2. tuned yun-factorization-int by integrating square-free-factorization
Changeset 7381:6121373a3808 by rene thiemann _rene.thiemann@uibk.ac.at_:
moved lemmas
The file was modified thys/Algebraic_Numbers/Algebraic_Numbers_Prelim.thy (diff)
The file was modified thys/Berlekamp_Zassenhaus/Factorize_Int_Poly.thy (diff)
The file was modified thys/Berlekamp_Zassenhaus/Factorize_Rat_Poly.thy (diff)
The file was modified thys/Berlekamp_Zassenhaus/Poly_Mod.thy (diff)
Changeset 7380:0d52f3fd4a84 by rene thiemann _rene.thiemann@uibk.ac.at_:
tuned yun-factorization-int by integrating square-free-factorization
The file was modified thys/Berlekamp_Zassenhaus/Factorize_Int_Poly.thy (diff)
The file was modified thys/Berlekamp_Zassenhaus/Square_Free_Factorization_Int.thy (diff)
The file was modified thys/Berlekamp_Zassenhaus/Suitable_Prime.thy (diff)