factor-1.3: Factoring integers and polynomials