1 #LyX 2.1 created this file. For more info see http://www.lyx.org/
7 \usepackage[all, knot]{xy}
15 \usetikzlibrary{scopes}
17 \use_default_options false
18 \maintain_unincluded_children false
20 \language_package default
25 \font_typewriter default
27 \font_default_family default
28 \use_non_tex_fonts false
34 \default_output_format pdf
36 \bibtex_command default
37 \index_command default
38 \paperfontsize default
43 \use_package amsmath 1
44 \use_package amssymb 1
47 \use_package mathdots 1
48 \use_package mathtools 0
50 \use_package stackrel 0
51 \use_package stmaryrd 0
52 \use_package undertilde 0
54 \cite_engine_type default
58 \paperorientation portrait
68 \paragraph_separation indent
69 \paragraph_indentation default
70 \quotes_language english
73 \paperpagestyle default
74 \tracking_changes false
87 \begin_layout Standard
88 In order to properly typeset the document and have instant preview working,
89 the following packages have to be installed:
92 \begin_layout LyX-Code
93 xy, qtree, tipa, pstricks, pst-plot, rotating, tikz, pgf
96 \begin_layout Standard
97 Due to the use of postscript specials in Section
98 \begin_inset CommandInset ref
100 reference "sec:PSTricks"
104 , only the Postscript or PDF (ps2pdf) output formats will correctly render
106 However, the PDF (XeTeX) output seems to also work, while trying to typeset
115 will generate errors.
118 \begin_layout Section
122 \begin_layout Standard
123 Few examples of diagrams were taken from Aaron Landa's archive of xy-pic
125 \begin_inset Flex URL
128 \begin_layout Plain Layout
130 http://www.math.columbia.edu/~lauda/xy/
138 \begin_layout Description
142 \begin_layout Standard
145 \begin_layout Standard
149 \begin_layout Plain Layout
156 \begin_layout Plain Layout
158 (5,10)*{}; (-10,-10)*{} **
163 \begin_layout Plain Layout
180 \begin_layout Plain Layout
182 "y"+(0,-1); (2,-10)*{} **
191 \begin_layout Plain Layout
198 \begin_layout Plain Layout
205 \begin_layout Plain Layout
212 \begin_layout Plain Layout
219 \begin_layout Plain Layout
236 \begin_layout Description
240 \begin_layout Standard
243 \begin_layout Standard
247 \begin_layout Plain Layout
254 \begin_layout Plain Layout
259 \begin_layout Plain Layout
264 \begin_layout Plain Layout
268 crv{~*=<.5pt>{.} (0,30)}?(.75)*
273 \begin_layout Plain Layout
278 \begin_layout Plain Layout
283 \begin_layout Plain Layout
287 crv{~*=<.5pt>{.} (-28.5,9.3)}?(.7)*
292 \begin_layout Plain Layout
297 \begin_layout Plain Layout
302 \begin_layout Plain Layout
306 crv{~*=<.5pt>{.} (-17.67,-24.19)}?(.7)*
311 \begin_layout Plain Layout
316 \begin_layout Plain Layout
321 \begin_layout Plain Layout
325 crv{~*=<.5pt>{.} (17.67,-24.19)}?(.7)*
330 \begin_layout Plain Layout
335 \begin_layout Plain Layout
340 \begin_layout Plain Layout
344 crv{~*=<.5pt>{.} (28.5,9.3)}?(.93)*
349 \begin_layout Plain Layout
366 \begin_layout Description
370 \begin_layout Standard
373 \begin_layout Standard
377 \begin_layout Plain Layout
384 \begin_layout Plain Layout
393 \begin_layout Plain Layout
400 \begin_layout Plain Layout
407 \begin_layout Plain Layout
414 \begin_layout Plain Layout
431 \begin_layout Description
435 \begin_layout Standard
438 \begin_layout Standard
442 \begin_layout Plain Layout
449 \begin_layout Plain Layout
456 \begin_layout Plain Layout
460 ellipse(3,1)__,=:a(-180){-};
463 \begin_layout Plain Layout
470 \begin_layout Plain Layout
477 \begin_layout Plain Layout
484 \begin_layout Plain Layout
488 ellipse(3,1)__,=:a(-180){-};
491 \begin_layout Plain Layout
495 ellipse(3,1)__,=:a(-180){-};
498 \begin_layout Plain Layout
502 ellipse(3,1)__,=:a(180){-};
505 \begin_layout Plain Layout
512 \begin_layout Plain Layout
519 \begin_layout Plain Layout
524 \begin_layout Plain Layout
529 \begin_layout Plain Layout
534 \begin_layout Plain Layout
539 \begin_layout Plain Layout
546 \begin_layout Plain Layout
551 \begin_layout Plain Layout
556 \begin_layout Plain Layout
561 \begin_layout Plain Layout
566 \begin_layout Plain Layout
573 \begin_layout Plain Layout
580 \begin_layout Plain Layout
587 \begin_layout Plain Layout
591 crv{(-8,7) & (-3,5)};
594 \begin_layout Plain Layout
599 \begin_layout Plain Layout
604 \begin_layout Plain Layout
609 \begin_layout Plain Layout
613 crv{(3,-10) & (9,-10)};
616 \begin_layout Plain Layout
621 \begin_layout Plain Layout
626 \begin_layout Plain Layout
630 crv{(-3,-10) & (-9,-10)};
633 \begin_layout Plain Layout
638 \begin_layout Plain Layout
643 \begin_layout Plain Layout
648 \begin_layout Plain Layout
653 \begin_layout Plain Layout
658 \begin_layout Plain Layout
663 \begin_layout Plain Layout
670 \begin_layout Plain Layout
677 \begin_layout Plain Layout
681 crv{(13,-6) & (2,-8)};
684 \begin_layout Plain Layout
688 crv{(-13,-6) & (-2,-8)};
691 \begin_layout Plain Layout
708 \begin_layout Standard
712 \begin_layout Plain Layout
719 \begin_layout Plain Layout
723 bullet}="RU"+(1,3)*{x^{
728 \begin_layout Plain Layout
732 bullet}="RD"+(2.5,2)*{x^{
737 \begin_layout Plain Layout
741 bullet}="LU"+(-1,2)*{x};
744 \begin_layout Plain Layout
748 bullet}="LD"+(-1,2)*{x};
751 \begin_layout Plain Layout
755 crv{(4,2) & (4,-1)}; ?(.1)*
762 \begin_layout Plain Layout
766 crv{(-4,-2) & (-4,1)};
769 \begin_layout Plain Layout
778 \begin_layout Plain Layout
780 (7.5,0)*{}="x1"; (-7.5,0)*{}="x2";
783 \begin_layout Plain Layout
787 crv{(7,-10) & (-7,-10)};
790 \begin_layout Plain Layout
794 bullet}="RDD"+(2.5,-1)*{x^{
799 \begin_layout Plain Layout
803 bullet}="LDD"+(-1,-3)*{x};
806 \begin_layout Plain Layout
810 bullet}="RUD"+(3.5,1)*{x^{
815 \begin_layout Plain Layout
822 \begin_layout Plain Layout
824 (-16,-2.5)*{}="A"; (16.1,-14.9)*{}="B";
827 \begin_layout Plain Layout
834 \begin_layout Plain Layout
841 \begin_layout Plain Layout
848 \begin_layout Plain Layout
852 crv{(0,-17)}; ?(.57)*
857 \begin_layout Plain Layout
864 \begin_layout Plain Layout
871 \begin_layout Plain Layout
878 \begin_layout Plain Layout
882 crv{~*=<4pt>{.}(0,-18)}; ?(.4)*
887 \begin_layout Plain Layout
904 \begin_layout Description
908 \begin_layout Standard
911 \begin_layout Standard
915 \begin_layout Plain Layout
919 xy (-15,0)*{};(15,0)*{};
922 \begin_layout Plain Layout
929 \begin_layout Plain Layout
940 \begin_layout Plain Layout
942 (-10,12)*{}; (-10,-12)*{}; **
946 dir{<}+(-4,0)*{F(x)};
949 \begin_layout Plain Layout
954 \begin_layout Plain Layout
959 \begin_layout Plain Layout
964 \begin_layout Plain Layout
969 \begin_layout Plain Layout
974 \begin_layout Plain Layout
978 crv{(-4,-21)&(5,-15)};
981 \begin_layout Plain Layout
990 \begin_layout Plain Layout
997 \begin_layout Plain Layout
1003 widetilde{F(i_x)}} ;
1006 \begin_layout Plain Layout
1015 \begin_layout Plain Layout
1022 \begin_layout Plain Layout
1027 \begin_layout Plain Layout
1032 \begin_layout Plain Layout
1036 crv{~*=<2pt>{.}(-2,-1)&(-10,-1)};
1039 \begin_layout Plain Layout
1044 \begin_layout Plain Layout
1049 \begin_layout Plain Layout
1053 crv{~*=<2pt>{.}(-2,1)&(-10,1)};
1056 \begin_layout Plain Layout
1073 \begin_layout Description
1077 \begin_layout Standard
1078 \begin_inset Preview
1080 \begin_layout Standard
1084 \begin_layout Plain Layout
1091 \begin_layout Plain Layout
1100 \begin_layout Plain Layout
1107 \begin_layout Plain Layout
1116 \begin_layout Plain Layout
1125 \begin_layout Plain Layout
1140 \begin_layout Plain Layout
1155 \begin_inset Preview
1157 \begin_layout Standard
1161 \begin_layout Plain Layout
1168 \begin_layout Plain Layout
1175 \begin_layout Plain Layout
1182 \begin_layout Plain Layout
1186 ar@/^.9pc/ "1";"2"};
1189 \begin_layout Plain Layout
1193 ar@/_.9pc/ "1";"2"};
1196 \begin_layout Plain Layout
1203 \begin_layout Plain Layout
1210 \begin_layout Plain Layout
1214 ar@{=>} (-4.5,1.5)*{};(-4.5,-1.5)*{}} ;
1217 \begin_layout Plain Layout
1221 ar@{=>} (-4.5,7.25)*{};(-4.5,4.75)*{}} ;
1224 \begin_layout Plain Layout
1228 ar@{=>} (-4.5,-4.75)*{};(-4.5,-7.25)*{}} ;
1231 \begin_layout Plain Layout
1238 \begin_layout Plain Layout
1245 \begin_layout Plain Layout
1252 \begin_layout Plain Layout
1259 \begin_layout Plain Layout
1266 \begin_layout Plain Layout
1273 \begin_layout Plain Layout
1280 \begin_layout Plain Layout
1284 ar@{=>} (4.5,3)*{};(4.5,.75)*{}} ;
1287 \begin_layout Plain Layout
1291 ar@{=>} (4.5,-.75)*{};(4.5,-3)*{}} ;
1294 \begin_layout Plain Layout
1311 \begin_layout Description
1315 \begin_layout Standard
1316 \begin_inset Preview
1318 \begin_layout Standard
1322 \begin_layout Plain Layout
1327 Natural transformation between functors.
1330 \begin_layout Plain Layout
1337 \begin_layout Plain Layout
1344 \begin_layout Plain Layout
1351 \begin_layout Plain Layout
1355 ar@/^.25pc/ "a";"b"};
1358 \begin_layout Plain Layout
1362 ar@/_.25pc/"a";"c"};
1365 \begin_layout Plain Layout
1369 ar@/_.15pc/ "b";"c"};
1372 \begin_layout Plain Layout
1377 \begin_layout Plain Layout
1384 \begin_layout Plain Layout
1391 \begin_layout Plain Layout
1398 \begin_layout Plain Layout
1402 ar@/^.25pc/ "ta";"tb"};
1405 \begin_layout Plain Layout
1409 ar@/_.25pc/ "ta";"tc"};
1412 \begin_layout Plain Layout
1416 ar@/_.15pc/ "tb";"tc"};
1419 \begin_layout Plain Layout
1424 \begin_layout Plain Layout
1431 \begin_layout Plain Layout
1438 \begin_layout Plain Layout
1445 \begin_layout Plain Layout
1449 ar@/^.25pc/@{.>} "ba";"bb"};
1452 \begin_layout Plain Layout
1456 ar@/_.25pc/ "ba";"bc"};
1459 \begin_layout Plain Layout
1463 ar@/_.15pc/ "bb";"bc"};
1466 \begin_layout Plain Layout
1471 \begin_layout Plain Layout
1475 ar@/_.15pc/ "ta";"ba"};
1478 \begin_layout Plain Layout
1482 ar@/_.15pc/ "tb";"bb"};
1485 \begin_layout Plain Layout
1489 ar@/_.15pc/ "tc";"bc"};
1492 \begin_layout Plain Layout
1494 %START ARROWS AND LABELS
1497 \begin_layout Plain Layout
1502 \begin_layout Plain Layout
1507 \begin_layout Plain Layout
1511 ar@/^.35pc/^F "DF";"CF"};
1514 \begin_layout Plain Layout
1519 \begin_layout Plain Layout
1524 \begin_layout Plain Layout
1528 ar@/_.35pc/_G "DF";"CF"};
1531 \begin_layout Plain Layout
1536 \begin_layout Plain Layout
1541 \begin_layout Plain Layout
1550 \begin_layout Plain Layout
1555 \begin_layout Plain Layout
1560 \begin_layout Plain Layout
1577 \begin_layout Section
1581 \begin_layout Standard
1582 \begin_inset Preview
1584 \begin_layout Standard
1588 \begin_layout Plain Layout
1592 textipa{Ekspl@"neIS@n}
1605 \begin_layout Section
1609 \begin_layout Standard
1610 \begin_inset Preview
1612 \begin_layout Standard
1616 \begin_layout Plain Layout
1620 Tree[.S [.N This ] [.V is ] [.NP [.Det a ] [.N test ] ] ]
1631 \begin_inset Preview
1633 \begin_layout Standard
1637 \begin_layout Plain Layout
1660 \begin_layout Section
1662 \begin_inset CommandInset label
1671 \begin_layout Standard
1672 Some simple graphing examples.
1675 \begin_layout Subsection
1679 \begin_layout Standard
1680 \begin_inset Preview
1682 \begin_layout Standard
1686 \begin_layout Plain Layout
1690 begin{pspicture*}(-1,-3.5)(10.5,3.5)
1693 \begin_layout Plain Layout
1697 psaxes{->}(0,0)(0,-3)(10,3)
1700 \begin_layout Plain Layout
1704 uput[-90](10,0){$x$}
1706 uput[0](0,3){$f(x)$}
1709 \begin_layout Plain Layout
1713 psplot[linecolor=red,linewidth=1pt]{0.1}{10}{ x ln }
1716 \begin_layout Plain Layout
1733 \begin_layout Subsection
1734 Inline data plotting
1737 \begin_layout Standard
1739 \begin_inset Preview
1741 \begin_layout Standard
1746 \begin_layout Plain Layout
1750 begin{pspicture*}(-1.5,-1.5)(11,5)
1753 \begin_layout Plain Layout
1757 psaxes{->}(0,0)(0,0)(10,5)
1760 \begin_layout Plain Layout
1764 psset{linewidth=2.5pt}
1767 \begin_layout Plain Layout
1771 rput(5.0,-1.0){Speed [MPH]}
1774 \begin_layout Plain Layout
1780 begin{rotate}{90}Cost [Dollars]
1785 \begin_layout Plain Layout
1791 mydata}[{{0,0},{1.3,0.32},{5.5,1.1},{6.5,1.15},{8.1,1.28},{10,4}}]
1794 \begin_layout Plain Layout
1798 dataplot[plotstyle=curve,showpoints=true,dotstyle=triangle,linecolor=blue]{
1803 \begin_layout Plain Layout
1820 \begin_layout Subsection
1824 \begin_layout Standard
1825 \begin_inset Preview
1827 \begin_layout Standard
1831 \begin_layout Plain Layout
1835 begin{pspicture*}(-1.1,-1.1)(1.1,1.1)
1838 \begin_layout Plain Layout
1842 parametricplot[plotstyle=line,plotpoints=50,linecolor=red]{0}{8}{50 t mul
1846 \begin_layout Plain Layout
1861 \begin_inset space \hfill{}
1865 \begin_inset Preview
1867 \begin_layout Standard
1871 \begin_layout Plain Layout
1875 begin{pspicture*}(-1.1,-1.1)(1.1,1.1)
1878 \begin_layout Plain Layout
1882 parametricplot[plotstyle=line,plotpoints=100,linecolor=red]{0}{8}{150 t
1883 mul cos 100 t mul sin}
1886 \begin_layout Plain Layout
1901 \begin_inset space \hfill{}
1905 \begin_inset Preview
1907 \begin_layout Standard
1911 \begin_layout Plain Layout
1915 begin{pspicture*}(-1.1,-1.1)(1.1,1.1)
1918 \begin_layout Plain Layout
1922 parametricplot[plotstyle=line,plotpoints=150,linecolor=red]{0}{8}{150 t
1923 mul cos 200 t mul sin}
1926 \begin_layout Plain Layout
1941 \begin_inset space \hfill{}
1945 \begin_inset Preview
1947 \begin_layout Standard
1951 \begin_layout Plain Layout
1955 begin{pspicture*}(-1.1,-1.1)(1.1,1.1)
1958 \begin_layout Plain Layout
1962 parametricplot[plotstyle=line,plotpoints=200,linecolor=red]{0}{8}{250 t
1963 mul cos 200 t mul sin}
1966 \begin_layout Plain Layout
1983 \begin_layout Section
1987 \begin_layout Standard
1988 \begin_inset Flex URL
1991 \begin_layout Plain Layout
1993 http://www.texample.net/media/tikz/examples/TEX/free-body-diagrams.tex
2001 \begin_layout Standard
2002 \begin_inset Preview
2004 \begin_layout Standard
2008 \begin_layout Plain Layout
2014 iangle{35} % Angle of the inclined plane
2017 \begin_layout Plain Layout
2026 \begin_layout Plain Layout
2032 arcr{0.5cm} % Radius of the arc used to indicate angles
2035 \begin_layout Plain Layout
2039 \begin_layout Plain Layout
2046 \begin_layout Plain Layout
2048 force/.style={>=latex,draw=blue,fill=blue},
2051 \begin_layout Plain Layout
2053 axis/.style={densely dashed,gray,font=
2058 \begin_layout Plain Layout
2060 M/.style={rectangle,draw,fill=lightgray,minimum size=0.5cm,thin},
2063 \begin_layout Plain Layout
2065 m/.style={rectangle,draw=black,fill=lightgray,minimum size=0.3cm,thin},
2068 \begin_layout Plain Layout
2070 plane/.style={draw=black,fill=blue!10},
2073 \begin_layout Plain Layout
2075 string/.style={draw=red, thick},
2078 \begin_layout Plain Layout
2080 pulley/.style={thick},
2083 \begin_layout Plain Layout
2088 \begin_layout Plain Layout
2092 \begin_layout Plain Layout
2096 matrix[column sep=1cm] {
2099 \begin_layout Plain Layout
2104 \begin_layout Plain Layout
2108 draw[plane] (0,-1) coordinate (base)
2111 \begin_layout Plain Layout
2113 -- coordinate[pos=0.5] (mid) ++(
2115 iangle:3) coordinate (top)
2118 \begin_layout Plain Layout
2123 \begin_layout Plain Layout
2127 path (mid) node[M,rotate=
2129 iangle,yshift=0.25cm] (M) {};
2132 \begin_layout Plain Layout
2136 draw[pulley] (top) -- ++(
2138 iangle:0.25) circle (0.25cm)
2141 \begin_layout Plain Layout
2145 iangle:0.5) coordinate (pulley);
2148 \begin_layout Plain Layout
2152 draw[string] (M.east) -- ++(
2154 iangle:1.5cm) arc (90+
2159 \begin_layout Plain Layout
2161 -- ++(0,-1) node[m] {};
2164 \begin_layout Plain Layout
2168 \begin_layout Plain Layout
2181 \begin_layout Plain Layout
2194 \begin_layout Plain Layout
2199 \begin_layout Plain Layout
2203 \begin_layout Plain Layout
2208 \begin_layout Plain Layout
2210 %% Free body diagram of M
2213 \begin_layout Plain Layout
2217 begin{scope}[rotate=
2222 \begin_layout Plain Layout
2226 node[M,transform shape] (M) {};
2229 \begin_layout Plain Layout
2231 % Draw axes and help lines
2234 \begin_layout Plain Layout
2238 \begin_layout Plain Layout
2243 \begin_layout Plain Layout
2247 draw (0,-1) -- (0,2) node[right] {$+y$};
2250 \begin_layout Plain Layout
2254 draw (M) -- ++(2,0) node[right] {$+x$};
2257 \begin_layout Plain Layout
2260 The code is a bit awkward.
2263 \begin_layout Plain Layout
2267 \begin_layout Plain Layout
2271 draw[solid,shorten >=0.5pt] (
2280 \begin_layout Plain Layout
2293 \begin_layout Plain Layout
2308 \begin_layout Plain Layout
2313 \begin_layout Plain Layout
2317 \begin_layout Plain Layout
2322 \begin_layout Plain Layout
2327 \begin_layout Plain Layout
2329 % Assuming that Mg = 1.
2330 The normal force will therefore be cos(alpha)
2333 \begin_layout Plain Layout
2337 draw (M.center) -- ++(0,{cos(
2339 iangle)}) node[above right] {$N$};
2342 \begin_layout Plain Layout
2346 draw (M.west) -- ++(-1,0) node[left] {$f_R$};
2349 \begin_layout Plain Layout
2353 draw (M.east) -- ++(1,0) node[above] {$T$};
2356 \begin_layout Plain Layout
2361 \begin_layout Plain Layout
2365 \begin_layout Plain Layout
2372 \begin_layout Plain Layout
2374 % Draw gravity force.
2375 The code is put outside the rotated
2378 \begin_layout Plain Layout
2380 % scope for simplicity.
2381 No need to do any angle calculations.
2385 \begin_layout Plain Layout
2389 draw[force,->] (M.center) -- ++(0,-1) node[below] {$Mg$};
2392 \begin_layout Plain Layout
2397 \begin_layout Plain Layout
2401 \begin_layout Plain Layout
2406 \begin_layout Plain Layout
2411 \begin_layout Plain Layout
2413 % Free body diagram of m
2416 \begin_layout Plain Layout
2423 \begin_layout Plain Layout
2427 draw[axis,->] (m) -- ++(0,-2) node[left] {$+$};
2430 \begin_layout Plain Layout
2435 \begin_layout Plain Layout
2439 draw (m.north) -- ++(0,1) node[above] {$T'$};
2442 \begin_layout Plain Layout
2446 draw (m.south) -- ++(0,-1) node[right] {$mg$};
2449 \begin_layout Plain Layout
2454 \begin_layout Plain Layout
2458 \begin_layout Plain Layout
2467 \begin_layout Plain Layout
2472 \begin_layout Plain Layout
2479 \begin_layout Plain Layout