Skip to content
Jenkins
log in
Dashboard
nipkow
My Views
All
afp-repo
#666
Changes
Status
Changes
Console Output
View Build Information
Polling Log
Timings
Environment Variables
Mercurial Build Data
Embeddable Build Status
Previous Build
Next Build
Success
Changes
Summary
lead_coeff is more appropriate as abbreviation
Changeset
7534:2efce5cc86f8
by
haftmann
:
lead_coeff is more appropriate as abbreviation
The file was modified
thys/Berlekamp_Zassenhaus/Berlekamp_Hensel.thy
(diff)
The file was modified
thys/Berlekamp_Zassenhaus/Berlekamp_Type_Based.thy
(diff)
The file was modified
thys/Berlekamp_Zassenhaus/Factor_Bound.thy
(diff)
The file was modified
thys/Berlekamp_Zassenhaus/Finite_Field_Factorization.thy
(diff)
The file was modified
thys/Berlekamp_Zassenhaus/Finite_Field_Factorization_Record_Based.thy
(diff)
The file was modified
thys/Berlekamp_Zassenhaus/Gcd_Finite_Field_Impl.thy
(diff)
The file was modified
thys/Berlekamp_Zassenhaus/Hensel_Lifting.thy
(diff)
The file was modified
thys/Berlekamp_Zassenhaus/Hensel_Lifting_Type_Based.thy
(diff)
The file was modified
thys/Berlekamp_Zassenhaus/Mahler_Measure.thy
(diff)
The file was modified
thys/Berlekamp_Zassenhaus/Polynomial_Record_Based.thy
(diff)
The file was modified
thys/Berlekamp_Zassenhaus/Reconstruction.thy
(diff)
The file was modified
thys/Berlekamp_Zassenhaus/Square_Free_Factorization_Int.thy
(diff)
The file was modified
thys/Berlekamp_Zassenhaus/Square_Free_Int_To_Square_Free_GFp.thy
(diff)
The file was modified
thys/Berlekamp_Zassenhaus/Suitable_Prime.thy
(diff)
The file was modified
thys/Descartes_Sign_Rule/Descartes_Sign_Rule.thy
(diff)
The file was modified
thys/Polynomial_Factorization/Polynomial_Division.thy
(diff)
The file was modified
thys/Polynomial_Factorization/Square_Free_Factorization.thy
(diff)
The file was modified
thys/Polynomial_Interpolation/Missing_Polynomial.thy
(diff)
The file was modified
thys/Polynomial_Interpolation/Ring_Hom_Poly.thy
(diff)
The file was modified
thys/Sturm_Tarski/PolyMisc.thy
(diff)