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