%% %% The LaTeX Graphics Companion, 2ed (first printing May 2007) %% %% Example 7-5-1 on page 509. %% %% Copyright (C) 2007 Michel Goossens, Frank Mittelbach, Denis Roegel, Sebastian Rahtz, Herbert Vo\ss %% %% It may be distributed and/or modified under the conditions %% of the LaTeX Project Public License, either version 1.3 %% of this license or (at your option) any later version. %% %% See http://www.latex-project.org/lppl.txt for details. %% \documentclass{ttctexa} \pagestyle{empty} \setcounter{page}{6} \setlength\textwidth{348.0pt} \StartShownPreambleCommands \usepackage[all,arc,knot]{xy} \StopShownPreambleCommands \begin{document} $\xy 0;<1pt,1pt>: %positive strand first picture for jacobiator (-15,-20)*{}="T1"; (-5,-20)*{}="T2"; (5,-20)*{}="T3"; (15,-20)*{}="T4"; (-14,20)*{}="B1"; (-5,20)*{}="B2"; (5,20)*{}="B3"; (15,20)*{}="B4"; "T1"; "B4" **\crv{(-15,-7) & (15,-5)} \POS?(.25)*{\hole}="2x" \POS?(.47)*{\hole}="2y" \POS?(.6)*{ \hole}="2z"; "T2";"2x" **\crv{(-4,-12)}; "T3";"2y" **\crv{(5,-10)}; "T4";"2z" **\crv{(16,-9)}; (-15,-5)*{}="3x"; "2x"; "3x" **\crv{(-18,-10)}; "3x"; "B3" **\crv{(-13,0) & (4,10)} \POS?(.3)*{\hole}="4x" \POS?(.53)*{\hole}="4y"; "2y"; "4x" **\crv{}; "2z"; "4y" **\crv{}; (-15,10)*{}="5x"; "4x";"5x" **\crv{(-17,6)}; "5x";"B2" **\crv{(-14,12)} \POS?(.6)*{\hole}="6x"; "6x";"B1" **\crv{(-14,18)}; "4y";"6x" **\crv{(-8,10)}; \endxy \quad \xy 0;<1pt,1pt>: %positive 2nd left move in jacobiator (-15,-20)*{}="b1"; (-5,-20)*{}="b2"; (5,-20)*{}="b3"; (14,-20)*{}="b4"; (-14,20)*{}="T1"; (-5,20)*{}="T2"; (5,20)*{}="T3"; (15,20)*{}="T4"; "b1"; "T4" **\crv{(-15,-7) & (15,-5)} \POS?(.25)*{\hole}="2x" \POS?(.47)*{\hole}="2y" \POS?(.65)*{ \hole}="2z"; "b2";"2x" **\crv{(-5,-15)}; "b3";"2y" **\crv{(5,-10)}; "b4";"2z" **\crv{(14,-9)}; (-15,-5)*{}="3x"; "2x"; "3x" **\crv{(-15,-10)}; "3x"; "T3" **\crv{(-15,15) & (5,10)} \POS?(.38)*{\hole}="4y" \POS?(.65)*{\hole}="4z"; "T1";"4y" **\crv{(-14,16)}; "T2";"4z" **\crv{(-5,16)}; "2y";"4z" **\crv{(-10,3) & (10,2)} \POS?(.6)*{\hole}="5z"; "4y";"5z" **\crv{(-5,5)}; "5z";"2z" **\crv{(5,4)}; \endxy \quad \xy 0;<1pt,1pt>: %positive 3rd left move in jacobiator (-14,20)*{}="T1"; (-4,20)*{}="T2"; (4,20)*{}="T3"; (15,20)*{}="T4"; (-15,-20)*{}="B1"; (-5,-20)*{}="B2"; (5,-20)*{}="B3"; (15,-20)*{}="B4"; "B1";"T4" **\crv{(-15,5) & (15,-5)} \POS?(.25)*{\hole}="2x" \POS?(.49)*{\hole}="2y" \POS?(.65)*{ \hole}="2z"; "2x";"T3" **\crv{(-20,10) & (5,10) } \POS?(.45)*{\hole}="3y" \POS?(.7)*{\hole}="3z"; "2x";"B2" **\crv{(-5,-14)}; "T1";"3y" **\crv{(-16,17)}; "T2";"3z" **\crv{(-5,17)}; "3z";"2z" **\crv{}; "3y";"2y" **\crv{}; "B3";"2z" **\crv{ (5,-5) &(20,-10)} \POS?(.4)*{\hole}="4z"; "2y";"4z" **\crv{(6,-8)}; "4z";"B4" **\crv{(15,-15)}; \endxy \quad \xy 0;<1pt,1pt>: %positive 4th left move in jacobiator (-14,20)*{}="T1"; (-4,20)*{}="T2"; (4,20)*{}="T3"; (15,20)*{}="T4"; (-15,-20)*{}="B1"; (-5,-20)*{}="B2"; (5,-20)*{}="B3"; (15,-20)*{}="B4"; "B1";"T4" **\crv{(-15,-5) & (15,5)} \POS?(.38)*{\hole}="2x" \POS?(.53)*{\hole}="2y" \POS?(.7)*{\hole}="2z"; "T1";"2x" **\crv{(-15,5)}; "2y";"B2" **\crv{(10,-10) & (-6,-10)} \POS?(.45)*{\hole}="4x"; "2z";"B3" **\crv{ (15,0)&(15,-10) & (6,-16)} \POS?(.7)*{\hole}="5x"; "T3";"2y" **\crv{(5,10)& (-6,18) } \POS?(.5)*{\hole}="3x"; "T2";"3x" **\crv{(-5,15)}; "3x";"2z" **\crv{(7,11)}; "2x";"4x" **\crv{(-3,-7)}; "4x";"5x" **\crv{}; "5x";"B4" **\crv{(15,-15)}; \endxy$ \end{document}