1 #LyX 1.6.5 created this file. For more info see http://www.lyx.org/
10 % define new commands used in sec. 5.1
12 \xydef@\xymatrixrowsep@{#1}}
14 \xydef@\xymatrixcolsep@{#1}}
16 \newdir{|>}{!/4.5pt/@{|}*:(1,-.2)@^{>}*:(1,+.2)@_{>}}
18 % a pdf-bookmark for the TOC is added
19 \let\myTOC\tableofcontents
20 \renewcommand\tableofcontents{%
21 \pdfbookmark[1]{\contentsname}{}
24 % redefine the \LyX macro for PDF bookmarks
25 \def\LyX{\texorpdfstring{%
26 L\kern-.1667em\lower.25em\hbox{Y}\kern-.125emX\@}
30 \use_default_options false
35 \font_typewriter default
36 \font_default_family default
46 \pdf_title "Using XY-pc in LyX"
47 \pdf_author "H. Peter Gumm"
48 \pdf_subject "LyX's XY-pic manual"
49 \pdf_keywords "LyX, documentation"
51 \pdf_bookmarksnumbered true
52 \pdf_bookmarksopen true
53 \pdf_bookmarksopenlevel 2
58 \pdf_pdfusetitle false
59 \pdf_quoted_options "linkcolor=black, citecolor=black, urlcolor=blue, filecolor=blue,pdfpagelayout=OneColumn, pdfnewwindow=true,pdfstartview=XYZ, plainpages=false, pdfpagelabels"
66 \paperorientation portrait
69 \paragraph_separation indent
71 \quotes_language english
74 \paperpagestyle default
75 \tracking_changes false
87 \begin_layout Plain Layout
104 \begin_layout Abstract
109 スタイルの導入されたLaTeXシステムと、比較的新しい版のLyXがあれば、LyX内部からグラフ描画パッケージ
115 \begin_layout Plain Layout
126 -Picを便利に使用することができます。LyXのメイン編集ウィンドウ内部で、図式を編集したり表示したりすることができるのです。ここでは、主に圏論や代数などの関連
127 領域で使用される図式を描いたり、編集したり、プレビューしたりするためには、
137 コマンドをLyX内部からどのように使えばいいのかを説明します。
140 \begin_layout Abstract
141 \begin_inset CommandInset toc
142 LatexCommand tableofcontents
149 \begin_layout Section
153 \begin_layout Standard
158 パッケージは、LaTeXにおいてグラフと図式を簡単に構成するための便利なツールとして、長い間使われてきています。不幸にして長い間、LyX中でこのパッケージを使え
159 るのは、悪名高きTeXコードボックスに限定されてきたため、LyXエディタでは、完成した図式ではなくLaTeXソースしか表示されませんでした。しかしついに、AUC
161 \begin_inset CommandInset citation
171 によって、LyX内部から構成し、表示し、対話式に編集する形で、
175 図式の編集や表示ができるようになりました。
178 \begin_layout Standard
179 \begin_inset VSpace defskip
185 \begin_layout Standard
187 \begin_inset Graphics
188 filename xyfigure.png
190 BoundingBox 0bp 0bp 680bp 445bp
198 \begin_layout Standard
199 \begin_inset VSpace defskip
205 \begin_layout Standard
210 \begin_layout Plain Layout
219 -PicをLyX内部からどのように使用すればよいか、図式をどのように作成し編集すればよいかを説明します。下記の手順は、Windows
220 \begin_inset space \thinspace{}
223 XPおよびWindows Vistaそれぞれの環境下で、LyXの第1.3.7版から第1.6版までを使用して検証されています。
226 \begin_layout Standard
227 操作には二つのモードがあります。最初のうち、何回かの練習では、まず
231 \begin_layout Plain Layout
240 -PicコードをLyXウィンドウに入力し、その全体を選択した後、
252 \begin_layout Plain Layout
253 【訳註】これはキー割り当てがcuaの場合です(以下同)。その他のキー割り当てであれば、
257 関数に割り当てられたキーになります。たとえば、emacs配列では
270 \begin_layout Plain Layout
279 -Picをもっとよく使うようであったり、最初に作った図を修正したりしたいのであれば、目的の図は、LyX数式エディタを使って組み立て、修正した方がよいでしょう。
282 \begin_layout Standard
283 カーソルを図式の上に動かすと、図式はノードコマンドと矢印コマンドの配列として表示され、これは対話的に変更することができます。カーソルを編集領域から動かすと、図式
287 \begin_layout Standard
288 この文書の最初の2節では、上述した最初のモードでLyXを使うにはどうすればよいか説明し、可換図やグラフやオートマトンを描くのに便利な、すべての
292 \begin_layout Plain Layout
302 \begin_inset CommandInset ref
304 reference "sec:数式エディタ"
312 \begin_layout Plain Layout
324 \begin_layout Standard
329 \begin_layout Plain Layout
338 -Picの入門を書くことではなく、これらのうち最も重要なコマンドがLyX内部でどう機能するのかを紹介することにあります。というのも、
342 \begin_layout Plain Layout
352 \begin_inset CommandInset citation
358 で説明されているキー割り当ては、LyX内部では必ずしも正しく動作しないからです。
361 \begin_layout Section
365 \begin_layout Standard
374 が、LaTeXシステムに導入されていることが必要です。これらはCTANから入手することができます。それぞれ
375 \begin_inset CommandInset citation
377 key "instant-preview"
382 \begin_inset CommandInset citation
388 を参照してください。これらを新しく導入した場合には、LyXのメインメニューから
390 編集\SpecialChar \menuseparator
393 を実行する必要があるかもしれません。すると、LyXで最初の図式を作るための手順は以下のようになります。
396 \begin_layout Enumerate
405 \begin_layout Enumerate
408 ツール\SpecialChar \menuseparator
409 設定\SpecialChar \menuseparator
410 操作性\SpecialChar \menuseparator
417 ドロップダウンメニューを「有効」にしてください。
420 \begin_layout Enumerate
422 \begin_inset Formula $a+b=c$
432 \begin_layout Enumerate
433 カーソルを数式の外に出し、その外観が、DVI文書やPostScript文書の仕上がりと同じような外観に変化するのを確認してください。
437 \begin_layout Enumerate
441 \begin_layout Plain Layout
454 \begin_layout Enumerate
458 \begin_inset Newline newline
468 \begin_inset Newline newline
474 \begin_layout Enumerate
477 挿入\SpecialChar \menuseparator
478 数式\SpecialChar \menuseparator
488 \begin_layout Enumerate
490 \begin_inset Formula $\xymatrix{A\ar[r] & B}
494 のような矢印が現れるまでほんの一瞬待ってください。
498 \begin_layout Standard
502 \begin_layout Plain Layout
511 -Picの作成者Kristoffer H.
516 \begin_layout Plain Layout
526 \begin_inset CommandInset citation
532 から採った、以下の図式は、このパッケージで利用できる機能の多くに対する使用例となるでしょう。
535 \begin_layout LyX-Code
539 \begin_inset Newline newline
551 \begin_inset Newline newline
561 \begin_inset Newline newline
577 \begin_inset Newline newline
585 \begin_layout LyX-Code
589 \begin_layout Standard
590 先ほどと同じように、このコードをグラフィカルな出力に置き換えるには、これを一度に全部、
596 \SpecialChar \ldots{}
597 から閉じ波括弧\SpecialChar \ldots{}
602 までを選択して、上述したように別行建て数式に変えてください。カーソルを数式領域から出してしばらくすると、以下のような輝かしいフルグラフィックスとして図式が表示さ
606 \begin_layout Standard
607 \begin_inset Formula $\xymatrix{U\ar@/_{1pc}/[ddr]_{\psi}\ar@/{}^{1pc}/[drr]^{\varphi}\ar@{.>}[dr]|-{(x,y)}\\
608 & X\times_{Z}Y\ar[d]^{q}\ar[r]_{p} & X\ar[d]_{f}\\
616 \begin_layout Subsection
620 \begin_layout Standard
625 は、図式の頂点のレイアウトを定義するのに、行列を使います。上記の例では、
626 \begin_inset Formula $3\times3$
630 \begin_inset Formula $U$
634 \begin_inset Formula $X\times_{Z}Y$
638 \begin_inset Formula $X$
642 \begin_inset Formula $Y$
646 \begin_inset Formula $Z$
649 の各頂点用に使用され、残りの位置は空のままに残されています。この場合には、以下の行列がレイアウトを決定しています。
652 \begin_layout LyX-Code
656 \begin_inset Newline newline
664 \begin_inset Newline newline
674 \begin_inset Newline newline
680 \begin_layout Standard
681 このパターンはLaTeXで慣れておられると思います。ここには3つの行があり、最初の2行は行末マーカ
689 で終わっています。各行には、各要素がアンパサンド
696 \begin_layout Subsection
700 \begin_layout Standard
701 頂点を入れたので、それらの間に矢印を加えます。矢印を生成する
711 ですが、これを矢印の始まる行列セルに入れます。矢印の終点は、方向コマンド
727 (右)で決定します。これらは経路を表すように結合して、角括弧の中に入れます。たとえば、左上角の頂点
728 \begin_inset Formula $U$
732 \begin_inset Formula $X\times_{Z}Y$
736 \begin_inset Formula $Y$
740 \begin_inset Formula $X$
761 と定義します。よって、上記の図式にすべての矢印を加えたものは以下のようになります。
764 \begin_layout LyX-Code
768 \begin_inset Newline newline
782 \begin_inset Newline newline
798 \begin_inset Newline newline
806 \begin_layout Standard
807 \begin_inset Formula \xymatrix{ U \ar[ddr] \ar[drr] \ar[dr]\\
808 & X \times_{Z} Y \ar[d] \ar[r] & X \ar[d]\\
817 \begin_layout LyX-Code
821 \begin_layout LyX-Code
825 \begin_layout Subsection
829 \begin_layout Standard
836 コマンドに上添字または下添字として書き加えれば、付けることができます。したがって、
844 と書けば、セルを一つ下に下がって二つ右に行く矢印で、上に
845 \begin_inset Formula $\varphi$
848 というラベルを付けた矢印を定義することになります。ラベルを矢印の下に付けるには、
856 のように、ラベルを下添字にしてください。実は、この説明は右向きの矢印にのみ該当します。正確には、矢印が指している方向に矢印に沿って見ると、上添字はラベルを矢印の
857 左に置き、下添字は右に置くのです。その結果、
867 のように右から左に向いている矢印では、ラベル
868 \begin_inset Formula $\alpha$
872 \begin_inset Formula $\beta$
876 \begin_inset Formula $\xymatrix{\ & \ \ar[l]_{\beta}^{\alpha}}
880 のようになります。^や_の代わりに、|という文字を使用すると、ラベルを矢印の上に(柄の部分が埋もれてしまいますが)置くこともできます。
883 \begin_layout Standard
884 通常、ラベルは、矢印の起点となるオブジェクトと終点のオブジェクトの中点に置かれます。以下の図式では、
885 \begin_inset Formula $U$
889 \begin_inset Formula $(x,y)$
892 は、それがつなぐ二つのオブジェクトの中点ではなく、矢印の柄の中点にあります。これは、
898 のように、ラベルの前にマイナス記号を付けることで実現しています。
901 \begin_layout LyX-Code
905 \begin_inset Newline newline
923 \begin_inset Newline newline
939 \begin_inset Newline newline
947 \begin_layout LyX-Code
948 \begin_inset Formula \xymatrix{ U \ar[ddr]_{\psi}\ar[drr]^{\varphi}\ar[dr]|-{(x,y)}\\
949 & X \times_{Z} Y \ar[d]^{q} \ar[r]_{p} & X \ar[d]_{f}\\
958 \begin_layout Standard
962 \begin_layout Plain Layout
975 のように比率をラベルの前に付けることによって、ラベルを矢印の先の方や根本の方にずらすことができますが、これはLyXでは、
983 のように矢印の上に置かれているラベルに関してのみ行うことができます。
986 \begin_layout Standard
987 これは、矢印の右や左に置かれているラベルに対しては機能しないのです。LyXの数式エディタは、このような場合に対応する、
1007 \begin_layout Plain Layout
1016 -Picコードを正しく解釈できません。これを回避する二つの方法は、この文書の最後の節で提案されています。
1019 \begin_layout Subsection
1023 \begin_layout Standard
1028 文字を使って行われます。その後に括弧対を置き、その括弧の形、
1040 が、矢印のデザインを修正したいのか配置を変えたいのか曲率を変えたいのかを示します。これと同時に、矢印に対する様々な修正も加えることができます。
1043 \begin_layout Subsubsection
1047 \begin_layout Standard
1060 のような様々なデザインを施すことができます。これと同時に、様々な鏃や根本を指定できます。一般的に、矢印のデザインは、
1070 印を置き、その後に矢印の根本と柄、鏃を指定する文字を入れた括弧対{\SpecialChar \ldots{}
1071 }を置くことで指定することができます。この指定文字は、実際の矢印をASCII文字で模したような
1078 と書くと、二股の矢羽根に、点線の矢柄、二重の鏃を持つ矢印が生成されます。その他の矢印デザインを下記の表に多数列挙しておきます。
1079 \begin_inset Formula $\xymatrix{A\ar@{^{(}->}[r] & B}
1089 のように左括弧を上添えにするか下添えにするかで記述します。
1092 \begin_inset Newline newline
1098 \begin_layout Standard
1099 \begin_inset Tabular
1100 <lyxtabular version="3" rows="11" columns="2">
1101 <features islongtable="true">
1102 <column alignment="center" valignment="top" width="0">
1103 <column alignment="center" valignment="top" width="0">
1105 <cell alignment="center" valignment="top" topline="true" bottomline="true" leftline="true" usebox="none">
1108 \begin_layout Plain Layout
1114 <cell alignment="center" valignment="top" topline="true" bottomline="true" leftline="true" rightline="true" usebox="none">
1117 \begin_layout Plain Layout
1125 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1128 \begin_layout Plain Layout
1129 \begin_inset Formula \xymatrix{\ \ar[r] & \ }
1139 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1142 \begin_layout Plain Layout
1154 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1157 \begin_layout Plain Layout
1158 \begin_inset Formula \xymatrix{\ \ar@{-->}[r] & \ }
1168 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1171 \begin_layout Plain Layout
1183 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1186 \begin_layout Plain Layout
1187 \begin_inset Formula \xymatrix{\ \ar@{..>}[r] & \ }
1197 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1200 \begin_layout Plain Layout
1212 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1215 \begin_layout Plain Layout
1216 \begin_inset Formula \xymatrix{\ \ar@{~>}[r] & \ }
1226 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1229 \begin_layout Plain Layout
1241 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1244 \begin_layout Plain Layout
1245 \begin_inset Formula \xymatrix{\ \ar@{->>}[r] & \ }
1255 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1258 \begin_layout Plain Layout
1270 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1273 \begin_layout Plain Layout
1274 \begin_inset Formula \xymatrix{\ \ar@{-->>}[r] & \ }
1284 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1287 \begin_layout Plain Layout
1299 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1302 \begin_layout Plain Layout
1303 \begin_inset Formula \xymatrix{\ \ar@{>->>}[r] & \ }
1313 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1316 \begin_layout Plain Layout
1328 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1331 \begin_layout Plain Layout
1332 \begin_inset Formula \xymatrix{\ \ar@{_{(}->}[r] & \ }
1342 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1345 \begin_layout Plain Layout
1357 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1360 \begin_layout Plain Layout
1361 \begin_inset Formula \xymatrix{\ \ar@{^{(}->}[r] & \ }
1371 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1374 \begin_layout Plain Layout
1386 <cell alignment="center" valignment="top" topline="true" bottomline="true" leftline="true" usebox="none">
1389 \begin_layout Plain Layout
1390 \begin_inset Formula \xymatrix{\ \ar@{|-|}[r] & \ }
1400 <cell alignment="center" valignment="top" topline="true" bottomline="true" leftline="true" rightline="true" usebox="none">
1403 \begin_layout Plain Layout
1421 \begin_layout Standard
1423 @文字の後に、2や3や^を続けることによって、二重・三重線の矢柄を持つ矢印や、鏃と矢羽根の上側ないし下側のみが表示された矢印を作ることができます。最後の例が示す
1424 ように、矢印は必ずしも鏃と矢羽根を持っていなくてはならないということはありません。
1425 \begin_inset Newline newline
1431 \begin_layout Standard
1432 \begin_inset Tabular
1433 <lyxtabular version="3" rows="8" columns="2">
1434 <features islongtable="true">
1435 <column alignment="center" valignment="top" width="0">
1436 <column alignment="center" valignment="top" width="0">
1438 <cell alignment="center" valignment="top" topline="true" bottomline="true" leftline="true" usebox="none">
1441 \begin_layout Plain Layout
1447 <cell alignment="center" valignment="top" topline="true" bottomline="true" leftline="true" rightline="true" usebox="none">
1450 \begin_layout Plain Layout
1458 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1461 \begin_layout Plain Layout
1462 \begin_inset Formula \xymatrix{\ \ar@2[r] & \ }
1472 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1475 \begin_layout Plain Layout
1487 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1490 \begin_layout Plain Layout
1491 \begin_inset Formula \xymatrix{\ \ar@3[r] & \ }
1501 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1504 \begin_layout Plain Layout
1516 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1519 \begin_layout Plain Layout
1520 \begin_inset Formula \xymatrix{\ \ar@_{->}[r] & \ }
1530 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1533 \begin_layout Plain Layout
1545 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1548 \begin_layout Plain Layout
1549 \begin_inset Formula \xymatrix{\ \ar@^{->}[r] & \ }
1559 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1562 \begin_layout Plain Layout
1574 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1577 \begin_layout Plain Layout
1578 \begin_inset Formula \xymatrix{\ \ar@^{>>->>}[r] & \ }
1588 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1591 \begin_layout Plain Layout
1603 <cell alignment="center" valignment="top" topline="true" bottomline="true" leftline="true" usebox="none">
1606 \begin_layout Plain Layout
1607 \begin_inset Formula \xymatrix{\ \ar@{^{<}-_{>}}[r] & \ }
1617 <cell alignment="center" valignment="top" topline="true" bottomline="true" leftline="true" rightline="true" usebox="none">
1620 \begin_layout Plain Layout
1632 <cell alignment="center" valignment="top" topline="true" bottomline="true" leftline="true" usebox="none">
1635 \begin_layout Plain Layout
1636 \begin_inset Formula \xymatrix{\ \ar@2{--}[r] & \ }
1646 <cell alignment="center" valignment="top" topline="true" bottomline="true" leftline="true" rightline="true" usebox="none">
1649 \begin_layout Plain Layout
1667 \begin_layout Subsubsection
1671 \begin_layout Standard
1672 一定の制限内であれば、自作の矢印をデザインする方法もあります。
1676 という文字のうちいくつかを使えば、プリアンブル中で
1682 コマンドを使って、自作の鏃をデザインすることができます。説明は
1686 \begin_layout Plain Layout
1695 -Picの取扱説明書にゆだねますが、以下はそこから採った例です。
1698 \begin_layout Standard
1703 newdir{|>}{!/4.5pt/@{|}*:(1,-.2)@^{>}*:(1,+.2)@_{>}}
1708 \begin_layout Standard
1720 とすれば、LyX中で以下のように正しく表示されます。
1721 \begin_inset Formula \[
1722 \xymatrix{A\ar@{-|>}[r] & \ \ B}
1730 \begin_layout Subsection
1734 \begin_layout Standard
1740 \begin_inset Formula $\ldots$
1747 を使えば、横にずらすことができます。ここで省略符号の部分には正か負の長さを入れます。たとえば、二つのノードの間に右向きと左向きの矢印を並べてデザインするには、矢
1748 印の間が離れるようにシフトさせなくてはなりません。(正の)シフトの方向は、矢印に沿って見たときに左側になることに注意してください。したがって、
1751 \begin_layout Standard
1767 \begin_layout Standard
1770 \begin_inset space ~
1774 \begin_inset space ~
1778 \begin_inset Formula \[
1779 \xymatrix{\circ\ar@<1ex>[r] & \circ\ar@<1ex>[l]}
1788 \begin_layout Subsubsection
1792 \begin_layout Standard
1794 \begin_inset Formula $\xymatrix{\circ\ar@<1ex>[r] & \circ\ar@<1ex>[l]}
1798 のように、行内で使用することができます。上記のように、このコードをLyX内で書いたならば、それを選択して、行内表示にしたければ
1808 編集\SpecialChar \menuseparator
1809 数式\SpecialChar \menuseparator
1812 を行内として作られた図式は後から中央揃えにすることもできますし、逆に中央揃えの図式を行内にすることもできます。
1815 \begin_layout Subsection
1819 \begin_layout Standard
1820 矢印を曲げるには、簡単な方法が二つあります。最初の方法は、矢印の柄の中点をどれだけ持ち上げるか、あるいはどれだけ押し下げるかを示す値を明示的に与える方法です。も
1821 う一つの方法は、矢印が起点を指定した方角に出るように指定し、終点に指定した方角から入るように規定する方法です。必要な矢印の曲率は、自動的に決定されます。以下でこ
1825 \begin_layout Subsubsection
1829 \begin_layout Standard
1831 \begin_inset Formula $\ldots$
1834 /を使用します。省略記号の部分には、TeX式の長さを下添字か上添字として入力する必要があります。たとえば、矢印を
1848 と書けばいいのですが、LyXでは直接このように書くことはできません。LyXでは、長さを
1854 のように波括弧対の中に入れる必要があります。下記の例は、それぞれ.5ピカ分曲げられた、
1855 \begin_inset Formula $A$
1859 \begin_inset Formula $B$
1862 の間で対向する二つの矢印です。以下のソースコードで与えられます。
1865 \begin_layout Standard
1877 \begin_layout Standard
1878 \begin_inset Formula \[
1879 \xymatrix{A\ar@/{}_{.5pc}/[r] & B\ar@/{}_{.5pc}/[l]}
1887 \begin_layout Subsubsection
1891 \begin_layout Standard
1892 矢印を曲げるもう一つの方法は、起点を出る際と終点に入る際の方角を指定する方法です。方角は、北・北東・東などと指定はしないで、
1924 (up-left:左上)というふうに指定します。方角は@(
1940 は終点に入る方角を示します。例として、曲がった矢印と、矢印の終点を指定せずに入射角と出射角のみを指定すると作ることのできるループを示します。
1943 \begin_layout Standard
1944 \begin_inset Formula \[
1945 \xymatrix{A\ar@(dr,dl)[r]\ar@(dr,dl)[rr] & B\ar@(d,r)[dl] & C\\
1954 \begin_layout LyX-Code
1962 \begin_inset Newline newline
1972 \begin_inset Newline newline
1980 \begin_layout Subsection
1984 \begin_layout Standard
1985 上述の例は、オートマトン図式を思い起こさせますが、通常、オートマトン図式では、状態が小さな丸で囲まれ、最終状態は二重丸で囲まれています。
1988 \begin_layout Subsubsection
1992 \begin_layout Standard
1996 \begin_layout Plain Layout
2013 と付けて、枠を付けたい要素部分を波括弧で囲えば、
2014 \begin_inset Formula $\xymatrix{*+[F]{A}}
2019 \begin_inset Formula $\xymatrix{*+[F=]{B}}
2023 のように、要素に一重または二重の枠を付けることができます。通常、枠は非常に窮屈なので、前に
2032 \begin_inset Formula $\xymatrix{*++[o][F]{A}}
2037 \begin_inset Formula $\xymatrix{*++[o][F=]{B}}
2045 として指定することで得ることができます。この後者の例は、*++[o][F=]{B}として構成されています。このようにして、以下のオートマトン
2048 \begin_layout Standard
2049 \begin_inset Formula \[
2050 \xymatrix{\txt{\text{開始}}\ar[r] & *++[o][F]{1}\ar[r] & *++[o][F=]{2}\ar@(ur,dr)\ar@(ur,ul)[l]}
2058 \begin_layout Standard
2060 は、下記のようにして組版することができます。
2063 \begin_layout LyX-Code
2073 \begin_layout LyX-Code
2079 \begin_layout LyX-Code
2087 \begin_layout LyX-Code
2091 \begin_layout Standard
2098 \SpecialChar \ldots{}
2103 は、ある要素の様式を既定に設定するものですが、もちろん各要素において、この様式を上書きすることができます。したがって、
2107 entrymodifiers={++[o][F-]}
2113 \begin_layout Plain Layout
2122 -行列内のすべての要素は丸で囲まれるようになります。
2125 \begin_layout Subsubsection
2129 \begin_layout Standard
2133 \begin_layout Plain Layout
2151 で作れます。長方形の寸法は、長方形の左上と右下を示す点をピリオドでつなげた対
2161 \begin_inset Formula $P_{0}.P_{1}$
2165 \begin_inset Formula $x$
2169 \begin_inset Formula $y$
2172 のコンマ区切りを二重引用符でくくったもの
2173 \begin_inset Quotes eld
2177 \begin_inset Formula $x,y$
2181 \begin_inset Quotes erd
2184 で与えられます。その後には、以下のような図を生成するための枠付けコマンドが続きます。
2185 \begin_inset Formula \[
2186 \xymatrix{A & B\ar@(d,r)[dl]\sp(0.2)\phi\sp(0.7)\psi\save"1,1"."2,1"*+[F=]\frm{}\restore\,\\
2187 C & \save"1,1"."1,2"*++[F]\frm{}\restore}
2203 save"1,1"."2,1"*+[F=]
2216 というコードは、二重線長方形を生成し、もう一つの横に長い長方形は、
2227 save"1,1"."1,2"*++[F]
2253 \begin_layout Plain Layout
2262 -行列のどのセルにも置くことができます。
2265 \begin_layout Section
2267 \begin_inset CommandInset label
2276 \begin_layout Standard
2289 を適用して数式編集環境に変換する方法以外にも、LyX数式エディタ内でxypic図式を作成して編集することができます。上記のような図を編集する手順を説明することに
2293 \begin_layout Subsection
2297 \begin_layout Standard
2298 LyX数式エディタでは、マクロパラメータを囲む波括弧の対
2312 を一回入力するだけで入れなくてはなりません。閉じ括弧は自動的に付け加えられ、間にはパラメータを入れるボックスが現れます。
2316 \begin_layout Plain Layout
2325 -図式との関連について云えば、矢羽根・矢柄・鏃を指定するために、通常
2329 \SpecialChar \ldots{}
2334 の形で入力する矢印修飾子についても同じことが云えます。数式エディタ内では、
2340 とだけ入力して、LyXがボックスと閉じ括弧を入れてくれるのを待ち、そこに矢印の指定を入れてください。
2343 \begin_layout Standard
2350 なしで入れた波括弧は、打ったとおりに出ますが、マクロパラメータを受けるために使用することはできません。こうした波括弧は、集合などを示すのに便利です。たとえば、
2361 \begin_inset Formula $\{x\in X\mid x\notin x\}$
2367 \begin_layout Subsection
2371 \begin_layout Standard
2387 \begin_inset Formula $\times$
2394 \begin_layout Plain Layout
2414 \begin_layout Standard
2417 編集\SpecialChar \menuseparator
2428 で始まる行コマンド短絡キーを使って、いつでも追加したり削除したりすることができます。
2431 \begin_layout Subsection
2435 \begin_layout Standard
2436 まずノードを行列中の正しい位置に入力してください。行列の外にカーソルを動かすと、ノードレイアウトの最初のレンダリングを見ることができます。次に、矢印を開始するノ
2469 の文字を組み合わせて作られたパスを示します。このパスが、本当に行列中の既存ノードに向かっていることを確認してください。正しくないと、カーソルを編集領域から出して
2473 \begin_layout Standard
2474 次に、矢印のパスの終わりに上添字か下添字としてラベルを書くことで、矢印にラベルを付けてください。LyX数式エディタにおいては常に、アンダースコア
2482 の後にスペースを押すと上添字のボックスが開きます。ラベルには、LaTeXコードを自由に入れることができます。
2485 \begin_layout Subsection
2489 \begin_layout Standard
2494 \SpecialChar \ldots{}
2503 \SpecialChar \ldots{}
2508 \SpecialChar \ldots{}
2509 ,\SpecialChar \ldots{}
2514 \SpecialChar \ldots{}
2519 を入れることによって、矢印の見かけを修正することができます。上記の注意は、最初の修飾子のみに該当し、
2525 と打つと出てくるボックスの中に矢印の指定を入力するようにしなくてはなりません。このボックスを空のままにしておくと、空の矢印を指定したことになります。次節で見るよ
2529 \begin_layout Standard
2534 \SpecialChar \ldots{}
2543 \SpecialChar \ldots{}
2544 ,\SpecialChar \ldots{}
2553 \SpecialChar \ldots{}
2558 は、省略記号部分を矢印の指定に置き換える他は、そのまま入力します。曲がった矢印のコードは、
2587 は有効なTeX寸法であり、最初のスラッシュ/の後に上添字または下添字として入力します)。最後のスラッシュが、上添字や下添字の一部のままにならないように注意してく
2591 \begin_layout Subsection
2595 \begin_layout Standard
2596 図式を作図するときに、ときどきカーソルを編集領域の外に出して、自動プレビューがグラフィカル出力に正しく変換されるかどうかを確かめると良いでしょう。うまく変換され
2597 ないときには、何らかの理由で自動プレビューがグラフィックスを再描画すべきことに気づかないせいかもしれません。カーソルを編集領域にいったん入れてからまた出すと、自
2598 動プレビューが引き起こされることがあります。
2601 \begin_layout Standard
2602 もっと深刻な理由としては、入力中の文法エラーであることもあります。必要であれば、
2612 表示\SpecialChar \menuseparator
2619 に変換してみてください。いくつかエラーが出力されるはずなので、間違いの原因についてのヒントが得られるかもしれません。
2622 \begin_layout Section
2626 \begin_layout Standard
2627 一部には、LyX内部では正しく動作しないものがあります。私たちが(かつて)最も望んでいたものは、図式の水平・垂直伸縮であり、矢印の正確な配置でした。これにはいく
2628 つか回避法があり、それをここで説明します。
2631 \begin_layout Subsection
2635 \begin_layout Standard
2636 行間コマンドや列間コマンドを使用して、図式全体の水平寸法や垂直寸法を伸縮させることが便利なことがよくあります。
2640 \begin_layout Plain Layout
2655 \SpecialChar \ldots{}
2664 \begin_layout Plain Layout
2679 \SpecialChar \ldots{}
2684 \SpecialChar \ldots{}
2689 とすれば、列間を指定することができます。残念ながら@-文字は、LyXに
2693 \begin_layout Plain Layout
2702 -行列マクロの終わりと解釈されてしまうので、これらのコマンドは、現在のところ、LyX内では動作しません。
2705 \begin_layout Standard
2709 \begin_layout Plain Layout
2730 変数に保存することが知られていることから、プリアンブル(
2732 文書\SpecialChar \menuseparator
2733 設定\SpecialChar \menuseparator
2737 \begin_inset Newpage pagebreak
2743 \begin_layout LyX-Code
2751 \begin_layout LyX-Code
2756 xymatrixrowsep@{#1}}
2759 \begin_layout LyX-Code
2763 \begin_layout Standard
2786 \begin_layout Plain Layout
2797 xyR{...}を入れることによって、図を伸縮することができます。カーソルを行列の内部、最初の要素の前に置きます。そこに、
2813 、あるいは両者を入力します。バックスラッシュを忘れないようにし、閉じ括弧はLyXが自動的に供給することに注意してください。波括弧の中に寸法を入れます。既定値は、
2825 と指定して、縦方向に圧縮し、横方向に伸ばした図式の例です。
2828 \begin_layout Standard
2829 \begin_inset Formula \[
2830 \xyC{.5pc}\xyC{9pc}\xymatrix{A\ar[r]\ar[d] & B\\
2831 C\ar@{}[ur]|{\text{{\text{水}\text{平}\text{方}\text{向}\text{に}\text{延}\text{ば}\text{す}}}}}
2839 \begin_layout Subsection
2843 \begin_layout Standard
2848 \begin_layout Plain Layout
2857 -コマンドに、ラベルを矢柄の正確な位置に配置させるものがあります。ラベルの既定位置が絵を汚くしてしまったり、下記の図における矢印の交点のように、他の要素と干渉し
2858 てしまったりする場合には、この機能が必要となります。矢柄に沿ってラベル位置を移動させるために、
2862 \begin_layout Plain Layout
2871 では、括弧の中に十進数を入れて、矢の中でラベルを配置する相対位置を指定することができます。たとえば、
2879 というコードは、ラベルを柄の3分の1のところに配置します。同じことを矢印の上や下に付けるラベルに対してしようとして、
2895 としたとしても、LyXの内部からではうまく動作しません。その代替策として、ハット記号^あるいはアンダースコア_を、それぞれ
2927 のようにしてください。じつは、このようにして複数のラベルを入れ、たとえ矢印が曲がっていても、これらのラベルを正確に配置することができるのです。以下の図では、
2930 \begin_inset Newline linebreak
2948 \begin_inset Newline linebreak
2957 と指定することによって、4つのラベルを持つ曲がった矢印を生成しています。
2960 \begin_layout Standard
2961 \begin_inset Formula \[
2962 \xyC{4pc}\xymatrix{\bullet\ar[dr]\sp(0.3)\varphi & \circ\ar@{}[d]|\vdots\ar@(r,r)[d]\sp(0.2){\phi_{1}}\sp(0.4){\phi_{2}}\sb(0.6){\phi_{3}}\sp(0.8){\phi_{4}}\\
2963 \circ\ar[ur]\sb(0.3)\phi & \bullet}
2971 \begin_layout Subsection
2975 \begin_layout Standard
2976 図式の好きなオブジェクトを(ほぼ任意の)好きな場所に配置するトリックとして、見えない矢印を使う方法がよく使われます。見えない矢印を作成し、パスに伸縮比
2984 などを加えて、その行き先を縮めたり延ばしたりしてください。この見えない矢印にラベルを付加します。
2987 \begin_layout Standard
2988 したがって、上図中の、矢柄の(0.3)の位置に
2989 \begin_inset Formula $\varphi$
2992 というラベルを付けた下向きの矢印は、通常の矢印
2999 \begin_inset Formula $\varphi$
3010 を付け加え、それを比率0.6に縮めることによっても作成することができます。そのラベルは、元の見える矢印の0.3の位置に表示されることになります。
3013 \begin_layout Standard
3014 この回避法には、2つ微少な短所があります。一つは、これは曲がった矢印には機能しないことです。二つめは、見えない矢印を図全体の正常な寸法を超えて延ばしてしまうと、
3015 図のボックスの余白を延ばしてしまい、図と前後の段落との間に垂直余白を取りすぎることになってしまうことです。
3018 \begin_layout Standard
3019 それでも、見えない矢印は、基本的に図式中の任意の場所に情報を置くのに用いることができるので、重要なツールなのです。たとえば、上図中では、
3025 をラベルとしておくのに見えない矢印が使われていますし、その前の図では、図の真ん中に「
3029 」という文章を置くのに見えない矢印を使用しています。
3032 \begin_layout Subsection
3039 \begin_layout Plain Layout
3053 \begin_layout Standard
3060 コマンドに焦点を当てましたが、これは、Kris Roseによる素晴らしい
3066 \begin_layout Plain Layout
3077 -パッケージの機能の一つに過ぎないのです。
3083 \begin_layout Plain Layout
3095 \begin_inset CommandInset citation
3101 には、このパッケージの進んだ使い方が多く示されています。そこでは簡潔な説明しか与えられていないため、そこにある多くの実例をあれこれ試したり修正したりする必要があ
3102 るかもしれないので、注意してください。Lauda
3103 \begin_inset CommandInset citation
3109 には、組ひも・コボルディズム・ひも図式などを作るための
3113 \begin_layout Plain Layout
3122 -Picの使い方がたくさん説明されています。
3128 \begin_layout Plain Layout
3139 -行列へのシステマティックで良い入門書は
3140 \begin_inset CommandInset citation
3146 です。あなたが私同様にエスペラント語に長けていないとしても、ほとんどの部分はわかるでしょう。
3149 \begin_layout Bibliography
3150 \begin_inset CommandInset bibitem
3151 LatexCommand bibitem
3162 \begin_layout Plain Layout
3178 \begin_inset Newline newline
3188 \begin_layout Bibliography
3189 \begin_inset CommandInset bibitem
3190 LatexCommand bibitem
3192 key "instant-preview"
3197 \begin_inset Flex URL
3200 \begin_layout Plain Layout
3202 http://www.tug.org/tex-archive/help/Catalogue/entries/preview-latex.html
3210 \begin_layout Bibliography
3211 \begin_inset CommandInset bibitem
3212 LatexCommand bibitem
3219 \begin_inset Flex URL
3222 \begin_layout Plain Layout
3224 http://www.tug.org/tex-archive/help/Catalogue/entries/xypic.html
3232 \begin_layout Bibliography
3233 \begin_inset CommandInset bibitem
3234 LatexCommand bibitem
3241 \begin_inset Flex URL
3244 \begin_layout Plain Layout
3246 http://www.gnu.org/software/auctex/
3254 \begin_layout Bibliography
3255 \begin_inset CommandInset bibitem
3256 LatexCommand bibitem
3266 \begin_layout Plain Layout
3281 tutorial with an archive of examples
3284 \begin_inset Newline newline
3288 \begin_inset Flex URL
3291 \begin_layout Plain Layout
3293 http://www.dpmms.cam.ac.uk/~al366/xytutorial.html
3301 \begin_layout Bibliography
3302 \begin_inset CommandInset bibitem
3303 LatexCommand bibitem
3313 \begin_layout Plain Layout
3328 Enkonduko pri Xymatrix
3331 \begin_inset Newline newline
3335 \begin_inset Flex URL
3338 \begin_layout Plain Layout
3340 http://filip.ouvaton.org/xypic/xymatrix/index.html