The functions degree and dim are designed so they correspond the degree and dimension of the algebraic variety that may have been used to produce the Hilbert polynomial.


The object ProjectiveHilbertPolynomial is a type, with ancestor classes HashTable < Thing.