refactor : polynomial_evaluate, not tested
	modified:   horner_rule.hpp