fix: coeff reduction over Z