1. Reduce coefficients only when the whole poly is eligible to be reduced to 0; 2. provide two ways of checking minimality