PSLQ norm bound now user specified in header