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