1: \begin{definition}\label{D:6j} Let

2:   $\J_{i,j,k}\in\Z[\qr][q_1^{\pm1},q_2^{\pm1},q_3^{\pm1}]=\RL$ be the 

3:   Laurent polynomial of Theorem \ref{T:Laurent} associated to $\Ga$ and the edges $(e_1,e_2,e_3)=(v_2v_3,v_3v_1,v_1v_2)$.  Thus, 

4:   $\J_{i,j,k}$ is the unique Laurent polynomial such that for all

5:   $\alpha,\beta,\gamma\in\C$ with

6:   $\alpha,\beta,\gamma,\alpha-\beta,\beta-\gamma,\gamma-\alpha\notin\Z$,

7:   \begin{equation}

8:   \label{E:J-sjv}

9:   \sjv\alpha\beta\gamma{2i}{2j}{2k}

10:   =\J_{i,j,k}(\qr^\alpha,\qr^\beta,\qr^\gamma)

11:   \end{equation}

12:   where $\sjv\alpha\beta\gamma{2i}{2j}{2k}=F'(c(\Ga))$ is the invariant of

13:   the graph $\Ga= \epsh{fig03}{8ex} \put(-27,0){$\ms v_1$}\put(-41,13){$\ms

14:   v_2$}\put(-43,-13){$\ms v_3$}\put(-9,5){$\ms v_4$}$ colored with

15:   $$

16:   \begin{array}{lll}

17:     c(v_2v_3)=\alpha&c(v_3v_1)=\beta&c(v_1v_2)=\gamma\\

18:     c(v_1v_4)=\beta-\gamma-2i\quad&c(v_2v_4)=\gamma-\alpha-2j\quad&

19:     c(v_3v_4)=\alpha-\beta-2k 

20:   \end{array}

21:   $$

22:   \begin{figure}[t,b]

23:     \framebox{\begin{minipage}[c]{1.0\linewidth}

24:      $$

25:      \sjv\alpha\beta\gamma{2i}{2j}{2k}

26:      =\epsh{fig03}{18ex}\put(-85,2){$\alpha$}

27:      \put(-55,-22){$\beta$}\put(-52,20){$\gamma$}

28:      \put(-60,0){$2i$}\put(-90,30){$2j$}\put(-90,-30){$2k$} =\sjtop

29:      {j_1}{j_2}{j_3}{j_4}{j_5}{j_6} =\,\epsh{fig02}{20ex}\put(-70,15){$j_1$}

30:      \put(-55,0){$j_2$}\put(-60,-25){$j_3$}

31:      \put(-35,-15){$j_4$}\put(-48,23){$j_6$}\put(-13,3){$j_5$}

32:      $$

33:      $$

34:      \text{ with }\quad

35:      \begin{array}{lll}

36:        j_1=\alpha&j_2=-\beta&j_6=-\gamma\\

37:        j_4=\beta-\gamma-2i\quad&j_5=\alpha-\gamma+2j\quad&j_3=\alpha-\beta-2k

38:      \end{array}

39:      $$

40:    \end{minipage}}

41:   \caption{The two notations for the $6j$-symbols

42:     $\J_{i,j,k}(\qr^\alpha,\qr^\beta,\qr^\gamma)$}\label{F:6j} 

43: \end{figure}

44: If $|i|,|j|,|k|$ or $|i+j+k|$ is $>{\m}$, then by convention, set

45: $\mathsmall{\sjv\alpha\beta\gamma{2i}{2j}{2k}}=0$.

46: \end{definition}

47: