-#LyX 1.6.5svn created this file. For more info see http://www.lyx.org/
-\lyxformat 345
+#LyX 2.0 created this file. For more info see http://www.lyx.org/
+\lyxformat 413
\begin_document
\begin_header
\textclass scrartcl
\begin_preamble
\usepackage[all]{xy}
-
% define new commands used in sec. 5.1
\newcommand{\xyR}[1]{
\xydef@\xymatrixrowsep@{#1}}
\end_preamble
\options BCOR7.5mm
\use_default_options false
+\maintain_unincluded_children false
\language english
+\language_package default
\inputencoding auto
+\fontencoding global
\font_roman ae
\font_sans default
\font_typewriter default
\font_default_family default
+\use_non_tex_fonts false
\font_sc false
\font_osf false
\font_sf_scale 100
\font_tt_scale 100
\graphics default
+\default_output_format default
+\output_sync 0
+\bibtex_command default
+\index_command default
\paperfontsize 12
\spacing single
\use_hyperref true
\use_geometry false
\use_amsmath 1
\use_esint 0
+\use_mhchem 1
+\use_mathdots 1
\cite_engine basic
\use_bibtopic false
+\use_indices false
\paperorientation portrait
+\suppress_date false
+\use_refstyle 0
+\index Index
+\shortcut idx
+\color #008000
+\end_index
\secnumdepth 3
\tocdepth 3
\paragraph_separation indent
-\defskip medskip
+\paragraph_indentation default
\quotes_language english
\papercolumns 1
\papersides 2
\paperpagestyle default
\tracking_changes false
\output_changes false
-\author ""
-\author ""
+\html_math_output 0
+\html_css_as_file 0
+\html_be_strict true
\end_header
\begin_body
\family default
--Pic can be conveniently used inside LyX.
+-pic can be conveniently used inside LyX.
Diagrams can be edited and displayed inside the main LyX editing window.
Here, we shall describe how to use the
\family typewriter
\align center
\begin_inset Graphics
filename xyfigure.png
- scale 50
+ width 75col%
BoundingBox 0bp 0bp 580bp 440bp
clip
\end_inset
--Pic code inside the LyX-window, select it all and convert it to a graphical
+-pic code inside the LyX-window, select it all and convert it to a graphical
representation by pressing
\family sans
Ctrl-m
\end_inset
--Pic more frequently, or if you want to modify your initial figure, you
+-pic more frequently, or if you want to modify your initial figure, you
will want to assemble and modify your figures using LyX's math editor.
\end_layout
\end_inset
--Pic features that might be of use for drawing commutative diagrams, graphs
+-pic features that might be of use for drawing commutative diagrams, graphs
or automata.
Section
\begin_inset CommandInset ref
\end_inset
--Pic commands inside a math-editing area.
+-pic commands inside a math-editing area.
\end_layout
\end_inset
--Pic, rather our motivation is to give an introduction how the most important
+-pic, rather our motivation is to give an introduction how the most important
commands work inside LyX, since the keystrokes as explained in the
\begin_inset ERT
status collapsed
\end_inset
--Pic manual
+-pic manual
\begin_inset CommandInset citation
LatexCommand cite
key "xypic manual"
.
After freshly installing them, it may be necessary, to run
\family sans
-Edit\SpecialChar \menuseparator
+Tools\SpecialChar \menuseparator
Reconfigure
\family default
from the main LyX menu.
\begin_layout Enumerate
Open LyX, choose
\family sans
-Edit\SpecialChar \menuseparator
+Tools\SpecialChar \menuseparator
Preferences\SpecialChar \menuseparator
Look and Feel\SpecialChar \menuseparator
-Graphics
+Display
\family default
and turn
\emph on
\end_inset
--Pic
+-pic
\family typewriter
:
\end_layout
\end_inset
--Pic
+-pic
\begin_inset CommandInset citation
LatexCommand cite
key "xypic manual"
\begin_layout Standard
\begin_inset Formula $\xymatrix{U\ar@/_{1pc}/[ddr]_{\psi}\ar@/{}^{1pc}/[drr]^{\varphi}\ar@{.>}[dr]|-{(x,y)}\\
& X\times_{Z}Y\ar[d]^{q}\ar[r]_{p} & X\ar[d]_{f}\\
- & Y\ar[r]^{g} & Z}
+ & Y\ar[r]^{g} & Z
+}
$
\end_inset
\begin_layout Standard
\begin_inset Formula \xymatrix{ U \ar[ddr] \ar[drr] \ar[dr]\\
& X \times_{Z} Y \ar[d] \ar[r] & X \ar[d]\\
- & Y \ar[r] & Z }
-
+ & Y \ar[r] & Z
+}
\end_inset
\begin_inset Formula $\beta$
\end_inset
- above the arrow, i.
+ above the arrow, e.
\begin_inset space \thinspace{}
\end_inset
\begin_layout LyX-Code
\begin_inset Formula \xymatrix{ U \ar[ddr]_{\psi}\ar[drr]^{\varphi}\ar[dr]|-{(x,y)}\\
& X \times_{Z} Y \ar[d]^{q} \ar[r]_{p} & X \ar[d]_{f}\\
- & Y \ar[r]^{g} & Z }
-
+ & Y \ar[r]^{g} & Z
+}
\end_inset
\begin_layout Standard
\begin_inset Tabular
<lyxtabular version="3" rows="11" columns="2">
-<features islongtable="true">
+<features islongtable="true" longtabularalignment="center">
<column alignment="center" valignment="top" width="0">
<column alignment="center" valignment="top" width="0">
<row>
\begin_layout Plain Layout
\begin_inset Formula \xymatrix{\ \ar[r] & \ }
-
\end_inset
\begin_layout Plain Layout
\begin_inset Formula \xymatrix{\ \ar@{-->}[r] & \ }
-
\end_inset
\begin_layout Plain Layout
\begin_inset Formula \xymatrix{\ \ar@{..>}[r] & \ }
-
\end_inset
\begin_layout Plain Layout
\begin_inset Formula \xymatrix{\ \ar@{~>}[r] & \ }
-
\end_inset
\begin_layout Plain Layout
\begin_inset Formula \xymatrix{\ \ar@{->>}[r] & \ }
-
\end_inset
\begin_layout Plain Layout
\begin_inset Formula \xymatrix{\ \ar@{-->>}[r] & \ }
-
\end_inset
\begin_layout Plain Layout
\begin_inset Formula \xymatrix{\ \ar@{>->>}[r] & \ }
-
\end_inset
\begin_layout Plain Layout
\begin_inset Formula \xymatrix{\ \ar@{_{(}->}[r] & \ }
-
\end_inset
\begin_layout Plain Layout
\begin_inset Formula \xymatrix{\ \ar@{^{(}->}[r] & \ }
-
\end_inset
\begin_layout Plain Layout
\begin_inset Formula \xymatrix{\ \ar@{|-|}[r] & \ }
-
\end_inset
\begin_layout Standard
\begin_inset Tabular
<lyxtabular version="3" rows="8" columns="2">
-<features islongtable="true">
+<features islongtable="true" longtabularalignment="center">
<column alignment="center" valignment="top" width="0">
<column alignment="center" valignment="top" width="0">
<row>
\begin_layout Plain Layout
\begin_inset Formula \xymatrix{\ \ar@2[r] & \ }
-
\end_inset
\begin_layout Plain Layout
\begin_inset Formula \xymatrix{\ \ar@3[r] & \ }
-
\end_inset
\begin_layout Plain Layout
\begin_inset Formula \xymatrix{\ \ar@_{->}[r] & \ }
-
\end_inset
\begin_layout Plain Layout
\begin_inset Formula \xymatrix{\ \ar@^{->}[r] & \ }
-
\end_inset
\begin_layout Plain Layout
\begin_inset Formula \xymatrix{\ \ar@^{>>->>}[r] & \ }
-
\end_inset
\begin_layout Plain Layout
\begin_inset Formula \xymatrix{\ \ar@{^{<}-_{>}}[r] & \ }
-
\end_inset
\begin_layout Plain Layout
\begin_inset Formula \xymatrix{\ \ar@2{--}[r] & \ }
-
\end_inset
ar@{-|>}[r]
\family default
and which displays correctly in LyX as:
-\begin_inset Formula \[
+\begin_inset Formula
+\[
\xymatrix{A\ar@{-|>}[r] & \ \ B}
\]
\end_inset
-\begin_inset Formula \[
+\begin_inset Formula
+\[
\xymatrix{\circ\ar@<1ex>[r] & \circ\ar@<1ex>[l]}
\]
\family sans
\SpecialChar \menuseparator
-Alignment.
+Change Formula Type.
\end_layout
\begin_layout Subsection
\end_layout
\begin_layout Standard
-\begin_inset Formula \[
+\begin_inset Formula
+\[
\xymatrix{A\ar@/{}_{.5pc}/[r] & B\ar@/{}_{.5pc}/[l]}
\]
\end_layout
\begin_layout Standard
-\begin_inset Formula \[
+\begin_inset Formula
+\[
\xymatrix{A\ar@(dr,dl)[r]\ar@(dr,dl)[rr] & B\ar@(d,r)[dl] & C\\
-E\ar@(ul,ur)}
+E\ar@(ul,ur)
+}
\]
\end_inset
\end_inset
--Pic, entries can obtain a single or a double frame, such as
+-pic, entries can obtain a single or a double frame, such as
\begin_inset Formula $\xymatrix{*+[F]{A}}
$
\end_inset
\end_layout
\begin_layout Standard
-\begin_inset Formula \[
+\begin_inset Formula
+\[
\xymatrix{\txt{start}\ar[r] & *++[o][F]{1}\ar[r] & *++[o][F=]{2}\ar@(ur,dr)\ar@(ur,ul)[l]}
\]
.
These are followed by the framing commands, to produce figures such as
the following:
-\begin_inset Formula \[
+\begin_inset Formula
+\[
\xymatrix{A & B\ar@(d,r)[dl]\sp(0.2)\phi\sp(0.7)\psi\save"1,1"."2,1"*+[F=]\frm{}\restore\,\\
-C & \save"1,1"."1,2"*++[F]\frm{}\restore}
+C & \save"1,1"."1,2"*++[F]\frm{}\restore
+}
\]
\end_inset
Alt-m w
\family default
for the row commands.
-
+ A more direct way uses the icons in the math toolbar once it has been activated
+ via
+\family sans
+View\SpecialChar \menuseparator
+Toolbars.
\end_layout
\begin_layout Subsection
\end_layout
\begin_layout Standard
-A more serious reason could be a syntactical error in your input.
- If necessary, redo the last editing steps, using
-\emph on
+A more serious reason could be a syntactical error in your input (in that
+ case, the math edition area disappears completely).
+ If necessary, undo the last editing steps, using
+\family sans
Ctrl+Z
-\emph default
+\family default
, or try to translate the LyX-file into
-\emph on
+\family sans
DVI
-\emph default
+\family default
using
-\emph on
+\family sans
Ctrl+D
-\emph default
+\family default
or
\family sans
View\SpecialChar \menuseparator
\end_layout
\begin_layout Standard
-\begin_inset Formula \[
+\begin_inset Formula
+\[
\xyC{.5pc}\xyC{9pc}\xymatrix{A\ar[r]\ar[d] & B\\
-C\ar@{}[ur]|{\text{{horizontal stretch}}}}
+C\ar@{}[ur]|{\text{{horizontal stretch}}}
+}
\]
\end_inset
\end_layout
\begin_layout Standard
-\begin_inset Formula \[
+\begin_inset Formula
+\[
\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}}\\
-\circ\ar[ur]\sb(0.3)\phi & \bullet}
+\circ\ar[ur]\sb(0.3)\phi & \bullet
+}
\]
\end_inset
\family default
--Pic manual
+-pic manual
\begin_inset CommandInset citation
LatexCommand cite
key "xypic manual"
\end_inset
-pic to make braids, cobordism, string diagrams, and much more.
+ You might want to look on
+\family typewriter
+inset_preview.lyx
+\family default
+ example shipped with LyX, which demonstrates how to use more advanced
+\begin_inset ERT
+status collapsed
+
+\begin_layout Plain Layout
+
+
+\backslash
+Xy
+\end_layout
+
+\end_inset
+
+-commands via
+\family typewriter
+ERT
+\family default
+ and
+\family typewriter
+Instant preview
+\family default
+ insets.
A good and rather systematic introduction to
\family typewriter
\end_layout
\begin_layout Bibliography
+\labelwidthstring References
\begin_inset CommandInset bibitem
LatexCommand bibitem
label "1"
\emph on
--Pic User's Guide
+-pic User's Guide
\emph default
.
Version 3.7, Feb.
\end_layout
\begin_layout Bibliography
+\labelwidthstring References
\begin_inset CommandInset bibitem
LatexCommand bibitem
label "2"
\end_layout
\begin_layout Bibliography
+\labelwidthstring References
\begin_inset CommandInset bibitem
LatexCommand bibitem
label "3"
\end_layout
\begin_layout Bibliography
+\labelwidthstring References
\begin_inset CommandInset bibitem
LatexCommand bibitem
label "4"
\end_layout
\begin_layout Bibliography
+\labelwidthstring References
\begin_inset CommandInset bibitem
LatexCommand bibitem
label "5"
\emph on
--Pic
+-pic
\emph default
\emph on
\begin_layout Plain Layout
-http://www.dpmms.cam.ac.uk/~al366/xytutorial.html
+http://www.math.columbia.edu/~lauda/xy/
\end_layout
\end_inset
\end_layout
\begin_layout Bibliography
+\labelwidthstring References
\begin_inset CommandInset bibitem
LatexCommand bibitem
label "6"
\emph on
--Pic
+-pic
\emph default
:
\emph on
projects / lyx.git / blobdiff