src/tex2lyx/test/test-refstyle-references.lyx.lyx

   1 #LyX file created by tex2lyx 2.1.0dev
   2 \lyxformat 459
   3 \begin_document
   4 \begin_header
   5 \textclass book
   6 \begin_preamble
   7
   8 \usepackage{refstyle}
   9
  10
  11
  12
  13 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% LyX specific LaTeX commands.
  14
  15 \AtBeginDocument{\providecommand{\partref}[1]{\ref{part:#1}}}
  16 \AtBeginDocument{\providecommand{\chapref}[1]{\ref{chap:#1}}}
  17 \AtBeginDocument{\providecommand{\secref}[1]{\ref{sec:#1}}}
  18 \AtBeginDocument{\providecommand{\subref}[1]{\ref{sub:#1}}}
  19 \AtBeginDocument{\providecommand{\parref}[1]{\ref{par:#1}}}
  20 \AtBeginDocument{\providecommand{\figref}[1]{\ref{fig:#1}}}
  21 \AtBeginDocument{\providecommand{\tabref}[1]{\ref{tab:#1}}}
  22 \AtBeginDocument{\providecommand{\algref}[1]{\ref{alg:#1}}}
  23 \AtBeginDocument{\providecommand{\fnref}[1]{\ref{fn:#1}}}
  24 \AtBeginDocument{\providecommand{\enuref}[1]{\ref{enu:#1}}}
  25 \AtBeginDocument{\providecommand{\eqref}[1]{\ref{eq:#1}}}
  26 \AtBeginDocument{\providecommand{\lemref}[1]{\ref{lem:#1}}}
  27 \AtBeginDocument{\providecommand{\thmref}[1]{\ref{thm:#1}}}
  28 \AtBeginDocument{\providecommand{\corref}[1]{\ref{cor:#1}}}
  29 \AtBeginDocument{\providecommand{\propref}[1]{\ref{prop:#1}}}
  30 \floatstyle{ruled}
  31 \newfloat{algorithm}{tbp}{loa}[chapter]
  32 \providecommand{\algorithmname}{Algorithm}
  33 \floatname{algorithm}{\protect\algorithmname}
  34 \RS@ifundefined{subref}
  35   {\def\RSsubtxt{section~}\newref{sub}{name = \RSsubtxt}}
  36   {}
  37 \RS@ifundefined{thmref}
  38   {\def\RSthmtxt{theorem~}\newref{thm}{name = \RSthmtxt}}
  39   {}
  40 \RS@ifundefined{lemref}
  41   {\def\RSlemtxt{lemma~}\newref{lem}{name = \RSlemtxt}}
  42   {}
  43
  44
  45 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% Textclass specific LaTeX commands.
  46 \theoremstyle{plain}
  47 \newtheorem{thm}{}\theoremstyle{plain}
  48 \newtheorem{lem}[thm]{}\theoremstyle{plain}
  49 \newtheorem{cor}[thm]{}\theoremstyle{plain}
  50 \newtheorem{prop}[thm]{}\theoremstyle{plain}
  51 \newtheorem{conjecture}[thm]{}\theoremstyle{plain}
  52 \newtheorem{fact}[thm]{}\theoremstyle{definition}
  53 \newtheorem{defn}[thm]{}\theoremstyle{definition}
  54 \newtheorem{example}[thm]{}\theoremstyle{definition}
  55 \newtheorem{problem}[thm]{}\theoremstyle{definition}
  56 \newtheorem{xca}[thm]{}\theoremstyle{remark}
  57 \newtheorem{rem}[thm]{}\theoremstyle{remark}
  58 \newtheorem{claim}[thm]{}\ifx\proof\undefined
  59 \newenvironment{proof}[1][\protect\proofname]{\par
  60 \normalfont\topsep6\p@\@plus6\p@\relax
  61 \trivlist
  62 \itemindent\parindent
  63 \item[\hskip\labelsep\scshape #1]\ignorespaces
  64 }{%
  65 \endtrivlist\@endpefalse
  66 }
  67 \providecommand{\proofname}{Proof}
  68 \fi
  69
  70
  71
  72 \usepackage{babel}
  73 \providecommand{\claimname}{Claim}
  74 \providecommand{\conjecturename}{Conjecture}
  75 \providecommand{\corollaryname}{Corollary}
  76 \providecommand{\definitionname}{Definition}
  77 \providecommand{\examplename}{Example}
  78 \providecommand{\exercisename}{Exercise}
  79 \providecommand{\factname}{Fact}
  80 \providecommand{\lemmaname}{Lemma}
  81 \providecommand{\problemname}{Problem}
  82 \providecommand{\propositionname}{Proposition}
  83 \providecommand{\remarkname}{Remark}
  84 \providecommand{\theoremname}{Theorem}
  85
  86
  87 \end_preamble
  88 \use_default_options false
  89 \begin_modules
  90 theorems-ams
  91 \end_modules
  92 \maintain_unincluded_children false
  93 \language english
  94 \language_package default
  95 \inputencoding latin9
  96 \fontencoding T1
  97 \font_roman default
  98 \font_sans default
  99 \font_typewriter default
 100 \font_math auto
 101 \font_default_family default
 102 \use_non_tex_fonts false
 103 \font_sc false
 104 \font_osf false
 105 \font_sf_scale 100
 106 \font_tt_scale 100
 107 \graphics default
 108 \default_output_format default
 109 \output_sync 0
 110 \bibtex_command default
 111 \index_command default
 112 \paperfontsize default
 113 \spacing single
 114 \use_hyperref false
 115 \papersize default
 116 \use_geometry false
 117 \use_package amsmath 1
 118 \use_package amssymb 0
 119 \use_package esint 1
 120 \use_package mathdots 0
 121 \use_package mathtools 0
 122 \use_package mhchem 0
 123 \use_package stackrel 0
 124 \use_package stmaryrd 0
 125 \use_package undertilde 0
 126 \cite_engine basic
 127 \cite_engine_type numerical
 128 \biblio_style plain
 129 \use_bibtopic false
 130 \use_indices false
 131 \paperorientation portrait
 132 \suppress_date false
 133 \justification true
 134 \use_refstyle 1
 135 \index Index
 136 \shortcut idx
 137 \color #008000
 138 \end_index
 139 \secnumdepth 3
 140 \tocdepth 3
 141 \paragraph_separation indent
 142 \paragraph_indentation default
 143 \quotes_language english
 144 \papercolumns 1
 145 \papersides 2
 146 \paperpagestyle default
 147 \tracking_changes false
 148 \output_changes false
 149 \html_math_output 0
 150 \html_css_as_file 0
 151 \html_be_strict false
 152 \end_header
 153
 154 \begin_body
 155
 156 \begin_layout Part
 157 part
 158 \begin_inset CommandInset label
 159 LatexCommand label
 160 name "part:part"
 161
 162 \end_inset
 163
 164
 165 \end_layout
 166
 167 \begin_layout Standard
 168
 169 \begin_inset CommandInset ref
 170 LatexCommand formatted
 171 reference "part:part"
 172
 173 \end_inset
 174
 175
 176 \end_layout
 177
 178 \begin_layout Chapter
 179 chapter
 180 \begin_inset CommandInset label
 181 LatexCommand label
 182 name "chap:chapter"
 183
 184 \end_inset
 185
 186
 187 \end_layout
 188
 189 \begin_layout Standard
 190
 191 \begin_inset CommandInset ref
 192 LatexCommand formatted
 193 reference "chap:chapter"
 194
 195 \end_inset
 196
 197
 198 \end_layout
 199
 200 \begin_layout Section
 201 Section
 202 \begin_inset CommandInset label
 203 LatexCommand label
 204 name "sec:Section"
 205
 206 \end_inset
 207
 208
 209 \end_layout
 210
 211 \begin_layout Standard
 212
 213 \begin_inset CommandInset ref
 214 LatexCommand formatted
 215 reference "sec:Section"
 216
 217 \end_inset
 218
 219
 220 \end_layout
 221
 222 \begin_layout Subsection
 223 Subsection
 224 \begin_inset CommandInset label
 225 LatexCommand label
 226 name "sub:subsection"
 227
 228 \end_inset
 229
 230
 231 \end_layout
 232
 233 \begin_layout Standard
 234 Ref to
 235 \begin_inset CommandInset ref
 236 LatexCommand formatted
 237 reference "sub:subsection"
 238
 239 \end_inset
 240
 241 .
 242 \end_layout
 243
 244 \begin_layout Subsubsection
 245 Subsubsection
 246 \begin_inset CommandInset label
 247 LatexCommand label
 248 name "sub:Subsubsection"
 249
 250 \end_inset
 251
 252
 253 \end_layout
 254
 255 \begin_layout Standard
 256 Ref to
 257 \begin_inset CommandInset ref
 258 LatexCommand formatted
 259 reference "sub:Subsubsection"
 260
 261 \end_inset
 262
 263 .
 264 \end_layout
 265
 266 \begin_layout Paragraph
 267 paragraph
 268 \begin_inset CommandInset label
 269 LatexCommand label
 270 name "par:paragraph"
 271
 272 \end_inset
 273
 274
 275 \end_layout
 276
 277 \begin_layout Standard
 278
 279 \begin_inset CommandInset ref
 280 LatexCommand formatted
 281 reference "par:paragraph"
 282
 283 \end_inset
 284
 285
 286 \end_layout
 287
 288 \begin_layout Subparagraph
 289 subparagraph
 290 \begin_inset CommandInset label
 291 LatexCommand label
 292 name "par:subparagraph"
 293
 294 \end_inset
 295
 296
 297 \end_layout
 298
 299 \begin_layout Standard
 300
 301 \begin_inset CommandInset ref
 302 LatexCommand formatted
 303 reference "par:subparagraph"
 304
 305 \end_inset
 306
 307
 308 \end_layout
 309
 310 \begin_layout Standard
 311
 312 \begin_inset Float figure
 313 wide false
 314 sideways false
 315 status open
 316
 317
 318 \begin_layout Standard
 319
 320 \begin_inset ERT
 321 status collapsed
 322
 323 \begin_layout Plain Layout
 324
 325 \backslash
 326 protect
 327 \end_layout
 328
 329 \end_inset
 330
 331
 332 \begin_inset Caption Standard
 333
 334 \begin_layout Standard
 335 figure
 336 \begin_inset CommandInset label
 337 LatexCommand label
 338 name "fig:figure"
 339
 340 \end_inset
 341
 342
 343 \end_layout
 344
 345 \end_inset
 346
 347
 348 \end_layout
 349
 350 \end_inset
 351
 352
 353 \end_layout
 354
 355 \begin_layout Standard
 356
 357 \begin_inset CommandInset ref
 358 LatexCommand formatted
 359 reference "fig:figure"
 360
 361 \end_inset
 362
 363
 364 \end_layout
 365
 366 \begin_layout Standard
 367
 368 \begin_inset Float table
 369 wide false
 370 sideways false
 371 status open
 372
 373
 374 \begin_layout Standard
 375
 376 \begin_inset ERT
 377 status collapsed
 378
 379 \begin_layout Plain Layout
 380
 381 \backslash
 382 protect
 383 \end_layout
 384
 385 \end_inset
 386
 387
 388 \begin_inset Caption Standard
 389
 390 \begin_layout Standard
 391 table
 392 \begin_inset CommandInset label
 393 LatexCommand label
 394 name "tab:table"
 395
 396 \end_inset
 397
 398
 399 \end_layout
 400
 401 \end_inset
 402
 403
 404 \end_layout
 405
 406 \end_inset
 407
 408
 409 \end_layout
 410
 411 \begin_layout Standard
 412
 413 \begin_inset CommandInset ref
 414 LatexCommand formatted
 415 reference "tab:table"
 416
 417 \end_inset
 418
 419
 420 \end_layout
 421
 422 \begin_layout Standard
 423
 424 \begin_inset Float algorithm
 425 wide false
 426 sideways false
 427 status open
 428
 429
 430 \begin_layout Standard
 431
 432 \begin_inset ERT
 433 status collapsed
 434
 435 \begin_layout Plain Layout
 436
 437 \backslash
 438 protect
 439 \end_layout
 440
 441 \end_inset
 442
 443
 444 \begin_inset Caption Standard
 445
 446 \begin_layout Standard
 447 algorithm
 448 \begin_inset CommandInset label
 449 LatexCommand label
 450 name "alg:algorithm"
 451
 452 \end_inset
 453
 454
 455 \end_layout
 456
 457 \end_inset
 458
 459
 460 \end_layout
 461
 462 \end_inset
 463
 464
 465 \end_layout
 466
 467 \begin_layout Standard
 468
 469 \begin_inset CommandInset ref
 470 LatexCommand formatted
 471 reference "alg:algorithm"
 472
 473 \end_inset
 474
 475
 476 \end_layout
 477
 478 \begin_layout Standard
 479
 480 \begin_inset Foot
 481 status collapsed
 482
 483
 484 \begin_layout Standard
 485 foot
 486 \begin_inset CommandInset label
 487 LatexCommand label
 488 name "fn:foot"
 489
 490 \end_inset
 491
 492
 493 \end_layout
 494
 495 \end_inset
 496
 497
 498 \end_layout
 499
 500 \begin_layout Standard
 501
 502 \begin_inset CommandInset ref
 503 LatexCommand formatted
 504 reference "fn:foot"
 505
 506 \end_inset
 507
 508
 509 \end_layout
 510
 511 \begin_layout Standard
 512
 513 \begin_inset Marginal
 514 status collapsed
 515
 516
 517 \begin_layout Standard
 518 margin
 519 \begin_inset CommandInset label
 520 LatexCommand label
 521 name "margin"
 522
 523 \end_inset
 524
 525
 526 \end_layout
 527
 528 \end_inset
 529
 530
 531 \end_layout
 532
 533 \begin_layout Standard
 534
 535 \begin_inset CommandInset ref
 536 LatexCommand ref
 537 reference "margin"
 538
 539 \end_inset
 540
 541
 542 \end_layout
 543
 544 \begin_layout Enumerate
 545 item
 546 \begin_inset CommandInset label
 547 LatexCommand label
 548 name "enu:item"
 549
 550 \end_inset
 551
 552
 553 \end_layout
 554
 555 \begin_layout Standard
 556
 557 \begin_inset CommandInset ref
 558 LatexCommand formatted
 559 reference "enu:item"
 560
 561 \end_inset
 562
 563
 564 \end_layout
 565
 566 \begin_layout Standard
 567
 568 \begin_inset Formula \begin{equation}
 569 A=B\label{eq:A=00003DB}
 570 \end{equation}
 571 \end_inset
 572
 573
 574 \end_layout
 575
 576 \begin_layout Standard
 577
 578 \begin_inset CommandInset ref
 579 LatexCommand formatted
 580 reference "eq:A=00003DB"
 581
 582 \end_inset
 583
 584
 585 \end_layout
 586
 587 \begin_layout Lemma
 588 lemma
 589 \begin_inset CommandInset label
 590 LatexCommand label
 591 name "lem:lemma"
 592
 593 \end_inset
 594
 595
 596 \end_layout
 597
 598 \begin_layout Lemma
 599
 600 \begin_inset CommandInset ref
 601 LatexCommand formatted
 602 reference "lem:lemma"
 603
 604 \end_inset
 605
 606
 607 \end_layout
 608
 609 \begin_layout Theorem
 610 theorem
 611 \begin_inset CommandInset label
 612 LatexCommand label
 613 name "thm:theorem"
 614
 615 \end_inset
 616
 617
 618 \end_layout
 619
 620 \begin_layout Theorem
 621
 622 \begin_inset CommandInset ref
 623 LatexCommand formatted
 624 reference "thm:theorem"
 625
 626 \end_inset
 627
 628
 629 \end_layout
 630
 631 \begin_layout Corollary
 632 corollary
 633 \begin_inset CommandInset label
 634 LatexCommand label
 635 name "cor:corollary"
 636
 637 \end_inset
 638
 639
 640 \end_layout
 641
 642 \begin_layout Corollary
 643
 644 \begin_inset CommandInset ref
 645 LatexCommand formatted
 646 reference "cor:corollary"
 647
 648 \end_inset
 649
 650
 651 \end_layout
 652
 653 \begin_layout Proposition
 654 proposition
 655 \begin_inset CommandInset label
 656 LatexCommand label
 657 name "prop:proposition"
 658
 659 \end_inset
 660
 661
 662 \end_layout
 663
 664 \begin_layout Proposition
 665
 666 \begin_inset CommandInset ref
 667 LatexCommand formatted
 668 reference "prop:proposition"
 669
 670 \end_inset
 671
 672
 673 \end_layout
 674
 675 \begin_layout Conjecture
 676 conjecture
 677 \begin_inset CommandInset label
 678 LatexCommand label
 679 name "conjecture"
 680
 681 \end_inset
 682
 683
 684 \end_layout
 685
 686 \begin_layout Conjecture
 687
 688 \begin_inset CommandInset ref
 689 LatexCommand ref
 690 reference "conjecture"
 691
 692 \end_inset
 693
 694
 695 \end_layout
 696
 697 \begin_layout Fact
 698 fact
 699 \begin_inset CommandInset label
 700 LatexCommand label
 701 name "fact"
 702
 703 \end_inset
 704
 705
 706 \end_layout
 707
 708 \begin_layout Fact
 709
 710 \begin_inset CommandInset ref
 711 LatexCommand ref
 712 reference "fact"
 713
 714 \end_inset
 715
 716
 717 \end_layout
 718
 719 \begin_layout Definition
 720 definition
 721 \begin_inset CommandInset label
 722 LatexCommand label
 723 name "definition"
 724
 725 \end_inset
 726
 727
 728 \end_layout
 729
 730 \begin_layout Definition
 731
 732 \begin_inset CommandInset ref
 733 LatexCommand ref
 734 reference "definition"
 735
 736 \end_inset
 737
 738
 739 \end_layout
 740
 741 \begin_layout Example
 742 example
 743 \begin_inset CommandInset label
 744 LatexCommand label
 745 name "example"
 746
 747 \end_inset
 748
 749
 750 \end_layout
 751
 752 \begin_layout Example
 753
 754 \begin_inset CommandInset ref
 755 LatexCommand ref
 756 reference "example"
 757
 758 \end_inset
 759
 760
 761 \end_layout
 762
 763 \begin_layout Problem
 764 problem
 765 \begin_inset CommandInset label
 766 LatexCommand label
 767 name "problem"
 768
 769 \end_inset
 770
 771
 772 \end_layout
 773
 774 \begin_layout Problem
 775
 776 \begin_inset CommandInset ref
 777 LatexCommand ref
 778 reference "problem"
 779
 780 \end_inset
 781
 782
 783 \end_layout
 784
 785 \begin_layout Exercise
 786 exercise
 787 \begin_inset CommandInset label
 788 LatexCommand label
 789 name "exercise"
 790
 791 \end_inset
 792
 793
 794 \end_layout
 795
 796 \begin_layout Exercise
 797
 798 \begin_inset CommandInset ref
 799 LatexCommand ref
 800 reference "exercise"
 801
 802 \end_inset
 803
 804
 805 \end_layout
 806
 807 \begin_layout Remark
 808 remark
 809 \begin_inset CommandInset label
 810 LatexCommand label
 811 name "remark"
 812
 813 \end_inset
 814
 815
 816 \end_layout
 817
 818 \begin_layout Remark
 819
 820 \begin_inset CommandInset ref
 821 LatexCommand ref
 822 reference "remark"
 823
 824 \end_inset
 825
 826
 827 \end_layout
 828
 829 \begin_layout Claim
 830 claim
 831 \begin_inset CommandInset label
 832 LatexCommand label
 833 name "claim"
 834
 835 \end_inset
 836
 837
 838 \end_layout
 839
 840 \begin_layout Claim
 841
 842 \begin_inset CommandInset ref
 843 LatexCommand ref
 844 reference "claim"
 845
 846 \end_inset
 847
 848
 849 \end_layout
 850
 851 \begin_layout Proof
 852 proof
 853 \begin_inset CommandInset label
 854 LatexCommand label
 855 name "proof"
 856
 857 \end_inset
 858
 859
 860 \end_layout
 861
 862 \begin_layout Proof
 863
 864 \begin_inset CommandInset ref
 865 LatexCommand ref
 866 reference "proof"
 867
 868 \end_inset
 869
 870
 871 \end_layout
 872
 873 \end_body
 874 \end_document