lib/examples/Modules/Variable-width_Minipages.lyx

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