Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. More factorization results with "irreducible"
  2. merge
  3. forgotten build
  4. renamed is_projection -> is_oc_projection
Changeset 9038:7903eef5fa79 by akihisa yamada _akihisa.yamada@uibk.ac.at_:
More factorization results with "irreducible"
The file was modified thys/Berlekamp_Zassenhaus/Berlekamp_Zassenhaus.thy (diff)
The file was modified thys/Berlekamp_Zassenhaus/Reconstruction.thy (diff)
The file was modified thys/Perron_Frobenius/Roots_Unity.thy (diff)
Changeset 9037:77915196785a by akihisa yamada _akihisa.yamada@uibk.ac.at_:
merge
Changeset 9036:743e59c05dc2 by akihisa yamada _akihisa.yamada@uibk.ac.at_:
forgotten build
The file was modified thys/LLL_Factorization/Factorization_Algorithm_16_22.thy (diff)
Changeset 9035:0854f84a1022 by rene thiemann _rene.thiemann@uibk.ac.at_:
renamed is_projection -> is_oc_projection
The file was modified thys/LLL_Basis_Reduction/Gram_Schmidt_2.thy (diff)
The file was modified thys/LLL_Basis_Reduction/LLL.thy (diff)