xy-pictテスト@re:sweaTEST

\(\xymatrix { *+[F]{\LARGE{+}}; *+[o][F]{\LARGE{\times}} }\) \(\xymatrix { *+[o][F]{\LARGE{\times}} }\) \(\xymatrix {*+[F]{SQUARE \tiny{-in-xymatrix}} }\) \(\xymatrix {*+[o][F]{CIRCLE \tiny{-in-xymatrix}} }\) \[ \begin{xy} \xymatrix { U \ar@/_/[ddr]_y \ar@{.>}[dr]|{\langle x,y \rangle} \ar@/^/[drr]^x \\ & X \times_Z Y \ar[d]^q \ar[r]_p & X \ar[d]_f \\ & Y \ar[r]^g & Z } \end{xy} \] \( \begin{xy} (0,0) *++={A} *\frm{o} ; \end{xy} \) \( \begin{xy} (0,20)*+{A};(60,0)*+{B} **\crv{} **\crv{(30,30)} **\crv{(20,40)&(40,40)} **\crv{(10,20)&(30,20)&(50,-20)&(60,-10)} \end{xy} \) \( \begin{xy} (0,20)*[o]+{A};(60,0)*[o]+{B}="B" **\crv{} \POS?(.4)*_+!UR{0},"B" **\crv{(30,30)} \POS?*^+!D{1},"B" **\crv{(20,40)&(40,40)} \POS?*^+!D{2},"B" **\crv{(10,20)&(30,20)&(50,-20)&(60,-10)} \POS?*+^!UR{4} \end{xy} \) \( \begin{xy} <1cm,0cm>: (0,0)*=0{+}="+" ; (2,1)*=0{\times}="*" **@{.} , (1,0)*+{A} ; (2,2)*+{B} **@{-} ?!{"+";"*"} *{\bullet} \end{xy} \) \( \begin{xy} (0,0)*+{A}; (50,-10)*+{B} **\crv{~*=<4pt>{.} (10,10)&(20,0)&(40,15)} **\crv{~*=<8pt>{}~**!/-5pt/\dir{>}(10,-20) &(40,-15)} \end{xy} \) \( \begin{xy} *{+}; p+(6,3)*{+} **{} ?(1) *@{-} *!/-5pt/^\dir{-} *^\dir{-} *!/^-5pt/\dir{-} \end{xy} \) \( \begin{xy} *\cir<5pt>{} *!<-.2pt,.2pt>\cir<5pt>{dr^ul} *!<-.4pt,.4pt>\cir<5pt>{dr^ul} *!<-.6pt,.6pt>\cir<5pt>{dr^ul} \end{xy} \) \( \begin{xy} (0,20)*+{A};(60,0)*+{B} **\crv{(10,20)&(30,20)&(50,-20)&(60,-10)} ?<*\dir{<} ?>*\dir{>} ?(.65)*{\oplus} *!LD!/^-5pt/{x} ?(.65)/12pt/*{\oplus} *!LD!/^-5pt/{x’} ?(.28)*=0{\otimes}-/40pt/*+{Q}="q" +/100pt/*+{P};"q" **\dir{-} \end{xy} \)

P.1 Abstract

\( \begin{xy} (3,0)*{A} ; (20,6)*+{B}*\cir{} **\dir{-} ? *_!/3pt/\dir{)} *_!/7pt/\dir{:} ?>* \dir{>} \end{xy} \) \[ \begin{xy} *[o]=<40pt>\hbox{Round}="o"*\frm{oo}, +<5em,-5em>@+, (46,11)*+\hbox{Square}="s" *\frm{-,}, -<5em,-5em>@+, "o";"s" **{} ?*+\hbox{Bend}="b"*\frm{.}, "o";"s"."b" **\crvs{-}, "o"."b";"s" **\crvs{-} ?>*\dir{>} \end{xy} \] \[ \begin{xy} *[o]=<40pt>\hbox{Round}="o"*\frm{oo}, +<5em,-5em>@+, (46,11)*+\hbox{Square}="s" *\frm{-,}, -<5em,-5em>@+, "o";"s" **{} ?*+{Bend}="b"*\frm{.}, "o";"s"."b" **\crv{-}, "o"."b";"s" **\crv{-} ?>*\dir{>} \end{xy} \]

\begin{xy} 
 *[o]=<40pt>\hbox{Round}="o"*\frm{oo},
+<5em,-5em>@+,
(46,11)*+\hbox{Square}="s" *\frm{-,},
-<5em,-5em>@+,
"o";"s" **{} ?*+\hbox{Bend}="b"*\frm{.},
"o";"s"."b" **\crvs{-},
"o"."b";"s" **\crvs{-} ?>*\dir{>}
\end{xy}

\begin{xy} 
 *[o]=<40pt>\hbox{Round}="o"*\frm{oo},
+<5em,-5em>@+,
(46,11)*+\hbox{Square}="s" *\frm{-,},
-<5em,-5em>@+,
"o";"s" **{} ?*+{Bend}="b"*\frm{.},
"o";"s"."b" **\crv{-},
"o"."b";"s" **\crv{-} ?>*\dir{>}
\end{xy}

【注意】 crvにしても、座標指定してないので、カーブしていない

\( \begin{xy} \xymatrix{ U \ar@/_/[ddr]_y \ar[dr] \ar@/^/[drr]^x \\ & X \times_Z Y \ar[d]^q \ar[r]_p & X \ar[d]_f \\ & Y \ar[r]^g & Z } \end{xy} \)

P.7〜 Positions

\( \begin{xy} <1cm,0cm>: (0,0)*=0{+}="+" ; (2,1)*=0{\times}="*" **@{.} , (1,0)*+{A} ; (2,2)*+{B} **@{-} ?!{"+";"*"} *{\bullet} \end{xy} \) \( exercise 7 \\ \begin{xy} *=<3cm,1cm>\txt{Box}*\frm{-} !U!R(.5) *\frm{..}*{\bullet} \end{xy} \) \( \begin{xy} @={(0,-10),(10,3),(20,-5)} @@{*{P}} \end{xy} \) \( \begin{xy} (0,0) *++={A} *\frm{o} ; \end{xy} \)

P.16- Kernel object library

dir

\(\begin{xy} (3,0)*{A}*\frm{-} ; (15,6)*+{B}*\cir{} **\dir{}\end{xy}\)
\(\begin{xy} (3,0)*{A}*\frm{-} ; (15,6)*+{B}*\cir{} **\dir{-}\end{xy}\) \(\begin{xy} (3,0)*{A}*\frm{-} ; (15,6)*+{B}*\cir{} **\dir{.}\end{xy}\) \(\begin{xy} (3,0)*{A}*\frm{-} ; (15,6)*+{B}*\cir{} **\dir{~}\end{xy}\) \(\begin{xy} (3,0)*{A}*\frm{-} ; (15,6)*+{B}*\cir{} **\dir{--}\end{xy}\) \(\begin{xy} (3,0)*{A}*\frm{-} ; (15,6)*+{B}*\cir{} **\dir{~~}\end{xy}\)
\(\begin{xy} (3,0)*{A}*\frm{-} ; (15,6)*+{B}*\cir{} **\dir2{-}\end{xy}\) \(\begin{xy} (3,0)*{A}*\frm{-} ; (15,6)*+{B}*\cir{} **\dir2{.}\end{xy}\) \(\begin{xy} (3,0)*{A}*\frm{-} ; (15,6)*+{B}*\cir{} **\dir2{~}\end{xy}\) \(\begin{xy} (3,0)*{A}*\frm{-} ; (15,6)*+{B}*\cir{} **\dir2{--}\end{xy}\) \(\begin{xy} (3,0)*{A}*\frm{-} ; (15,6)*+{B}*\cir{} **\dir2{~~}\end{xy}\)
\(\begin{xy} (3,0)*{A}*\frm{-} ; (15,6)*+{B}*\cir{} **\dir3{-}\end{xy}\) \(\begin{xy} (3,0)*{A}*\frm{-} ; (15,6)*+{B}*\cir{} **\dir3{.}\end{xy}\) \(\begin{xy} (3,0)*{A}*\frm{-} ; (15,6)*+{B}*\cir{} **\dir3{~}\end{xy}\) \(\begin{xy} (3,0)*{A}*\frm{-} ; (15,6)*+{B}*\cir{} **\dir3{--}\end{xy}\) \(\begin{xy} (3,0)*{A}*\frm{-} ; (15,6)*+{B}*\cir{} **\dir3{~~}\end{xy}\)
\(\begin{xy} (3,0) ; (15,6) **\dir{-}\end{xy}\)
\(\begin{xy} (3,0) ; (15,6) **\dir{>}\end{xy}\) \(\begin{xy} (3,0) ; (15,6) **\dir{<}\end{xy}\) \(\begin{xy} (3,0) ; (15,6) **\dir{|}\end{xy}\) \(\begin{xy} (3,0) ; (15,6) **\dir{)}\end{xy}\) \(\begin{xy} (3,0) ; (15,6) **\dir{(}\end{xy}\)
\(\begin{xy} (3,0) ; (15,6) **\dir{-}?>* \dir{>}\end{xy}\) \(\begin{xy} (3,0) ; (15,6) **\dir{-}?>* \dir{<}\end{xy}\) \(\begin{xy} (3,0) ; (15,6) **\dir{-}?>* \dir{|}\end{xy}\) \(\begin{xy} (3,0) ; (15,6) **\dir{-}?>* \dir{)}\end{xy}\) \(\begin{xy} (3,0) ; (15,6) **\dir{-}?>* \dir{(}\end{xy}\)
\(\begin{xy} (3,0) ; (15,6) **\dir{-}?>* \dir^{>}\end{xy}\) \(\begin{xy} (3,0) ; (15,6) **\dir{-}?>* \dir^{<}\end{xy}\) \(\begin{xy} (3,0) ; (15,6) **\dir{-}?>* \dir^{|}\end{xy}\) \(\begin{xy} (3,0) ; (15,6) **\dir{-}?>* \dir^{)}\end{xy}\) \(\begin{xy} (3,0) ; (15,6) **\dir{-}?>* \dir^{(}\end{xy}\) \(\begin{xy} (3,0) ; (15,6) **\dir{-}?>* \dir^{‘}\end{xy}\) \(\begin{xy} (3,0) ; (15,6) **\dir{-}?>* \dir^{’}\end{xy}\)
\(\begin{xy} (3,0) ; (15,6) **\dir{-}?>* \dir_{>}\end{xy}\) \(\begin{xy} (3,0) ; (15,6) **\dir{-}?>* \dir_{<}\end{xy}\) \(\begin{xy} (3,0) ; (15,6) **\dir{-}?>* \dir_{|}\end{xy}\) \(\begin{xy} (3,0) ; (15,6) **\dir{-}?>* \dir_{)}\end{xy}\) \(\begin{xy} (3,0) ; (15,6) **\dir{-}?>* \dir_{(}\end{xy}\) \(\begin{xy} (3,0) ; (15,6) **\dir{-}?>* \dir_{‘}\end{xy}\) \(\begin{xy} (3,0) ; (15,6) **\dir{-}?>* \dir_{’}\end{xy}\)
\(\begin{xy} (3,0) ; (15,6) **\dir{-}?>* \dir2{>}\end{xy}\) \(\begin{xy} (3,0) ; (15,6) **\dir{-}?>* \dir2{<}\end{xy}\) \(\begin{xy} (3,0) ; (15,6) **\dir{-}?>* \dir2{|}\end{xy}\) \(\begin{xy} (3,0) ; (15,6) **\dir{-}?>* \dir2{>>}\end{xy}\) \(\begin{xy} (3,0) ; (15,6) **\dir{-}?>* \dir2{<<}\end{xy}\) \(\begin{xy} (3,0) ; (15,6) **\dir{-}?>* \dir2{||}\end{xy}\) \(\begin{xy} (3,0) ; (15,6) **\dir{-}?>* \dir2{|-}\end{xy}\)
\(\begin{xy} (3,0) ; (15,6) **\dir{-}?>* \dir3{>}\end{xy}\) \(\begin{xy} (3,0) ; (15,6) **\dir{-}?>* \dir3{<}\end{xy}\) \(\begin{xy} (3,0) ; (15,6) **\dir{-}?>* \dir3{|}\end{xy}\) \(\begin{xy} (3,0) ; (15,6) **\dir{-}?>* \dir3{>>}\end{xy}\) \(\begin{xy} (3,0) ; (15,6) **\dir{-}?>* \dir3{<<}\end{xy}\) \(\begin{xy} (3,0) ; (15,6) **\dir{-}?>* \dir3{||}\end{xy}\) \(\begin{xy} (3,0) ; (15,6) **\dir{-}?>* \dir3{|-}\end{xy}\)
\(\begin{xy} (3,0) ; (15,6) **\dir{-}?>* \dir{>>}\end{xy}\) \(\begin{xy} (3,0) ; (15,6) **\dir{-}?>* \dir{<<}\end{xy}\) \(\begin{xy} (3,0) ; (15,6) **\dir{-}?>* \dir{||}\end{xy}\) \(\begin{xy} (3,0) ; (15,6) **\dir{-}?>* \dir{|-}\end{xy}\) \(\begin{xy} (3,0) ; (15,6) **\dir{-}?>* \dir{>|}\end{xy}\) \(\begin{xy} (3,0) ; (15,6) **\dir{-}?>* \dir{+}\end{xy}\) \(\begin{xy} (3,0) ; (15,6) **\dir{-}?>* \dir{x}\end{xy}\) \(\begin{xy} (3,0) ; (15,6) **\dir{-}?>* \dir{/}\end{xy}\) \(\begin{xy} (3,0) ; (15,6) **\dir{-}?>* \dir{//}\end{xy}\) \(\begin{xy} (3,0) ; (15,6) **\dir{-}?>* \dir{*}\end{xy}\) \(\begin{xy} (3,0) ; (15,6) **\dir{-}?>* \dir{o}\end{xy}\) \(\begin{xy} (3,0) ; (15,6) **\dir{-}?>* \dir^{>>}\end{xy}\) \(\begin{xy} (3,0) ; (15,6) **\dir{-}?>* \dir^{<<}\end{xy}\) \(\begin{xy} (3,0) ; (15,6) **\dir{-}?>* \dir^{||}\end{xy}\) \(\begin{xy} (3,0) ; (15,6) **\dir{-}?>* \dir^{|-}\end{xy}\) \(\begin{xy} (3,0) ; (15,6) **\dir{-}?>* \dir_{>>}\end{xy}\) \(\begin{xy} (3,0) ; (15,6) **\dir{-}?>* \dir_{<<}\end{xy}\) \(\begin{xy} (3,0) ; (15,6) **\dir{-}?>* \dir_{||}\end{xy}\) \(\begin{xy} (3,0) ; (15,6) **\dir{-}?>* \dir_{|-}\end{xy}\)

circle

\(\begin{xy} *\cir<4pt>{}\end{xy}\) \(\begin{xy}*{M}*\cir{}\end{xy}\) \(\begin{xy} *\cir<4pt>{l^r}\end{xy}\) \(\begin{xy} *\cir<4pt>{l_r}\end{xy}\) \(\begin{xy} *\cir<4pt>{dl^u}\end{xy}\) \(\begin{xy} *\cir<4pt>{dl_u}\end{xy}\) \(\begin{xy} *+{M}*\cir{dr_ur}\end{xy}\) u^u -> nothing \(\begin{xy}*\cir<4pt>{u^u}\end{xy}\)

8.2 Circles and Ellipses
\( 8.2 Circles and Ellipses \\ \begin{xy} 0;/r5pc/:*\dir{*} ;p+(.5,-.5)*\dir{*}="c" ,**\dir{-},*+!UL{c},"c" ,*\xycircle(1,.4){++\dir{<}} ,*\xycircle(1,1){++\dir{>}} ,*\xycircle<15pt,10pt>{} ;*\xycircle<10pt>{{.}} \end{xy} \)

14 Pattern and Tile extension P.31-

\( \AliasPattern{bricks}{mac12}{xymacpat} \AliasPattern{bars}{mac08}{xymacpat} \begin{xy} *+<5pc,3.1pc>{},{*[bricks]\frm{**}} ,*+<2.5pc>[o]{},*[bars]\frm{**} \end{xy} \) \( \AliasPattern{bricks}{mac12}{} \LoadPattern{mac28}{}\LoadPattern{mac05}{} \begin{xy} *=0[! macfreq -45 pa][mac28][|=Bars]{} ,*+<12pc,4pc>{}*[bricks]\frm{**} ,-<3.5pc,0pt>,*+<2.65pc>[o]{},*[Bars]\frm{**} ,*[thicker]\frm{o},+<6pc,0pt> ,*+<5pc, 2.7pc>{},*[mac05]\frm{**},*\frm{-,} ,*[white]\txt\Large\bf\sf{Kilroy\\was here} \end{xy} \)

15 Import graphics extension P.33-

\( \xyoption{import} \def\ellipA{\resizebox{6cm}{!}{% \includegraphics{import1.eps}}} \begin{xy} \xyimport(3.7,3.7)(1.4,1.4){\ellipA}*\frm{-} ,!D+<2pc,-1pc>*+!U\txt{% Framed contents of graphics file.}\endxy \qquad\qquad \xy\xyimport(3.7,3.7)(1.4,1.4){\ellipA} ,!D+<2pc,-1pc>*+!U\txt{Rational points on the elliptic curve: $x^3+y^3=7$} ,(1,0)*+!U{1},(-1,0)*+!U{-1} ,(0,1)*+!R{1},(0,-1)*+!R{-1} ,(2,-1)*+!RU{P},(-1,2)*+!RU{-P} ,(1.3333,1.6667)*+!UR{-2P} ,(1.6667,1.3333)*!DL{\;2P} ,(-.5,1.9)*++!DL{3P},(1.9,-.5)*!DL{\;-3P} ,(-1,2.3)*+++!D{\infty}*=0{},{\ar+(-.2,.2)} ,(.5,2.3)*+++!D{\infty}*=0{},{\ar+(-.2,.2)} ,(2.3,-1)*+++!L{\infty}*=0{},{\ar+(.2,-.2)} \end{xy} \)

24 Arrow and Path feature P.38-

\(\xyoption{arrow} \begin{xy} *+{0} \PATH ~={**\dir{-}} ~{’(20,-2)*+{2} (30,0)*+{3}} ’(10,1)*+{1} \end{xy}\) \(\begin{xy} <4pc,0pc>:(0,0) *+\txt{base}="base" \PATH ~={**\dir{-}?>*\dir{>}} ‘l (-1,-1)*{A} ^a ‘ (1,-1)*{B} ^b ‘_ul (1, 0)*{C} ^c ‘ul^l "base" ^d "base" ^e \end{xy}\)

Appendices (exercise answers) P.72-

\( exercise 2 \\ \xymatrix{ {\bullet} \ar@{--}[d]\ar@{=}[dr]\ar@{-}[r] & {\bullet} \ar@{.}[d] \\ {\bullet} & {\bullet} \ar[l] } \) \( exercise 3 \\ \xymatrix{ A \ar[r]^f \ar[dr]_{f;g} & B \ar[d]^g \ar[dr]^{g;h} \\ & C \ar[r]_h & D } \) \( exercise 4 \\ \begin{xy} % % set up and mark A, B, C, and D: (0,0)="A" *\cir<1pt>{}*+!DR{A}, (7,10)="B" *\cir<1pt>{}*+!DR{B}, (13,8)="C" *\cir<1pt>{}*+!DL{C}, (15,4)="D" *\cir<1pt>{}*+!DL{D}, % % goto intersection and name+circle it: {"A";"B":"C";"D",x} ="I" *\cir<3pt>{}, % % make dotted lines: "I";"A"**{} +/1pc/;-/1pc/ **@{..}, "I";"D"**{} +/1pc/;-/1pc/ **@{..} % \end{xy} \) \( exercise 8 \\ \begin{xy} @={(0,-10),(10,3),(20,-5)}, s0="prev" @@{;"prev";**@{-}="prev"} \end{xy} \) \( exercise 14 \\ \begin{xy} *{+}; p+(6,3)*{+} **{} ?(1) *@{-} *!/-5pt/^\dir{-} *^\dir{-} *!/^-5pt/\dir{-} \end{xy} \) \( exercise 15 \\ \begin{xy} *\cir<5pt>{} *!<-.2pt,.2pt>\cir<5pt>{dr^ul} *!<-.4pt,.4pt>\cir<5pt>{dr^ul} *!<-.6pt,.6pt>\cir<5pt>{dr^ul} \end{xy} \) \( exercise 16 \\ \begin{xy} (0,20)*[o]+{A};(60,0)*[o]+{B}="B" **\crv{} \POS?(.4)*_+!UR{0},"B" **\crv{(30,30)} \POS?*^+!D{1},"B" **\crv{(20,40)&(40,40)} \POS?*^+!D{2},"B" **\crv{(10,20)&(30,20)&(50,-20)&(60,-10)} \POS?*+^!UR{4} \end{xy} \) \( exercise 17 \\ \begin{xy} (0,20)*+{A};(60,0)*+{B} **\crv{(10,20)&(30,20)&(50,-20)&(60,-10)} ?<*\dir{<} ?>*\dir{>} ?(.65)*{\oplus} *!LD!/^-5pt/{x} ?(.65)/12pt/*{\oplus} *!LD!/^-5pt/{x’} ?(.28)*=0{\otimes}-/40pt/*+{Q}="q" +/100pt/*+{P};"q" **\dir{-} \end{xy} \) \( exercise 18 （＼txtが異常）\\ \def\ssz#1{\hbox{$_{^{#1}}$}} \begin{xy} (0,0)*+{A};(30,-10)*+{B}="B",**\dir{-}, "B"**\crv{(5,20)&(20,25)&(35,20)} ?<(0)*\dir{<}="a" ?>(1)*\dir{>}="h" ?(.1)*\dir{<}="b" ?(.9)*\dir{>}="i" ?(.2)*\dir{<}="c" ?(.8)*\dir{>}="j" ?(.3)*\dir{<}="d" ?(.7)*\dir{>}="k" ?(.4)*\dir{<}="e" ?(.6)*\dir{>}="l" ?(.5)*\dir{|}="f", "a"*!RC\txt{\ssz{(\lt)}}; "h"*!LC\txt{\ssz{\;(\gt)}},**\dir{.}, "b"*!RD{\ssz{.1}}; "i"*!L{\ssz{\;.9}},**\dir{-}, "c"*!RD{\ssz{.2}}; "j"*!L{\ssz{\;.8}},**\dir{-}, "d"*!RD{\ssz{.3}}; "k"*!L{\ssz{\;.7}},**\dir{-}, "e"*!RD{\ssz{.4}}; "l"*!LD{\ssz{.6}},**\dir{-}, "f"*!D!/^-3pt/{\ssz{.5}} \end{xy} \) \( exercise 18 amend \\ \def\ssz#1{\hbox{$_{^{#1}}$}} \begin{xy} (0,0)*+{A};(30,-10)*+{B}="B",**\dir{-}, "B"**\crv{(5,20)&(20,25)&(35,20)} ?<(0)*\dir{<}="a" ?>(1)*\dir{>}="h" ?(.1)*\dir{<}="b" ?(.9)*\dir{>}="i" ?(.2)*\dir{<}="c" ?(.8)*\dir{>}="j" ?(.3)*\dir{<}="d" ?(.7)*\dir{>}="k" ?(.4)*\dir{<}="e" ?(.6)*\dir{>}="l" ?(.5)*\dir{|}="f", "a"*!RC{\ssz{(\lt)}}; "h"*!LC{\ssz{\;(\gt)}},**\dir{.}, "b"*!RD{\ssz{.1}}; "i"*!L{\ssz{\;.9}},**\dir{-}, "c"*!RD{\ssz{.2}}; "j"*!L{\ssz{\;.8}},**\dir{-}, "d"*!RD{\ssz{.3}}; "k"*!L{\ssz{\;.7}},**\dir{-}, "e"*!RD{\ssz{.4}}; "l"*!LD{\ssz{.6}},**\dir{-}, "f"*!D!/^-3pt/{\ssz{.5}} \end{xy} \) \( exercise 19 \\ \begin{xy} (0,0) *++={A} *\frm{o} ; (10,7) *++={B} *\frm{o} **\frm{.} \end{xy} \) \( exercise 21 \\ \begin{xy} (0,0) *+++{A} ; (10,7) *+++{B} **\frm{.} **\frm{^\}} ; **\frm{_\}} \end{xy} \)
exercise 22→「parse error at or near "\drop[*1.25] -->」
\( exercise 22 \\ \UseCrayolaColors \begin{xy} \xy\drop[*1.25]\xybox{\POS (0,0)*{A};(100,40)*{B}**{} ?<<*[@_][red][o]=<5pt>{\heartsuit}; ?>>>*[@_][Plum][o]=<3pt>{\clubsuit} **[|*][|.5pt][thicker]\dir{-}, ?(.1)*[left]!RD\txt{label 1}*[red]\frm{.} ?(.2)*[!gsave newpath xyXpos xyYpos moveto 50 dup rlineto 20 setlinewidth 0 0 1 setrgbcolor stroke grestore][psxy]{.}, ?(.2)*[@]\txt{label 2}*[red]\frm{.}, ?(.2)*[BurntOrange]{*}, ?(.3)*[halfsize]\txt{label 3}*[red]\frm{.} ?(.375)*[flip]\txt{label 4}*[red]\frm{.} ?(.5)*[dblsize]\txt{label 5}*[red]\frm{.} ?(.5)*[WildStrawberry]{*}, ?(.7)*[hflip]\txt{label 6}*[red]\frm{.} ?(.8)*[vflip]\txt{label 7}*[red]\frm{.} ?(.9)*[right]!LD\txt{label 8}*[red]\frm{.} ?(.5)*[@][*.66667]!/^30pt/ \txt{special effect: aligned text} *[red]\frm{.} \end{xy} \)
excercise 23→「parse error at or near "\PATH ‘ul^ur,"me" "me" |>*:(1,-.25)\dir{>} "-->」
\( exercise 23 \\ \begin{xy} *+{A}*\cir<10pt>{}="me" \PATH ‘ul^ur,"me" "me" |>*:(1,-.25)\dir{>} \end{xy} \)
\( exercise 24 \\ \begin{xy} (0,0) \ar @{-->} (30,7) ^A="a" \POS(10,12)*+\txt{label} \ar "a" \end{xy} \) \( exercise 25 \\ \begin{xy} ;<1pc,0pc>: \POS(0,0)*+{A} \ar +(-2,3)*+{A’}*\cir{} \ar @2 +( 0,3)*+{A’’}*\cir{} \ar @3 +( 2,3)*+{A’’’}*\cir{} \POS(6,0)*+{B} \ar @1{||.>>} +(-2,3)*+{B’}*\cir{} \ar @2{||.>>} +( 0,3)*+{B’’}*\cir{} \ar @3{||.>>} +( 2,3)*+{B’’’}*\cir{} \end{xy} \)
exercise 26
\( exercise 26 \\ \begin{xy} \newdir{ >}{{}*!/-5pt/\dir{>}} \end{xy} \)
\( exercise 27 \\ \begin{xy} \ar @{>>*\composite{\dir{x}*\dir{+}}<<}(20,7) \end{xy} \) \( exercise 28 \\ \begin{xy} *{\circ}="b" \ar@(ur,ul) c \ar@{.>}@(dr,ul) (20,0)*{\bullet} \end{xy} \)
exercise 29
\( exercise 29 \\ \xymatrixrowsep{1.5pc} \xymatrixcolsep{3pc} \diagram &&\relax\rtwocell<0>^{f_3^{}\;\;}{\omit} &\relax\ddtwocell<0>{\omit} \drtwocell<0>^{\;\;f_4^{}}{<3>} \ddrrtwocell<\omit>{<8>}\\ &&&&\relax\drtwocell<0>^{\;\;f_5^{}}{\omit}\\ A \uurrlowertwocell<-6>{\omit}\relax \uurrcompositemap<2>_{f_1^{}}^{f_2^{}}{<.5>} \drtwocell<0>_{g_1^{}\;}{\omit} &&&\relax\urtwocell<0>{\omit} &&\relax\rtwocell<0>^{f_6^{}\;}{\omit} &\relax\rlowertwocell<-3>_{g_4^{}}{<-1>} \rcompositemap<6>_{f_7^{}}^{f_8^{}}{\omit} & B \\ &\relax\urrtwocell<0>{\omit} \xcompositemap[-1,4]{}% <-4.5>_{g_2^{}}^{g_3^{}}{\omit}\\ \enddiagram \end{xy} \)
exercise 30
\( exercise 30 \\ {\uppercurveobject{{?}} \lowercurveobject{{\circ}} \xymatrixcolsep{5pc} \xymatrixrowsep{2pc} \diagram \relax\txt{ FUn }\rtwocell<8>{!\&} & \relax\txt{ gaMES } \enddiagram} \end{xy} \)
\( exercise 31 \\ \begin{xy} \xymatrix @!=1pc { **[l] A\times B \ar[r]^{/A} \ar[d]_{/B} & B \ar[d]^{\times A} \\ A \ar[r]_{B\times} & **[r] B\times A } \end{xy} \)
exercise 32
\( exercise 32 \\ \begin{xy} \entrymodifiers={=<1pc>[o][F-]} \xymatrix @ur { A \save[];[r] **\dir{-}, [];[dr]**\dir{-}, [];[d] **\dir{-}\restore & B \\ C & D } \end{xy} \)
\( exercise 33 \\ \begin{xy} \xymatrix @W=3pc @H=1pc @R=0pc @*[F-] {% : \save+<-4pc,1pc>*\hbox{\it root} \ar[] \restore \\ {\bullet} \save*{} \ar‘r[dd]+/r4pc/‘[dd][dd] \restore \\ {\bullet} \save*{} \ar‘r[d]+/r3pc/‘[d]+/d2pc/ ‘[uu]+/l3pc/‘[uu][uu] \restore \\ 1 } \end{xy} \) \( exercise 34 \\ \begin{xy} \xygraph{ []A="A1" :@/^/ [r]A :@/^/ [r]A :@/^/ "A1" } \end{xy} \) \( exercise 35 \\ \begin{xy} \SelectTips{cm}{} \objectmargin={1pt} \xygraph{ !{0;(.77,-.77):0} !~:{@{-}|@{>}} w (:[r(.6)]{x_1} ,:[d]z:[r]y:[u(.6)]{x_2}:"x_1":"z" :@( {"w";"z"}, {"y";"z"})"z":"x_2") } \end{xy} \) \( exercise 36 \\ \def\objectstyle{\scriptscriptstyle} \begin{xy} \xygraph{!{/r2pc/:} [] !P3"A"{\bullet} "A1"!{+U*++!D{1}} "A2"!{+LD*+!RU{2}} "A3"!{+RD*+!LU{3}} "A0" [rrr]*{0}*\cir<5pt>{} !P6"B"{~<-\cir<5pt>{}} "B1"1 "B2"2 "B3"3 "B4"4 "B5"5 "B6"6 "B0" [rrr]0 !P9"C"{~*{\xypolynode}}} \end{xy} \)

うまく動作しない

\( \begin{xy} *[o]=<40pt>\hbox{Round}="o"*\frm{oo}, +<5em,-5em>@+, (46,11)*+\hbox{Square}="s" *\frm{-,}, -<5em,-5em>@+, "o";"s" **{} ?*+\hbox{Bend}="b"*\frm{.}, "o";"s"."b" **\crvs{-}, "o"."b";"s" **\crvs{-} ?>*\dir{>} \end{xy} \) \( \begin{xy} \xygraph{!{<5pc,0pc>:<0pc,3.3pc>::} [] !{\OutNeuron A} [d]!{\OutNeuron B} "A"[lu]!{\NeuronAB a} [d]!{\NeuronAB b} [d]!{\NeuronAB c} [d]!{\NeuronAB d} "a"[u(.5)l] (?!{\Time0},?!{\biNeuron1 a}) [d] (?!{\Time1},?!{\biNeuron2{ab}}) [d] (?!{\Time2},?!{\biNeuron2{bc}}) [d] (?!{\Time3},?!{\biNeuron2{cd}}) [d] (?!{\Time4},?!{\biNeuron1 d}) } \end{xy} \) \( \begin{xy} \xygraph {!{<5pc,0pc>:<0pc,3.3pc>::} [] !{\OutNeuron A} [d]!{\OutNeuron B} \"A\"[lu]!{\NeuronAB a} [d]!{\NeuronAB b} [d]!{\NeuronAB c} [d]!{\NeuronAB d} \"a\"[u(.5)l] (?!{\Time0},?!{\biNeuron1 a}) [d] (?!{\Time1},?!{\biNeuron2{ab}}) [d] (?!{\Time2},?!{\biNeuron2{bc}}) [d] (?!{\Time3},?!{\biNeuron2{cd}}) [d] (?!{\Time4},?!{\biNeuron1 d}) } \end{xy} \)