- Due to a programming slip on my part, the example in Remarks 2 on page 130 of
our paper HMM is not a counter-example after all!

Experiments suggest that Theorem 5.1 is true for all α >1/4, but we are unable to prove this.

We remark that the example (s_{1}, s_{2}, s_{3}) = (13, 101, 187) with α = 101/400 is typical, as hereB = 40 -7 1 μ

while ||b_{21}= 819/1650, μ_{31}= 382/1650, μ_{21}= 13842/45339, 19 -8 3 9 -3 1_{2}^{*}||^{2}= 45339/1650 and ||b_{1}^{*}||^{2}= 1650. The proof of Theorem 5.1 breaks down for these numbers, but nevertheless, b_{3}= [9, -3, 1] is a (unique) shortest multiplier.

- Theorem 5.1 on page 129 of HMM is stated somewhat ambiguously.
Strictly speaking, what we proved is that either b
_{3}is a smallest multiplier or else any smaller multiplier is one of the 6 vectors b_{3}+ e_{1}b_{1}+ e_{2}b_{2}, where e_{i}= -1,0,1 and (e_{1},e_{2}) ≠ (±1,0). The possibilities ||b_{3}± b_{1}|| = ||b_{3}|| are not ruled out.

For example: (with α = 1) and (s_{1}, s_{2}, s_{3}) = (2, 2, 3). HereB = -1 1 0 1 2 -2 -1 0 1

Then b_{3}= [-1, 0, 1] and b_{3}- b_{1}= [0, -1, 1] are the shortest multipliers. - Each of the last 4 lines of the table on page 130 contains one error:

the sign should be changed in each second alternative.

The table is to be interpreted as stating that*at least one*shortest multiplier will be of the type listed. There can be shortest multipliers not of these types.

For example: (with α = 1) (41,43,49).

B = 3 -4 1 μ

Then b_{21}= -7/26, μ_{31}= 1/2, -10 -3 11 μ_{32}= -2899/5931. 6 0 -5_{3}= [6, 0, -5], b_{3}- b_{1}= [3, 4, -6] and b_{3}+ b_{2}= [-4, -3, 6] are the shortest multipliers.

I give a complete classification of all possibilities for shortest vectors when α = 1, as well as a proof that there are at most 3 shortest multipliers in this case, in a manuscript. - On page 131, Section 6 of our paper, we omitted to state that our matrix G(γ) is similar to one mentioned on page 156 of the book of Grötschel, Lovász and Schrijver. Although we quoted another result earlier in the chapter of that book, the one on page 156 had escaped our attention!
- The following correction was supplied by Wilberd van der Kallen in February 15, 2017
in response to a question communicated to me by Benjamin Hilprecht in Jan 31, 2017.
In

`Reduce2(k,i)`replace`If there is a j such that a`_{k,j}≠`0`then

`col2`←`least j such that a`;_{k,j}≠ 0

`else col2 ← n+1;``with``If there is j such that a`_{k,j}≠ 0 then

`col2 ← least j such that a`_{k,j}≠ 0;

`if a`_{k,col2}< 0 then minus(k); a_{k}← -a_{k}; b_{k}← -b_{k};

`else col ← n+1;``This correction is not mentioned in the book`*An Introduction to the LLL Algorithm and Its Applications*of Murray R. Bremner.

* Last modified 1st November 2022*