Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. merge
  2. changes because of better log-algorithm
  3. improved logarithm algorithm
Changeset 7402:ad3d270874ad by rene thiemann _rene.thiemann@uibk.ac.at_:
merge
Changeset 7401:821acfa4522e by rene thiemann _rene.thiemann@uibk.ac.at_:
changes because of better log-algorithm
The file was modified thys/Berlekamp_Zassenhaus/Factor_Bound.thy (diff)
The file was modified thys/Berlekamp_Zassenhaus/Hensel_Lifting.thy (diff)
Changeset 7400:26839ea1add6 by rene thiemann _rene.thiemann@uibk.ac.at_:
improved logarithm algorithm
The file was addedthys/Sqrt_Babylonian/Log_Impl.thy
The file was modified thys/Sqrt_Babylonian/NthRoot_Impl.thy (diff)
The file was modified thys/Sqrt_Babylonian/ROOT (diff)