lib/examples/Modules/Variable-width_Minipages.lyx

   1 #LyX 2.4 created this file. For more info see https://www.lyx.org/
   2 \lyxformat 600
   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_sans_osf false
  26 \font_typewriter_osf false
  27 \font_roman_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 \tracking_changes false
  79 \postpone_fragile_content false
  80 \output_changes false
  81 \html_math_output 0
  82 \html_css_as_file 0
  83 \html_be_strict false
  84 \end_header
  85
  86 \begin_body
  87
  88 \begin_layout Title
  89 Floats Side-by-Side using the Module
  90 \emph on
  91 Variable-width Minipages
  92 \end_layout
  93
  94 \begin_layout Standard
  95 \begin_inset Note Note
  96 status open
  97
  98 \begin_layout Plain Layout
  99 To view this file you need to have the \SpecialChar LaTeX
 100  package
 101 \family sans
 102 varwidth
 103 \family default
 104  installed.
 105  To compare with standard solution (Minipage Box) see Embedded Objects Manual.
 106 \end_layout
 107
 108 \end_inset
 109
 110
 111 \end_layout
 112
 113 \begin_layout Section
 114 Graphics side-by-side
 115 \end_layout
 116
 117 \begin_layout Standard
 118 \begin_inset Float figure
 119 placement H
 120 wide false
 121 sideways false
 122 status open
 123
 124 \begin_layout Plain Layout
 125 \begin_inset space \hfill{}
 126 \end_inset
 127
 128
 129 \begin_inset Flex Minipage (Var. Width)
 130 status open
 131
 132 \begin_layout Plain Layout
 133 \begin_inset Argument 1
 134 status open
 135
 136 \begin_layout Plain Layout
 137 t
 138 \end_layout
 139
 140 \end_inset
 141
 142
 143 \begin_inset Graphics
 144         filename ../../doc/clipart/3D-structure-distort.pdf
 145         lyxscale 66
 146         width 4cm
 147
 148 \end_inset
 149
 150
 151 \begin_inset Caption Standard
 152
 153 \begin_layout Plain Layout
 154 3D-structure-distort.pdf
 155 \end_layout
 156
 157 \end_inset
 158
 159
 160 \end_layout
 161
 162 \end_inset
 163
 164
 165 \begin_inset space \hfill{}
 166 \end_inset
 167
 168
 169 \begin_inset space \hfill{}
 170 \end_inset
 171
 172
 173 \begin_inset Flex Minipage (Var. Width)
 174 status open
 175
 176 \begin_layout Plain Layout
 177 \begin_inset Argument 1
 178 status open
 179
 180 \begin_layout Plain Layout
 181 t
 182 \end_layout
 183
 184 \end_inset
 185
 186
 187 \begin_inset Graphics
 188         filename ../../doc/clipart/Star-structure.pdf
 189         width 4cm
 190
 191 \end_inset
 192
 193
 194 \begin_inset Caption Standard
 195
 196 \begin_layout Plain Layout
 197 Star-structure.pdf
 198 \end_layout
 199
 200 \end_inset
 201
 202
 203 \end_layout
 204
 205 \end_inset
 206
 207
 208 \begin_inset space \hfill{}
 209 \end_inset
 210
 211
 212 \end_layout
 213
 214 \end_inset
 215
 216
 217 \end_layout
 218
 219 \begin_layout Section
 220 Tables side-by-side
 221 \end_layout
 222
 223 \begin_layout Standard
 224 \begin_inset Float table
 225 placement H
 226 wide false
 227 sideways false
 228 status open
 229
 230 \begin_layout Plain Layout
 231 \begin_inset space \hfill{}
 232 \end_inset
 233
 234
 235 \begin_inset Flex Minipage (Var. Width)
 236 status open
 237
 238 \begin_layout Plain Layout
 239 \begin_inset Argument 1
 240 status open
 241
 242 \begin_layout Plain Layout
 243 t
 244 \end_layout
 245
 246 \end_inset
 247
 248
 249 \begin_inset Caption Standard
 250
 251 \begin_layout Plain Layout
 252 Addition
 253 \end_layout
 254
 255 \end_inset
 256
 257
 258 \end_layout
 259
 260 \begin_layout Plain Layout
 261 \begin_inset Tabular
 262 <lyxtabular version="3" rows="5" columns="5">
 263 <features tabularvalignment="middle">
 264 <column alignment="center" valignment="top" width="0pt">
 265 <column alignment="center" valignment="top">
 266 <column alignment="center" valignment="top">
 267 <column alignment="center" valignment="top">
 268 <column alignment="center" valignment="top">
 269 <row>
 270 <cell alignment="center" valignment="top" topline="true" bottomline="true" leftline="true" rightline="true" usebox="none">
 271 \begin_inset Text
 272
 273 \begin_layout Plain Layout
 274
 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 1
 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 2
 293 \end_layout
 294
 295 \end_inset
 296 </cell>
 297 <cell alignment="center" valignment="top" topline="true" bottomline="true" usebox="none">
 298 \begin_inset Text
 299
 300 \begin_layout Plain Layout
 301 3
 302 \end_layout
 303
 304 \end_inset
 305 </cell>
 306 <cell alignment="center" valignment="top" topline="true" bottomline="true" rightline="true" usebox="none">
 307 \begin_inset Text
 308
 309 \begin_layout Plain Layout
 310 4
 311 \end_layout
 312
 313 \end_inset
 314 </cell>
 315 </row>
 316 <row>
 317 <cell alignment="center" valignment="top" leftline="true" rightline="true" usebox="none">
 318 \begin_inset Text
 319
 320 \begin_layout Plain Layout
 321 1
 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 2
 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 3
 340 \end_layout
 341
 342 \end_inset
 343 </cell>
 344 <cell alignment="center" valignment="top" usebox="none">
 345 \begin_inset Text
 346
 347 \begin_layout Plain Layout
 348 4
 349 \end_layout
 350
 351 \end_inset
 352 </cell>
 353 <cell alignment="center" valignment="top" rightline="true" usebox="none">
 354 \begin_inset Text
 355
 356 \begin_layout Plain Layout
 357 5
 358 \end_layout
 359
 360 \end_inset
 361 </cell>
 362 </row>
 363 <row>
 364 <cell alignment="center" valignment="top" leftline="true" rightline="true" usebox="none">
 365 \begin_inset Text
 366
 367 \begin_layout Plain Layout
 368 2
 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 3
 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 4
 387 \end_layout
 388
 389 \end_inset
 390 </cell>
 391 <cell alignment="center" valignment="top" usebox="none">
 392 \begin_inset Text
 393
 394 \begin_layout Plain Layout
 395 5
 396 \end_layout
 397
 398 \end_inset
 399 </cell>
 400 <cell alignment="center" valignment="top" rightline="true" usebox="none">
 401 \begin_inset Text
 402
 403 \begin_layout Plain Layout
 404 6
 405 \end_layout
 406
 407 \end_inset
 408 </cell>
 409 </row>
 410 <row>
 411 <cell alignment="center" valignment="top" leftline="true" rightline="true" usebox="none">
 412 \begin_inset Text
 413
 414 \begin_layout Plain Layout
 415 3
 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 4
 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 5
 434 \end_layout
 435
 436 \end_inset
 437 </cell>
 438 <cell alignment="center" valignment="top" usebox="none">
 439 \begin_inset Text
 440
 441 \begin_layout Plain Layout
 442 6
 443 \end_layout
 444
 445 \end_inset
 446 </cell>
 447 <cell alignment="center" valignment="top" rightline="true" usebox="none">
 448 \begin_inset Text
 449
 450 \begin_layout Plain Layout
 451 7
 452 \end_layout
 453
 454 \end_inset
 455 </cell>
 456 </row>
 457 <row>
 458 <cell alignment="center" valignment="top" bottomline="true" leftline="true" rightline="true" usebox="none">
 459 \begin_inset Text
 460
 461 \begin_layout Plain Layout
 462 4
 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 5
 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 6
 481 \end_layout
 482
 483 \end_inset
 484 </cell>
 485 <cell alignment="center" valignment="top" bottomline="true" usebox="none">
 486 \begin_inset Text
 487
 488 \begin_layout Plain Layout
 489 7
 490 \end_layout
 491
 492 \end_inset
 493 </cell>
 494 <cell alignment="center" valignment="top" bottomline="true" rightline="true" usebox="none">
 495 \begin_inset Text
 496
 497 \begin_layout Plain Layout
 498 8
 499 \end_layout
 500
 501 \end_inset
 502 </cell>
 503 </row>
 504 </lyxtabular>
 505
 506 \end_inset
 507
 508
 509 \end_layout
 510
 511 \end_inset
 512
 513
 514 \begin_inset space \hfill{}
 515 \end_inset
 516
 517
 518 \begin_inset space \hfill{}
 519 \end_inset
 520
 521
 522 \begin_inset Flex Minipage (Var. Width)
 523 status open
 524
 525 \begin_layout Plain Layout
 526 \begin_inset Argument 1
 527 status open
 528
 529 \begin_layout Plain Layout
 530 t
 531 \end_layout
 532
 533 \end_inset
 534
 535
 536 \begin_inset Caption Standard
 537
 538 \begin_layout Plain Layout
 539 Multiplication
 540 \end_layout
 541
 542 \end_inset
 543
 544
 545 \end_layout
 546
 547 \begin_layout Plain Layout
 548 \begin_inset Tabular
 549 <lyxtabular version="3" rows="6" columns="5">
 550 <features tabularvalignment="middle">
 551 <column alignment="center" valignment="top" width="0pt">
 552 <column alignment="center" valignment="top">
 553 <column alignment="center" valignment="top">
 554 <column alignment="center" valignment="top">
 555 <column alignment="center" valignment="top">
 556 <row>
 557 <cell alignment="center" valignment="top" topline="true" bottomline="true" leftline="true" rightline="true" usebox="none">
 558 \begin_inset Text
 559
 560 \begin_layout Plain Layout
 561
 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 1
 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 2
 580 \end_layout
 581
 582 \end_inset
 583 </cell>
 584 <cell alignment="center" valignment="top" topline="true" bottomline="true" usebox="none">
 585 \begin_inset Text
 586
 587 \begin_layout Plain Layout
 588 3
 589 \end_layout
 590
 591 \end_inset
 592 </cell>
 593 <cell alignment="center" valignment="top" topline="true" bottomline="true" rightline="true" usebox="none">
 594 \begin_inset Text
 595
 596 \begin_layout Plain Layout
 597 4
 598 \end_layout
 599
 600 \end_inset
 601 </cell>
 602 </row>
 603 <row>
 604 <cell alignment="center" valignment="top" leftline="true" rightline="true" 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 1
 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 2
 627 \end_layout
 628
 629 \end_inset
 630 </cell>
 631 <cell alignment="center" valignment="top" usebox="none">
 632 \begin_inset Text
 633
 634 \begin_layout Plain Layout
 635 3
 636 \end_layout
 637
 638 \end_inset
 639 </cell>
 640 <cell alignment="center" valignment="top" rightline="true" usebox="none">
 641 \begin_inset Text
 642
 643 \begin_layout Plain Layout
 644 4
 645 \end_layout
 646
 647 \end_inset
 648 </cell>
 649 </row>
 650 <row>
 651 <cell alignment="center" valignment="top" leftline="true" rightline="true" 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 2
 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 4
 674 \end_layout
 675
 676 \end_inset
 677 </cell>
 678 <cell alignment="center" valignment="top" usebox="none">
 679 \begin_inset Text
 680
 681 \begin_layout Plain Layout
 682 6
 683 \end_layout
 684
 685 \end_inset
 686 </cell>
 687 <cell alignment="center" valignment="top" rightline="true" usebox="none">
 688 \begin_inset Text
 689
 690 \begin_layout Plain Layout
 691 8
 692 \end_layout
 693
 694 \end_inset
 695 </cell>
 696 </row>
 697 <row>
 698 <cell alignment="center" valignment="top" leftline="true" rightline="true" 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 3
 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 6
 721 \end_layout
 722
 723 \end_inset
 724 </cell>
 725 <cell alignment="center" valignment="top" usebox="none">
 726 \begin_inset Text
 727
 728 \begin_layout Plain Layout
 729 9
 730 \end_layout
 731
 732 \end_inset
 733 </cell>
 734 <cell alignment="center" valignment="top" rightline="true" usebox="none">
 735 \begin_inset Text
 736
 737 \begin_layout Plain Layout
 738 12
 739 \end_layout
 740
 741 \end_inset
 742 </cell>
 743 </row>
 744 <row>
 745 <cell alignment="center" valignment="top" leftline="true" rightline="true" 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 4
 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 8
 768 \end_layout
 769
 770 \end_inset
 771 </cell>
 772 <cell alignment="center" valignment="top" usebox="none">
 773 \begin_inset Text
 774
 775 \begin_layout Plain Layout
 776 12
 777 \end_layout
 778
 779 \end_inset
 780 </cell>
 781 <cell alignment="center" valignment="top" rightline="true" usebox="none">
 782 \begin_inset Text
 783
 784 \begin_layout Plain Layout
 785 16
 786 \end_layout
 787
 788 \end_inset
 789 </cell>
 790 </row>
 791 <row>
 792 <cell alignment="center" valignment="top" bottomline="true" leftline="true" rightline="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 5
 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 10
 815 \end_layout
 816
 817 \end_inset
 818 </cell>
 819 <cell alignment="center" valignment="top" bottomline="true" usebox="none">
 820 \begin_inset Text
 821
 822 \begin_layout Plain Layout
 823 15
 824 \end_layout
 825
 826 \end_inset
 827 </cell>
 828 <cell alignment="center" valignment="top" bottomline="true" rightline="true" usebox="none">
 829 \begin_inset Text
 830
 831 \begin_layout Plain Layout
 832 20
 833 \end_layout
 834
 835 \end_inset
 836 </cell>
 837 </row>
 838 </lyxtabular>
 839
 840 \end_inset
 841
 842
 843 \end_layout
 844
 845 \end_inset
 846
 847
 848 \begin_inset space \hfill{}
 849 \end_inset
 850
 851
 852 \end_layout
 853
 854 \end_inset
 855
 856
 857 \end_layout
 858
 859 \begin_layout Section
 860 Text side-by-side
 861 \end_layout
 862
 863 \begin_layout Standard
 864 \begin_inset Float figure
 865 placement H
 866 wide false
 867 sideways false
 868 status open
 869
 870 \begin_layout Plain Layout
 871 \begin_inset space \hfill{}
 872 \end_inset
 873
 874
 875 \begin_inset Flex Minipage (Var. Width)
 876 status open
 877
 878 \begin_layout Plain Layout
 879 \begin_inset Argument 1
 880 status open
 881
 882 \begin_layout Plain Layout
 883 b
 884 \end_layout
 885
 886 \end_inset
 887
 888
 889 \begin_inset Formula $\begin{aligned}M\Coloneqq x\mid\lambda xM\mid MN\end{aligned}
 890 $
 891 \end_inset
 892
 893
 894 \begin_inset Newline newline
 895 \end_inset
 896
 897 (Subject to
 898 \emph on
 899
 900 \begin_inset Formula $\alpha$
 901 \end_inset
 902
 903 -equivalence
 904 \emph default
 905 )
 906 \end_layout
 907
 908 \begin_layout Plain Layout
 909 \begin_inset Caption Standard
 910
 911 \begin_layout Plain Layout
 912 Terms
 913 \end_layout
 914
 915 \end_inset
 916
 917
 918 \end_layout
 919
 920 \end_inset
 921
 922
 923 \begin_inset space \hfill{}
 924 \end_inset
 925
 926
 927 \begin_inset space \hfill{}
 928 \end_inset
 929
 930
 931 \begin_inset Flex Minipage (Var. Width)
 932 status open
 933
 934 \begin_layout Plain Layout
 935 \begin_inset Argument 1
 936 status open
 937
 938 \begin_layout Plain Layout
 939 b
 940 \end_layout
 941
 942 \end_inset
 943
 944
 945 \begin_inset Formula $\begin{aligned}(\lambda xM)N & \rightarrow M[N/x]\\
 946 \lambda x(Mx) & \rightarrow M
 947 \end{aligned}
 948 $
 949 \end_inset
 950
 951
 952 \begin_inset Caption Standard
 953
 954 \begin_layout Plain Layout
 955 Reduction
 956 \end_layout
 957
 958 \end_inset
 959
 960
 961 \end_layout
 962
 963 \end_inset
 964
 965
 966 \begin_inset space \hfill{}
 967 \end_inset
 968
 969
 970 \end_layout
 971
 972 \end_inset
 973
 974
 975 \end_layout
 976
 977 \end_body
 978 \end_document