 Dimension of a bounded-total-degree polynomial space

The vector space of formal polynomials over a field $k$ in $n$ variables with total degree of a polynomial at most $d$ has the monomial basis $x_1^{a_1}\cdots x_n^{a_n}$ for nonnegative exponents with ${\sum }_i{a}_i\le d$. Introducing a slack exponent and using stars and bars counts $\left(\genfrac{}{}{0ex}{}{n+d}{n}\right)$ basis elements. These are formal polynomials; over a finite field, distinct formal polynomials need not define distinct polynomial functions unless suitable degree restrictions hold.