polynomial reduction