Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. merge
  2. moved g_bound into partial invariant of LLL_algorithm, changed order of parameters for dk
  3. fixes for MIN, MAX and *s = *r
Changeset 9050:1c1a340a5b9f by rene thiemann _rene.thiemann@uibk.ac.at_:
merge
Changeset 9049:29aaff7a94fb by rene thiemann _rene.thiemann@uibk.ac.at_:
moved g_bound into partial invariant of LLL_algorithm, changed order of parameters for dk
The file was modified thys/LLL_Basis_Reduction/LLL.thy (diff)
Changeset 9048:e698309f3c4f by paulson _lp15@cam.ac.uk_:
fixes for MIN, MAX and *s = *r
The file was modified thys/Affine_Arithmetic/Counterclockwise.thy (diff)
The file was modified thys/Architectural_Design_Patterns/Blockchain.thy (diff)
The file was modified thys/Cayley_Hamilton/Square_Matrix.thy (diff)
The file was modified thys/Jordan_Normal_Form/Jordan_Normal_Form_Existence.thy (diff)
The file was modified thys/Perron_Frobenius/Perron_Frobenius_Irreducible.thy (diff)
The file was modified thys/QR_Decomposition/Miscellaneous_QR.thy (diff)
The file was modified thys/Tarskis_Geometry/Linear_Algebra2.thy (diff)