Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. remove gcd-int-poly implementation via primitive_prs (this is now gcd algorithm of distribution)
  2. slightly tuned code equation
Changeset 7788:a207f4332665 by rene thiemann _rene.thiemann@uibk.ac.at_:
remove gcd-int-poly implementation via primitive_prs (this is now gcd algorithm of distribution)
The file was addedthys/Polynomial_Factorization/Gcd_Rat_Poly.thy
The file was modified thys/Berlekamp_Zassenhaus/Reconstruction.thy (diff)
The file was modified thys/Berlekamp_Zassenhaus/Resultant.thy (diff)
The file was modified thys/Berlekamp_Zassenhaus/Suitable_Prime.thy (diff)
The file was modified thys/Polynomial_Factorization/Rational_Factorization.thy (diff)
The file was modified thys/Polynomial_Interpolation/Missing_Polynomial.thy (diff)
The file was removedthys/Polynomial_Factorization/Polynomial_Division.thy
Changeset 7787:3d1ad11f587a by rene thiemann _rene.thiemann@uibk.ac.at_:
slightly tuned code equation
The file was modified thys/Berlekamp_Zassenhaus/Gcd_Finite_Field_Impl.thy (diff)