Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merge
  2. more precise citation
  3. soundness of list-based implementation
  4. soundness of distinct degree factorization up to exercise 16 in type-based setting
  5. continued on distinct degree factorization
  6. initial version of distinct degree factorization
Changeset 7259:58b97709a7f5 by rene thiemann _rene.thiemann@uibk.ac.at_:
merge
Changeset 7258:c56e7f4e339d by rene thiemann _rene.thiemann@uibk.ac.at_:
more precise citation
The file was modified thys/Berlekamp_Zassenhaus/Distinct_Degree_Factorization.thy (diff)
Changeset 7257:3677c55fd9c5 by rene thiemann _rene.thiemann@uibk.ac.at_:
soundness of list-based implementation
The file was modified thys/Berlekamp_Zassenhaus/Distinct_Degree_Factorization.thy (diff)
Changeset 7256:43060ec984b1 by rene thiemann _rene.thiemann@uibk.ac.at_:
soundness of distinct degree factorization up to exercise 16 in type-based setting
The file was modified thys/Berlekamp_Zassenhaus/Distinct_Degree_Factorization.thy (diff)
Changeset 7255:514d9478fd9d by rene thiemann _rene.thiemann@uibk.ac.at_:
continued on distinct degree factorization
The file was modified thys/Berlekamp_Zassenhaus/Distinct_Degree_Factorization.thy (diff)
Changeset 7254:523708ef6de7 by rene thiemann _rene.thiemann@uibk.ac.at_:
initial version of distinct degree factorization
The file was addedthys/Berlekamp_Zassenhaus/Distinct_Degree_Factorization.thy