\(\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}
\)
