1: \begin{definition}

2: %Following the notations of Theorem \ref{reduction}.

3: %Let $R_{1}, R_{2}, \cdots, R_{r}$ and $G_{1}, G_{2}, \cdots, G_{g}$ be the recognizers and generators that a holographic algorithm employs.%

4: %If all of the recognizers or generators are degenerate, or there exists a common reduction matrix such that

5: %signatures $R'_{1}, R'_{2}, \cdots, R'_{r}$ and $G'_{1}, G'_{2}, \cdots, G'_{g}$ on domain size $s'$,

6: %such that the {\it contraction} of $\bigotimes_{i=1}^{g}G'_{i}$ and $\bigotimes_{j=1}^{r}R'_{j}$ is equal to the {\it contraction} of $\bigotimes_{i=1}^{g}G_{i}$ and $\bigotimes_{j=1}^{r}R_{j}$,

7: %where

8: %all of $\check{R}_{1}, \check{R}_{2}, \cdots, \check{R}_{r}$ or $\check{G}_{1}, \check{G}_{2}, \cdots, \check{G}_{g}$ are degenerate, then the %holographic algorithm is trivial. Otherwise is non-trivial.

9: %\end{definition}

10: