coding style
declared and installed LeadingCoefficientOfPoincarePolynomial