The output is an m x m unimodular integer matrix B, whose first m-1 rows form a basis for the lattice formed by the integer vectors (x1,...,xm) such that x1d1+⋯+xmdm = 0.
The last row of B gives the small multipliers y1,...,ym.
We use a modification of the Fincke-Pohst algorithm to determine all shortest multipliers. Our algorithm is described here.
There is a slight difference between the output here and that of our earlier shortest multiplier program. For instead of finding all multipliers of length not exceeding Bm and then determining the shortest ones, we now repeatedly replace Bm by a smaller one until no shorter multiplier is produced, in which case we then output all shortest multipliers.
Last modified 24th October 2011
Return to main page