Dixon's factorization method