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