A pivoted LLL algorithm

Luk and Tracy (2008) [7] developed a matrix interpretation of the LLL algorithm. Building on their work [7], we propose to add pivoting to the algorithm. We prove that our new algorithm always terminates, and we construct a class of ill-conditioned reduced matrices to illustrate the advantages of pivoting.