t1_2021-03-28_lll.txt

Initial
[[1, 1, 1],
[-1, 0, 2],
[3, 5, 6]]

Step 1, k: 1/1

Step 2, k: 2/2

red
[[1, 1, 1],
[-1, 0, 2],
[0, 1, 0]]

swap
[[1, 1, 1],
[0, 1, 0],
[-1, 0, 2]]

Step 3, k: 1/1

red
[[1, 1, 1],
[0, 1, 0],
[-1, 0, 2]]

swap
[[0, 1, 0],
[1, 1, 1],
[-1, 0, 2]]

Step 4, k: 1/1

red
[[0, 1, 0],
[1, 0, 1],
[-1, 0, 2]]

Step 5, k: 2/2

red
[[0, 1, 0],
[1, 0, 1],
[-1, 0, 2]]

Check for the LLL reducedness:

Mu matrix:
[[0.00000, 0.00000, 0.00000],
[0.00000, 0.00000, 0.00000],
[0.00000, 0.50000, 0.00000]]

Lovasz vector:
[0.00000, 1.25000, 3.50000]
Final
[[0, 1, 0],
[1, 0, 1],
[-1, 0, 2]]

red: 4, swap: 2