1 #LyX 2.3 created this file. For more info see http://www.lyx.org/
5 \save_transient_properties true
6 \origin /systemlyxdir/examples/
8 \options tablecaptionabove
9 \use_default_options true
13 \maintain_unincluded_children false
15 \language_package default
18 \font_roman "default" "default"
19 \font_sans "default" "default"
20 \font_typewriter "default" "default"
21 \font_math "auto" "auto"
22 \font_default_family default
23 \use_non_tex_fonts false
26 \font_sf_scale 100 100
27 \font_tt_scale 100 100
29 \use_dash_ligatures false
31 \default_output_format default
33 \bibtex_command default
34 \index_command default
40 \use_package amsmath 1
41 \use_package amssymb 1
44 \use_package mathdots 1
45 \use_package mathtools 1
47 \use_package stackrel 1
48 \use_package stmaryrd 1
49 \use_package undertilde 1
51 \cite_engine_type default
55 \paperorientation portrait
66 \paragraph_separation indent
67 \paragraph_indentation default
69 \math_numbering_side default
74 \paperpagestyle default
75 \tracking_changes false
85 Floats Side-by-Side using the Module
87 Variable-width Minipages
90 \begin_layout Standard
91 \begin_inset Note Note
94 \begin_layout Plain Layout
95 To view this file you need to have the \SpecialChar LaTeX
108 \begin_layout Section
109 Graphics side-by-side
112 \begin_layout Standard
113 \begin_inset Float figure
119 \begin_layout Plain Layout
120 \begin_inset space \hfill{}
124 \begin_inset Flex Minipage (Var. Width)
127 \begin_layout Plain Layout
128 \begin_inset Argument 1
131 \begin_layout Plain Layout
138 \begin_inset Graphics
139 filename ../doc/clipart/3D-structure-distort.pdf
146 \begin_inset Caption Standard
148 \begin_layout Plain Layout
149 3D-structure-distort.pdf
160 \begin_inset space \hfill{}
164 \begin_inset space \hfill{}
168 \begin_inset Flex Minipage (Var. Width)
171 \begin_layout Plain Layout
172 \begin_inset Argument 1
175 \begin_layout Plain Layout
182 \begin_inset Graphics
183 filename ../doc/clipart/Star-structure.pdf
189 \begin_inset Caption Standard
191 \begin_layout Plain Layout
203 \begin_inset space \hfill{}
214 \begin_layout Section
218 \begin_layout Standard
219 \begin_inset Float table
225 \begin_layout Plain Layout
226 \begin_inset space \hfill{}
230 \begin_inset Flex Minipage (Var. Width)
233 \begin_layout Plain Layout
234 \begin_inset Argument 1
237 \begin_layout Plain Layout
244 \begin_inset Caption Standard
246 \begin_layout Plain Layout
255 \begin_layout Plain Layout
257 <lyxtabular version="3" rows="5" columns="5">
258 <features tabularvalignment="middle">
259 <column alignment="center" valignment="top" width="0pt">
260 <column alignment="center" valignment="top">
261 <column alignment="center" valignment="top">
262 <column alignment="center" valignment="top">
263 <column alignment="center" valignment="top">
265 <cell alignment="center" valignment="top" topline="true" bottomline="true" leftline="true" rightline="true" usebox="none">
268 \begin_layout Plain Layout
274 <cell alignment="center" valignment="top" topline="true" bottomline="true" usebox="none">
277 \begin_layout Plain Layout
283 <cell alignment="center" valignment="top" topline="true" bottomline="true" usebox="none">
286 \begin_layout Plain Layout
292 <cell alignment="center" valignment="top" topline="true" bottomline="true" usebox="none">
295 \begin_layout Plain Layout
301 <cell alignment="center" valignment="top" topline="true" bottomline="true" rightline="true" usebox="none">
304 \begin_layout Plain Layout
312 <cell alignment="center" valignment="top" leftline="true" rightline="true" usebox="none">
315 \begin_layout Plain Layout
321 <cell alignment="center" valignment="top" usebox="none">
324 \begin_layout Plain Layout
330 <cell alignment="center" valignment="top" usebox="none">
333 \begin_layout Plain Layout
339 <cell alignment="center" valignment="top" usebox="none">
342 \begin_layout Plain Layout
348 <cell alignment="center" valignment="top" rightline="true" usebox="none">
351 \begin_layout Plain Layout
359 <cell alignment="center" valignment="top" leftline="true" rightline="true" usebox="none">
362 \begin_layout Plain Layout
368 <cell alignment="center" valignment="top" usebox="none">
371 \begin_layout Plain Layout
377 <cell alignment="center" valignment="top" usebox="none">
380 \begin_layout Plain Layout
386 <cell alignment="center" valignment="top" usebox="none">
389 \begin_layout Plain Layout
395 <cell alignment="center" valignment="top" rightline="true" usebox="none">
398 \begin_layout Plain Layout
406 <cell alignment="center" valignment="top" leftline="true" rightline="true" usebox="none">
409 \begin_layout Plain Layout
415 <cell alignment="center" valignment="top" usebox="none">
418 \begin_layout Plain Layout
424 <cell alignment="center" valignment="top" usebox="none">
427 \begin_layout Plain Layout
433 <cell alignment="center" valignment="top" usebox="none">
436 \begin_layout Plain Layout
442 <cell alignment="center" valignment="top" rightline="true" usebox="none">
445 \begin_layout Plain Layout
453 <cell alignment="center" valignment="top" bottomline="true" leftline="true" rightline="true" usebox="none">
456 \begin_layout Plain Layout
462 <cell alignment="center" valignment="top" bottomline="true" usebox="none">
465 \begin_layout Plain Layout
471 <cell alignment="center" valignment="top" bottomline="true" usebox="none">
474 \begin_layout Plain Layout
480 <cell alignment="center" valignment="top" bottomline="true" usebox="none">
483 \begin_layout Plain Layout
489 <cell alignment="center" valignment="top" bottomline="true" rightline="true" usebox="none">
492 \begin_layout Plain Layout
509 \begin_inset space \hfill{}
513 \begin_inset space \hfill{}
517 \begin_inset Flex Minipage (Var. Width)
520 \begin_layout Plain Layout
521 \begin_inset Argument 1
524 \begin_layout Plain Layout
531 \begin_inset Caption Standard
533 \begin_layout Plain Layout
542 \begin_layout Plain Layout
544 <lyxtabular version="3" rows="6" columns="5">
545 <features tabularvalignment="middle">
546 <column alignment="center" valignment="top" width="0pt">
547 <column alignment="center" valignment="top">
548 <column alignment="center" valignment="top">
549 <column alignment="center" valignment="top">
550 <column alignment="center" valignment="top">
552 <cell alignment="center" valignment="top" topline="true" bottomline="true" leftline="true" rightline="true" usebox="none">
555 \begin_layout Plain Layout
561 <cell alignment="center" valignment="top" topline="true" bottomline="true" usebox="none">
564 \begin_layout Plain Layout
570 <cell alignment="center" valignment="top" topline="true" bottomline="true" usebox="none">
573 \begin_layout Plain Layout
579 <cell alignment="center" valignment="top" topline="true" bottomline="true" usebox="none">
582 \begin_layout Plain Layout
588 <cell alignment="center" valignment="top" topline="true" bottomline="true" rightline="true" usebox="none">
591 \begin_layout Plain Layout
599 <cell alignment="center" valignment="top" leftline="true" rightline="true" usebox="none">
602 \begin_layout Plain Layout
608 <cell alignment="center" valignment="top" usebox="none">
611 \begin_layout Plain Layout
617 <cell alignment="center" valignment="top" usebox="none">
620 \begin_layout Plain Layout
626 <cell alignment="center" valignment="top" usebox="none">
629 \begin_layout Plain Layout
635 <cell alignment="center" valignment="top" rightline="true" usebox="none">
638 \begin_layout Plain Layout
646 <cell alignment="center" valignment="top" leftline="true" rightline="true" usebox="none">
649 \begin_layout Plain Layout
655 <cell alignment="center" valignment="top" usebox="none">
658 \begin_layout Plain Layout
664 <cell alignment="center" valignment="top" usebox="none">
667 \begin_layout Plain Layout
673 <cell alignment="center" valignment="top" usebox="none">
676 \begin_layout Plain Layout
682 <cell alignment="center" valignment="top" rightline="true" usebox="none">
685 \begin_layout Plain Layout
693 <cell alignment="center" valignment="top" leftline="true" rightline="true" usebox="none">
696 \begin_layout Plain Layout
702 <cell alignment="center" valignment="top" usebox="none">
705 \begin_layout Plain Layout
711 <cell alignment="center" valignment="top" usebox="none">
714 \begin_layout Plain Layout
720 <cell alignment="center" valignment="top" usebox="none">
723 \begin_layout Plain Layout
729 <cell alignment="center" valignment="top" rightline="true" usebox="none">
732 \begin_layout Plain Layout
740 <cell alignment="center" valignment="top" leftline="true" rightline="true" usebox="none">
743 \begin_layout Plain Layout
749 <cell alignment="center" valignment="top" usebox="none">
752 \begin_layout Plain Layout
758 <cell alignment="center" valignment="top" usebox="none">
761 \begin_layout Plain Layout
767 <cell alignment="center" valignment="top" usebox="none">
770 \begin_layout Plain Layout
776 <cell alignment="center" valignment="top" rightline="true" usebox="none">
779 \begin_layout Plain Layout
787 <cell alignment="center" valignment="top" bottomline="true" leftline="true" rightline="true" usebox="none">
790 \begin_layout Plain Layout
796 <cell alignment="center" valignment="top" bottomline="true" usebox="none">
799 \begin_layout Plain Layout
805 <cell alignment="center" valignment="top" bottomline="true" usebox="none">
808 \begin_layout Plain Layout
814 <cell alignment="center" valignment="top" bottomline="true" usebox="none">
817 \begin_layout Plain Layout
823 <cell alignment="center" valignment="top" bottomline="true" rightline="true" usebox="none">
826 \begin_layout Plain Layout
843 \begin_inset space \hfill{}
854 \begin_layout Section
858 \begin_layout Standard
859 \begin_inset Float figure
865 \begin_layout Plain Layout
866 \begin_inset space \hfill{}
870 \begin_inset Flex Minipage (Var. Width)
873 \begin_layout Plain Layout
874 \begin_inset Argument 1
877 \begin_layout Plain Layout
884 \begin_inset Formula $\begin{aligned}M\Coloneqq x\mid\lambda xM\mid MN\end{aligned}
889 \begin_inset Newline newline
895 \begin_inset Formula $\alpha$
903 \begin_layout Plain Layout
904 \begin_inset Caption Standard
906 \begin_layout Plain Layout
918 \begin_inset space \hfill{}
922 \begin_inset space \hfill{}
926 \begin_inset Flex Minipage (Var. Width)
929 \begin_layout Plain Layout
930 \begin_inset Argument 1
933 \begin_layout Plain Layout
940 \begin_inset Formula $\begin{aligned}(\lambda xM)N & \rightarrow M[N/x]\\
941 \lambda x(Mx) & \rightarrow M
947 \begin_inset Caption Standard
949 \begin_layout Plain Layout
961 \begin_inset space \hfill{}