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

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