Dixon%27s factorization method