p = poincarePolynomial P
p = poincarePolynomial(P, VariableName => symbol)
p = poincare P
The Poincaré polynomial of $P$ is the polynomial in a single variable $t$ derived from the rankFunction and the moebiusFunction of $P$.
The Poincaré polynomial of the $n$ booleanLattice is $(1+t)^n$.
|
|
The Poincaré polynomial of the $B3$ arrangement is $(1+t)(1+3t)(1+5t)$.
|
|
|
|
The object poincarePolynomial is a method function with options.