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