Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. allow choice of factorization oracle
  2. cleanup
  3. relaxed sort constraint in poly_mult from field to idom_div
  4. merged
  5. tuned
Changeset 6205:9ddb7018752d by rene thiemann _rene.thiemann@uibk.ac.at_:
allow choice of factorization oracle
The file was modified thys/Algebraic_Numbers/Algebraic_Number_Tests.thy (diff)
The file was modified thys/Polynomial_Factorization/Berlekamp_Hensel_Factorization.thy (diff)
The file was modified thys/Polynomial_Factorization/Rational_Factorization.thy (diff)
Changeset 6204:ea8c8c155663 by rene thiemann _rene.thiemann@uibk.ac.at_:
cleanup
The file was modified thys/Algebraic_Numbers/Show_Real_Alg.thy (diff)
The file was modified thys/Show/Show_Real.thy (diff)
Changeset 6203:eebe5e1311a4 by rene thiemann _rene.thiemann@uibk.ac.at_:
relaxed sort constraint in poly_mult from field to idom_div
The file was modified thys/Algebraic_Numbers/Algebraic_Numbers.thy (diff)
Changeset 6202:2fc049621b7d by nipkow:
merged
Changeset 6201:cdc3cab4c4c8 by nipkow:
tuned
The file was modified thys/Amortized_Complexity/Move_to_Front.thy (diff)