1: \begin{definition}%[\cite{}]\label{hyper-plane-def}

2: 	Let us fix $d\in \mathbb{N}.$ Define $T_V(d,\, n)$ be the polynomial time in $n$ to compute the volume of one rational polyhedra by Theorem~\ref{Barvinok-volume-theo}, $T_L(d,\, n)$ be the polynomial time in $n$ to count the number of lattice points in one rational polyhedra with $d$ be a fixed dimensional number by Theorem~\ref{Barvinok-lattice-point-theo}, $T_I(d,\, n)$ be the polynomial time in $n$ to solve integer linear programming time with the fixed dimensional number $d$ by Theorem~\ref{integer-linear-programming}, where $n$ is the total number of linear inequalities from input polyhedra.

3: \end{definition}