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