Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| HilbertClassPolynomial | Hilbert class polynomial |
Source code for this entry:
Entry(ID("fd72e0"),
SymbolDefinition(HilbertClassPolynomial, HilbertClassPolynomial(D, x), "Hilbert class polynomial"))