The algorithm of Pottier (see [Pot94]) starts by computing a lattice basis using the LLL-algorithm ( system). The ideal corresponding to the lattice basis vectors