-#LyX 1.6.2svn 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
\begin_layout Title
Using
\begin_inset ERT
-status open
+status collapsed
\begin_layout Plain Layout
\family typewriter
\begin_inset ERT
-status open
+status collapsed
\begin_layout Plain Layout
\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
\begin_layout Standard
In this note, we describe how
\begin_inset ERT
-status open
+status collapsed
\begin_layout Plain Layout
There are two modes of operations: For a start, and for some first tests,
it may be easiest to first enter the
\begin_inset ERT
-status open
+status collapsed
\begin_layout Plain Layout
\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
.
If you use
\begin_inset ERT
-status open
+status collapsed
\begin_layout Plain Layout
\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
In the first two sections of this documentation, we explain how to use LyX
in the first mentioned mode and we introduce all
\begin_inset ERT
-status open
+status collapsed
\begin_layout Plain 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
explains how to use the
\begin_inset ERT
-status open
+status collapsed
\begin_layout Plain Layout
\end_inset
--Pic commands inside a math-editing area.
+-pic commands inside a math-editing area.
\end_layout
\begin_layout Standard
It is not our intention to write another introduction to
\begin_inset ERT
-status open
+status collapsed
\begin_layout Plain 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 open
+status collapsed
\begin_layout Plain Layout
\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 place a check-mark at
+ and turn
\emph on
Instant Preview
+\emph default
+ on.
+\end_layout
+
+\begin_layout Enumerate
+In
+\family sans
+Document\SpecialChar \menuseparator
+Settings\SpecialChar \menuseparator
+Math
+\begin_inset space ~
+\end_inset
+
+Options
+\family default
+, uncheck
+\emph on
+Use AMS Math package automatically
+\emph default
+ and check
+\emph on
+Use AMS Math package
\emph default
.
-
\end_layout
\begin_layout Enumerate
\begin_layout Enumerate
Activate and test
\begin_inset ERT
-status open
+status collapsed
\begin_layout Plain Layout
\end_inset
--Pic
+-pic
\family typewriter
:
\end_layout
\end_inset
.
- Commutative diagrams
\end_layout
\end_deeper
+\begin_layout Section
+Commutative diagrams
+\end_layout
+
\begin_layout Standard
The following diagram, which is taken from the documentation of
\begin_inset ERT
-status open
+status collapsed
\begin_layout Plain 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 ERT
-status open
+status collapsed
\begin_layout Plain Layout
work.
The corresponding
\begin_inset ERT
-status open
+status collapsed
\begin_layout Plain Layout
\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
\family typewriter
\begin_inset ERT
-status open
+status collapsed
\begin_layout Plain Layout
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
\begin_layout Standard
With
\begin_inset ERT
-status open
+status collapsed
\begin_layout Plain Layout
\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]}
\]
\family default
, all following entries inside
\begin_inset ERT
-status open
+status collapsed
\begin_layout Plain Layout
.
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
to the parameter is entered.
In connection with
\begin_inset ERT
-status open
+status collapsed
\begin_layout Plain Layout
1-
\begin_inset ERT
-status open
+status collapsed
\begin_layout Plain Layout
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
of an entire diagram by using spacing commands for rows and/or columns.
According to the
\begin_inset ERT
-status open
+status collapsed
\begin_layout Plain Layout
\family default
defines an
\begin_inset ERT
-status open
+status collapsed
\begin_layout Plain Layout
Unfortunately, these commands do currently not work inside LyX, as the
@-character is interpreted by LyX as ending the
\begin_inset ERT
-status open
+status collapsed
\begin_layout Plain Layout
\begin_layout Standard
Knowing that
\begin_inset ERT
-status open
+status collapsed
\begin_layout Plain Layout
\backslash
xyR{...} into the
\begin_inset ERT
-status open
+status collapsed
\begin_layout Plain Layout
\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
\begin_layout Standard
Another useful
\begin_inset ERT
-status open
+status collapsed
\begin_layout Plain Layout
items, such as the intersection of the arrows in the figure below.
In order to shift a label position alongside the shaft of an arrow,
\begin_inset ERT
-status open
+status collapsed
\begin_layout Plain Layout
\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 typewriter
\begin_inset ERT
-status open
+status collapsed
\begin_layout Plain Layout
\family typewriter
\begin_inset ERT
-status open
+status collapsed
\begin_layout Plain Layout
\family typewriter
\begin_inset ERT
-status open
+status collapsed
\begin_layout Plain Layout
\family default
--Pic manual
+-pic manual
\begin_inset CommandInset citation
LatexCommand cite
key "xypic manual"
explains how to use
\begin_inset ERT
-status open
+status collapsed
\begin_layout Plain Layout
\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
\begin_inset ERT
-status open
+status collapsed
\begin_layout Plain Layout
\end_layout
\begin_layout Bibliography
+\labelwidthstring References
\begin_inset CommandInset bibitem
LatexCommand bibitem
label "1"
Kristoffer H.
Rose:
\begin_inset ERT
-status open
+status collapsed
\begin_layout Plain Layout
\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"
Aarlon Lauda:
\begin_inset ERT
-status open
+status collapsed
\begin_layout Plain Layout
\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"
Filipp Ouvaton:
\begin_inset ERT
-status open
+status collapsed
\begin_layout Plain Layout
\emph on
--Pic
+-pic
\emph default
:
\emph on
projects / lyx.git / blobdiff