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