Subtracting and reducing polynomials