Solution (source code)

= Solution

A <Hilbert polynomial> of $A$ is a polynomial $h_A(X)\in\mathbb Q[X]$ such that
$$
h_A(n)=\dim_kA_n
$$
for every sufficiently large integer $n$. Eventual equality makes this polynomial unique.