polynomial-reducible