lib/examples/varwidth-floats-side-by-side.lyx

   1 #LyX 2.2 created this file. For more info see http://www.lyx.org/
   2 \lyxformat 503
   3 \begin_document
   4 \begin_header
   5 \origin unavailable
   6 \textclass scrartcl
   7 \options tablecaptionabove
   8 \use_default_options true
   9 \begin_modules
  10 varwidth
  11 \end_modules
  12 \maintain_unincluded_children false
  13 \language british
  14 \language_package default
  15 \inputencoding auto
  16 \fontencoding global
  17 \font_roman "default" "default"
  18 \font_sans "default" "default"
  19 \font_typewriter "default" "default"
  20 \font_math "auto" "auto"
  21 \font_default_family default
  22 \use_non_tex_fonts false
  23 \font_sc false
  24 \font_osf false
  25 \font_sf_scale 100 100
  26 \font_tt_scale 100 100
  27 \graphics default
  28 \default_output_format default
  29 \output_sync 0
  30 \bibtex_command default
  31 \index_command default
  32 \paperfontsize 12
  33 \spacing single
  34 \use_hyperref false
  35 \papersize default
  36 \use_geometry false
  37 \use_package amsmath 1
  38 \use_package amssymb 1
  39 \use_package cancel 1
  40 \use_package esint 1
  41 \use_package mathdots 1
  42 \use_package mathtools 1
  43 \use_package mhchem 1
  44 \use_package stackrel 1
  45 \use_package stmaryrd 1
  46 \use_package undertilde 1
  47 \cite_engine basic
  48 \cite_engine_type default
  49 \biblio_style plain
  50 \use_bibtopic false
  51 \use_indices false
  52 \paperorientation portrait
  53 \suppress_date true
  54 \justification true
  55 \use_refstyle 0
  56 \index Index
  57 \shortcut idx
  58 \color #008000
  59 \end_index
  60 \secnumdepth 3
  61 \tocdepth 3
  62 \paragraph_separation indent
  63 \paragraph_indentation default
  64 \quotes_language english
  65 \papercolumns 1
  66 \papersides 1
  67 \paperpagestyle default
  68 \tracking_changes false
  69 \output_changes false
  70 \html_math_output 0
  71 \html_css_as_file 0
  72 \html_be_strict false
  73 \end_header
  74
  75 \begin_body
  76
  77 \begin_layout Title
  78 Floats Side-by-Side using the Module
  79 \emph on
  80 Variable-width Minipages
  81 \end_layout
  82
  83 \begin_layout Standard
  84 \begin_inset Note Note
  85 status open
  86
  87 \begin_layout Plain Layout
  88 To view this file you need to have the \SpecialChar LaTeX
  89  package
  90 \family sans
  91 varwidth
  92 \family default
  93  installed.
  94 \end_layout
  95
  96 \end_inset
  97
  98
  99 \end_layout
 100
 101 \begin_layout Section
 102 Graphics side-by-side
 103 \end_layout
 104
 105 \begin_layout Standard
 106 \begin_inset Float figure
 107 placement H
 108 wide false
 109 sideways false
 110 status open
 111
 112 \begin_layout Plain Layout
 113 \begin_inset space \hfill{}
 114 \end_inset
 115
 116
 117 \begin_inset Flex Minipage (Var. Width)
 118 status open
 119
 120 \begin_layout Plain Layout
 121 \begin_inset Argument 1
 122 status open
 123
 124 \begin_layout Plain Layout
 125 t
 126 \end_layout
 127
 128 \end_inset
 129
 130
 131 \begin_inset Graphics
 132         filename ../doc/clipart/escher-lsd.eps
 133         width 4cm
 134
 135 \end_inset
 136
 137
 138 \begin_inset Caption Standard
 139
 140 \begin_layout Plain Layout
 141 escher-lsd.eps
 142 \end_layout
 143
 144 \end_inset
 145
 146
 147 \end_layout
 148
 149 \end_inset
 150
 151
 152 \begin_inset space \hfill{}
 153 \end_inset
 154
 155
 156 \begin_inset space \hfill{}
 157 \end_inset
 158
 159
 160 \begin_inset Flex Minipage (Var. Width)
 161 status open
 162
 163 \begin_layout Plain Layout
 164 \begin_inset Argument 1
 165 status open
 166
 167 \begin_layout Plain Layout
 168 t
 169 \end_layout
 170
 171 \end_inset
 172
 173
 174 \begin_inset Graphics
 175         filename ../doc/clipart/platypus.eps
 176         width 4cm
 177
 178 \end_inset
 179
 180
 181 \begin_inset Caption Standard
 182
 183 \begin_layout Plain Layout
 184 platypus.eps
 185 \end_layout
 186
 187 \end_inset
 188
 189
 190 \end_layout
 191
 192 \end_inset
 193
 194
 195 \begin_inset space \hfill{}
 196 \end_inset
 197
 198
 199 \end_layout
 200
 201 \end_inset
 202
 203
 204 \end_layout
 205
 206 \begin_layout Section
 207 Tables side-by-side
 208 \end_layout
 209
 210 \begin_layout Standard
 211 \begin_inset Float table
 212 placement H
 213 wide false
 214 sideways false
 215 status open
 216
 217 \begin_layout Plain Layout
 218 \begin_inset space \hfill{}
 219 \end_inset
 220
 221
 222 \begin_inset Flex Minipage (Var. Width)
 223 status open
 224
 225 \begin_layout Plain Layout
 226 \begin_inset Argument 1
 227 status open
 228
 229 \begin_layout Plain Layout
 230 t
 231 \end_layout
 232
 233 \end_inset
 234
 235
 236 \begin_inset Caption Standard
 237
 238 \begin_layout Plain Layout
 239 Addition
 240 \end_layout
 241
 242 \end_inset
 243
 244
 245 \end_layout
 246
 247 \begin_layout Plain Layout
 248 \begin_inset Tabular
 249 <lyxtabular version="3" rows="5" columns="5">
 250 <features tabularvalignment="middle">
 251 <column alignment="center" valignment="top" width="0pt">
 252 <column alignment="center" valignment="top">
 253 <column alignment="center" valignment="top">
 254 <column alignment="center" valignment="top">
 255 <column alignment="center" valignment="top">
 256 <row>
 257 <cell alignment="center" valignment="top" topline="true" bottomline="true" leftline="true" rightline="true" usebox="none">
 258 \begin_inset Text
 259
 260 \begin_layout Plain Layout
 261
 262 \end_layout
 263
 264 \end_inset
 265 </cell>
 266 <cell alignment="center" valignment="top" topline="true" bottomline="true" usebox="none">
 267 \begin_inset Text
 268
 269 \begin_layout Plain Layout
 270 1
 271 \end_layout
 272
 273 \end_inset
 274 </cell>
 275 <cell alignment="center" valignment="top" topline="true" bottomline="true" usebox="none">
 276 \begin_inset Text
 277
 278 \begin_layout Plain Layout
 279 2
 280 \end_layout
 281
 282 \end_inset
 283 </cell>
 284 <cell alignment="center" valignment="top" topline="true" bottomline="true" usebox="none">
 285 \begin_inset Text
 286
 287 \begin_layout Plain Layout
 288 3
 289 \end_layout
 290
 291 \end_inset
 292 </cell>
 293 <cell alignment="center" valignment="top" topline="true" bottomline="true" rightline="true" usebox="none">
 294 \begin_inset Text
 295
 296 \begin_layout Plain Layout
 297 4
 298 \end_layout
 299
 300 \end_inset
 301 </cell>
 302 </row>
 303 <row>
 304 <cell alignment="center" valignment="top" leftline="true" rightline="true" usebox="none">
 305 \begin_inset Text
 306
 307 \begin_layout Plain Layout
 308 1
 309 \end_layout
 310
 311 \end_inset
 312 </cell>
 313 <cell alignment="center" valignment="top" usebox="none">
 314 \begin_inset Text
 315
 316 \begin_layout Plain Layout
 317 2
 318 \end_layout
 319
 320 \end_inset
 321 </cell>
 322 <cell alignment="center" valignment="top" usebox="none">
 323 \begin_inset Text
 324
 325 \begin_layout Plain Layout
 326 3
 327 \end_layout
 328
 329 \end_inset
 330 </cell>
 331 <cell alignment="center" valignment="top" usebox="none">
 332 \begin_inset Text
 333
 334 \begin_layout Plain Layout
 335 4
 336 \end_layout
 337
 338 \end_inset
 339 </cell>
 340 <cell alignment="center" valignment="top" rightline="true" usebox="none">
 341 \begin_inset Text
 342
 343 \begin_layout Plain Layout
 344 5
 345 \end_layout
 346
 347 \end_inset
 348 </cell>
 349 </row>
 350 <row>
 351 <cell alignment="center" valignment="top" leftline="true" rightline="true" usebox="none">
 352 \begin_inset Text
 353
 354 \begin_layout Plain Layout
 355 2
 356 \end_layout
 357
 358 \end_inset
 359 </cell>
 360 <cell alignment="center" valignment="top" usebox="none">
 361 \begin_inset Text
 362
 363 \begin_layout Plain Layout
 364 3
 365 \end_layout
 366
 367 \end_inset
 368 </cell>
 369 <cell alignment="center" valignment="top" usebox="none">
 370 \begin_inset Text
 371
 372 \begin_layout Plain Layout
 373 4
 374 \end_layout
 375
 376 \end_inset
 377 </cell>
 378 <cell alignment="center" valignment="top" usebox="none">
 379 \begin_inset Text
 380
 381 \begin_layout Plain Layout
 382 5
 383 \end_layout
 384
 385 \end_inset
 386 </cell>
 387 <cell alignment="center" valignment="top" rightline="true" usebox="none">
 388 \begin_inset Text
 389
 390 \begin_layout Plain Layout
 391 6
 392 \end_layout
 393
 394 \end_inset
 395 </cell>
 396 </row>
 397 <row>
 398 <cell alignment="center" valignment="top" leftline="true" rightline="true" usebox="none">
 399 \begin_inset Text
 400
 401 \begin_layout Plain Layout
 402 3
 403 \end_layout
 404
 405 \end_inset
 406 </cell>
 407 <cell alignment="center" valignment="top" usebox="none">
 408 \begin_inset Text
 409
 410 \begin_layout Plain Layout
 411 4
 412 \end_layout
 413
 414 \end_inset
 415 </cell>
 416 <cell alignment="center" valignment="top" usebox="none">
 417 \begin_inset Text
 418
 419 \begin_layout Plain Layout
 420 5
 421 \end_layout
 422
 423 \end_inset
 424 </cell>
 425 <cell alignment="center" valignment="top" usebox="none">
 426 \begin_inset Text
 427
 428 \begin_layout Plain Layout
 429 6
 430 \end_layout
 431
 432 \end_inset
 433 </cell>
 434 <cell alignment="center" valignment="top" rightline="true" usebox="none">
 435 \begin_inset Text
 436
 437 \begin_layout Plain Layout
 438 7
 439 \end_layout
 440
 441 \end_inset
 442 </cell>
 443 </row>
 444 <row>
 445 <cell alignment="center" valignment="top" bottomline="true" leftline="true" rightline="true" usebox="none">
 446 \begin_inset Text
 447
 448 \begin_layout Plain Layout
 449 4
 450 \end_layout
 451
 452 \end_inset
 453 </cell>
 454 <cell alignment="center" valignment="top" bottomline="true" usebox="none">
 455 \begin_inset Text
 456
 457 \begin_layout Plain Layout
 458 5
 459 \end_layout
 460
 461 \end_inset
 462 </cell>
 463 <cell alignment="center" valignment="top" bottomline="true" usebox="none">
 464 \begin_inset Text
 465
 466 \begin_layout Plain Layout
 467 6
 468 \end_layout
 469
 470 \end_inset
 471 </cell>
 472 <cell alignment="center" valignment="top" bottomline="true" usebox="none">
 473 \begin_inset Text
 474
 475 \begin_layout Plain Layout
 476 7
 477 \end_layout
 478
 479 \end_inset
 480 </cell>
 481 <cell alignment="center" valignment="top" bottomline="true" rightline="true" usebox="none">
 482 \begin_inset Text
 483
 484 \begin_layout Plain Layout
 485 8
 486 \end_layout
 487
 488 \end_inset
 489 </cell>
 490 </row>
 491 </lyxtabular>
 492
 493 \end_inset
 494
 495
 496 \end_layout
 497
 498 \end_inset
 499
 500
 501 \begin_inset space \hfill{}
 502 \end_inset
 503
 504
 505 \begin_inset space \hfill{}
 506 \end_inset
 507
 508
 509 \begin_inset Flex Minipage (Var. Width)
 510 status open
 511
 512 \begin_layout Plain Layout
 513 \begin_inset Argument 1
 514 status open
 515
 516 \begin_layout Plain Layout
 517 t
 518 \end_layout
 519
 520 \end_inset
 521
 522
 523 \begin_inset Caption Standard
 524
 525 \begin_layout Plain Layout
 526 Multiplication
 527 \end_layout
 528
 529 \end_inset
 530
 531
 532 \end_layout
 533
 534 \begin_layout Plain Layout
 535 \begin_inset Tabular
 536 <lyxtabular version="3" rows="6" columns="5">
 537 <features tabularvalignment="middle">
 538 <column alignment="center" valignment="top" width="0pt">
 539 <column alignment="center" valignment="top">
 540 <column alignment="center" valignment="top">
 541 <column alignment="center" valignment="top">
 542 <column alignment="center" valignment="top">
 543 <row>
 544 <cell alignment="center" valignment="top" topline="true" bottomline="true" leftline="true" rightline="true" usebox="none">
 545 \begin_inset Text
 546
 547 \begin_layout Plain Layout
 548
 549 \end_layout
 550
 551 \end_inset
 552 </cell>
 553 <cell alignment="center" valignment="top" topline="true" bottomline="true" usebox="none">
 554 \begin_inset Text
 555
 556 \begin_layout Plain Layout
 557 1
 558 \end_layout
 559
 560 \end_inset
 561 </cell>
 562 <cell alignment="center" valignment="top" topline="true" bottomline="true" usebox="none">
 563 \begin_inset Text
 564
 565 \begin_layout Plain Layout
 566 2
 567 \end_layout
 568
 569 \end_inset
 570 </cell>
 571 <cell alignment="center" valignment="top" topline="true" bottomline="true" usebox="none">
 572 \begin_inset Text
 573
 574 \begin_layout Plain Layout
 575 3
 576 \end_layout
 577
 578 \end_inset
 579 </cell>
 580 <cell alignment="center" valignment="top" topline="true" bottomline="true" rightline="true" usebox="none">
 581 \begin_inset Text
 582
 583 \begin_layout Plain Layout
 584 4
 585 \end_layout
 586
 587 \end_inset
 588 </cell>
 589 </row>
 590 <row>
 591 <cell alignment="center" valignment="top" leftline="true" rightline="true" usebox="none">
 592 \begin_inset Text
 593
 594 \begin_layout Plain Layout
 595 1
 596 \end_layout
 597
 598 \end_inset
 599 </cell>
 600 <cell alignment="center" valignment="top" usebox="none">
 601 \begin_inset Text
 602
 603 \begin_layout Plain Layout
 604 1
 605 \end_layout
 606
 607 \end_inset
 608 </cell>
 609 <cell alignment="center" valignment="top" usebox="none">
 610 \begin_inset Text
 611
 612 \begin_layout Plain Layout
 613 2
 614 \end_layout
 615
 616 \end_inset
 617 </cell>
 618 <cell alignment="center" valignment="top" usebox="none">
 619 \begin_inset Text
 620
 621 \begin_layout Plain Layout
 622 3
 623 \end_layout
 624
 625 \end_inset
 626 </cell>
 627 <cell alignment="center" valignment="top" rightline="true" usebox="none">
 628 \begin_inset Text
 629
 630 \begin_layout Plain Layout
 631 4
 632 \end_layout
 633
 634 \end_inset
 635 </cell>
 636 </row>
 637 <row>
 638 <cell alignment="center" valignment="top" leftline="true" rightline="true" usebox="none">
 639 \begin_inset Text
 640
 641 \begin_layout Plain Layout
 642 2
 643 \end_layout
 644
 645 \end_inset
 646 </cell>
 647 <cell alignment="center" valignment="top" usebox="none">
 648 \begin_inset Text
 649
 650 \begin_layout Plain Layout
 651 2
 652 \end_layout
 653
 654 \end_inset
 655 </cell>
 656 <cell alignment="center" valignment="top" usebox="none">
 657 \begin_inset Text
 658
 659 \begin_layout Plain Layout
 660 4
 661 \end_layout
 662
 663 \end_inset
 664 </cell>
 665 <cell alignment="center" valignment="top" usebox="none">
 666 \begin_inset Text
 667
 668 \begin_layout Plain Layout
 669 6
 670 \end_layout
 671
 672 \end_inset
 673 </cell>
 674 <cell alignment="center" valignment="top" rightline="true" usebox="none">
 675 \begin_inset Text
 676
 677 \begin_layout Plain Layout
 678 8
 679 \end_layout
 680
 681 \end_inset
 682 </cell>
 683 </row>
 684 <row>
 685 <cell alignment="center" valignment="top" leftline="true" rightline="true" usebox="none">
 686 \begin_inset Text
 687
 688 \begin_layout Plain Layout
 689 3
 690 \end_layout
 691
 692 \end_inset
 693 </cell>
 694 <cell alignment="center" valignment="top" usebox="none">
 695 \begin_inset Text
 696
 697 \begin_layout Plain Layout
 698 3
 699 \end_layout
 700
 701 \end_inset
 702 </cell>
 703 <cell alignment="center" valignment="top" usebox="none">
 704 \begin_inset Text
 705
 706 \begin_layout Plain Layout
 707 6
 708 \end_layout
 709
 710 \end_inset
 711 </cell>
 712 <cell alignment="center" valignment="top" usebox="none">
 713 \begin_inset Text
 714
 715 \begin_layout Plain Layout
 716 9
 717 \end_layout
 718
 719 \end_inset
 720 </cell>
 721 <cell alignment="center" valignment="top" rightline="true" usebox="none">
 722 \begin_inset Text
 723
 724 \begin_layout Plain Layout
 725 12
 726 \end_layout
 727
 728 \end_inset
 729 </cell>
 730 </row>
 731 <row>
 732 <cell alignment="center" valignment="top" leftline="true" rightline="true" usebox="none">
 733 \begin_inset Text
 734
 735 \begin_layout Plain Layout
 736 4
 737 \end_layout
 738
 739 \end_inset
 740 </cell>
 741 <cell alignment="center" valignment="top" usebox="none">
 742 \begin_inset Text
 743
 744 \begin_layout Plain Layout
 745 4
 746 \end_layout
 747
 748 \end_inset
 749 </cell>
 750 <cell alignment="center" valignment="top" usebox="none">
 751 \begin_inset Text
 752
 753 \begin_layout Plain Layout
 754 8
 755 \end_layout
 756
 757 \end_inset
 758 </cell>
 759 <cell alignment="center" valignment="top" usebox="none">
 760 \begin_inset Text
 761
 762 \begin_layout Plain Layout
 763 12
 764 \end_layout
 765
 766 \end_inset
 767 </cell>
 768 <cell alignment="center" valignment="top" rightline="true" usebox="none">
 769 \begin_inset Text
 770
 771 \begin_layout Plain Layout
 772 16
 773 \end_layout
 774
 775 \end_inset
 776 </cell>
 777 </row>
 778 <row>
 779 <cell alignment="center" valignment="top" bottomline="true" leftline="true" rightline="true" usebox="none">
 780 \begin_inset Text
 781
 782 \begin_layout Plain Layout
 783 5
 784 \end_layout
 785
 786 \end_inset
 787 </cell>
 788 <cell alignment="center" valignment="top" bottomline="true" usebox="none">
 789 \begin_inset Text
 790
 791 \begin_layout Plain Layout
 792 5
 793 \end_layout
 794
 795 \end_inset
 796 </cell>
 797 <cell alignment="center" valignment="top" bottomline="true" usebox="none">
 798 \begin_inset Text
 799
 800 \begin_layout Plain Layout
 801 10
 802 \end_layout
 803
 804 \end_inset
 805 </cell>
 806 <cell alignment="center" valignment="top" bottomline="true" usebox="none">
 807 \begin_inset Text
 808
 809 \begin_layout Plain Layout
 810 15
 811 \end_layout
 812
 813 \end_inset
 814 </cell>
 815 <cell alignment="center" valignment="top" bottomline="true" rightline="true" usebox="none">
 816 \begin_inset Text
 817
 818 \begin_layout Plain Layout
 819 20
 820 \end_layout
 821
 822 \end_inset
 823 </cell>
 824 </row>
 825 </lyxtabular>
 826
 827 \end_inset
 828
 829
 830 \end_layout
 831
 832 \end_inset
 833
 834
 835 \begin_inset space \hfill{}
 836 \end_inset
 837
 838
 839 \end_layout
 840
 841 \end_inset
 842
 843
 844 \end_layout
 845
 846 \begin_layout Section
 847 Text side-by-side
 848 \end_layout
 849
 850 \begin_layout Standard
 851 \begin_inset Float figure
 852 placement H
 853 wide false
 854 sideways false
 855 status open
 856
 857 \begin_layout Plain Layout
 858 \begin_inset space \hfill{}
 859 \end_inset
 860
 861
 862 \begin_inset Flex Minipage (Var. Width)
 863 status open
 864
 865 \begin_layout Plain Layout
 866 \begin_inset Argument 1
 867 status open
 868
 869 \begin_layout Plain Layout
 870 b
 871 \end_layout
 872
 873 \end_inset
 874
 875
 876 \begin_inset Formula $\begin{aligned}M\Coloneqq x\mid\lambda xM\mid MN\end{aligned}
 877 $
 878 \end_inset
 879
 880
 881 \begin_inset Newline newline
 882 \end_inset
 883
 884 (Subject to
 885 \emph on
 886
 887 \begin_inset Formula $\alpha$
 888 \end_inset
 889
 890 -equivalence
 891 \emph default
 892 )
 893 \end_layout
 894
 895 \begin_layout Plain Layout
 896 \begin_inset Caption Standard
 897
 898 \begin_layout Plain Layout
 899 Terms
 900 \end_layout
 901
 902 \end_inset
 903
 904
 905 \end_layout
 906
 907 \end_inset
 908
 909
 910 \begin_inset space \hfill{}
 911 \end_inset
 912
 913
 914 \begin_inset space \hfill{}
 915 \end_inset
 916
 917
 918 \begin_inset Flex Minipage (Var. Width)
 919 status open
 920
 921 \begin_layout Plain Layout
 922 \begin_inset Argument 1
 923 status open
 924
 925 \begin_layout Plain Layout
 926 b
 927 \end_layout
 928
 929 \end_inset
 930
 931
 932 \begin_inset Formula $\begin{aligned}(\lambda xM)N & \rightarrow M[N/x]\\
 933 \lambda x(Mx) & \rightarrow M
 934 \end{aligned}
 935 $
 936 \end_inset
 937
 938
 939 \begin_inset Caption Standard
 940
 941 \begin_layout Plain Layout
 942 Reduction
 943 \end_layout
 944
 945 \end_inset
 946
 947
 948 \end_layout
 949
 950 \end_inset
 951
 952
 953 \begin_inset space \hfill{}
 954 \end_inset
 955
 956
 957 \end_layout
 958
 959 \end_inset
 960
 961
 962 \end_layout
 963
 964 \end_body
 965 \end_document