Fixed bug in unvariate factorization. Bound for lifting was using a ordinary