refactor : polynomial_evaluate, not tested
	modified:   horner_rule.hpp
tested :  polynomial evaluate
	modified:   horner_rule.hpp