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