declared and installed CoefficientOfUnivariatePolynomial