Summary
- merge
- new implementation of LLL based on mu-values
The file was added | thys/LLL_Basis_Reduction/LLL_Mu_Impl.thy |
The file was modified | thys/LLL_Basis_Reduction/Int_Rat_Operations.thy (diff) |
The file was added | thys/LLL_Basis_Reduction/LLL_Mu_Impl.thy |
The file was modified | thys/LLL_Basis_Reduction/Int_Rat_Operations.thy (diff) |