1: \begin{definition}[Theorem 2.2, \cite{klpoly_epw}]\label{klpoly_defn} Let $M$ be a matroid. Let $L(M)$ be the lattice of flats of $M$. The \text{Kazhdan-Lusztig matroid polynomial}, $P_M(t)\in \Z[t]$, is the unique polynomial that satisfies the following conditions:

2: \begin{enumerate}

3: \item If $\rk(M) = 0$, then $P_M(t)=1$.

4: \item If $\rk(M) > 0$, then $\deg(P_M(t))< \frac{\rk(M)}{2}$.

5: \item \label{ax_tre}  $t^{\rk(M)}P_M(t^{-1}) = \sum \limits_{F\in L(M)} \chi(M_F, t)P_{M^F}(t).$

6: \end{enumerate}

7: \end{definition}

8: