Root
Elementary Functions
Root[
polynomialInz
k
]
Theorems
The hard hexagon entropy constant