installed an extra method for LeadingCoefficientOfPoincarePolynomial

for IsDivisor and HasCharacteristicPolynomial