diff options
41 files changed, 7582 insertions, 7 deletions
diff --git a/Master/texmf-dist/doc/latex/mil3/README b/Master/texmf-dist/doc/latex/mil3/README new file mode 100644 index 00000000000..f3a67546a10 --- /dev/null +++ b/Master/texmf-dist/doc/latex/mil3/README @@ -0,0 +1,8 @@ +Copyright 2000 George Gratzer. + +These are examples from the third edition of the book Math Into LaTeX. +The author gives unlimited permission to copy and/or distribute them, +with or without modifications, for any purpose. It is not necessary to +give any attribution or preserve this notice. + +See the file contents for a description of the files available. diff --git a/Master/texmf-dist/doc/latex/mil3/ams-alph.bst b/Master/texmf-dist/doc/latex/mil3/ams-alph.bst new file mode 100644 index 00000000000..88878e78adb --- /dev/null +++ b/Master/texmf-dist/doc/latex/mil3/ams-alph.bst @@ -0,0 +1,1384 @@ +% ams-alph.bst, a very minor alteration (these two lines of comment, plus +% seven uncapitalized crossref-related words). +%%% ==================================================================== +%%% @BibTeX-style-file{ +%%% filename = "amsalpha.bst", +%%% version = "1.2c", +%%% date = "1999/11/29", +%%% time = "13:36:00 EST", +%%% checksum = "35374 1382 4069 29372", +%%% author = "American Mathematical Society", +%%% address = "American Mathematical Society, +%%% Technical Support, +%%% Electronic Products and Services, +%%% P. O. Box 6248, +%%% Providence, RI 02940, +%%% USA", +%%% telephone = "401-455-4080 or (in the USA and Canada) +%%% 800-321-4AMS (321-4267)", +%%% FAX = "401-331-3842", +%%% email = "tech-support@ams.org (Internet)", +%%% copyright = "Copyright 1995 American Mathematical Society, +%%% all rights reserved. Copying of this file is +%%% authorized only if either: +%%% (1) you make absolutely no changes to your copy, +%%% including name; OR +%%% (2) if you do make changes, you first rename it +%%% to some other name.", +%%% codetable = "ISO/ASCII", +%%% keywords = "bibtex, bibliography, amslatex, ams-latex", +%%% supported = "yes", +%%% abstract = "BibTeX bibliography style `amsalpha' for BibTeX +%%% versions 0.99a or later and LaTeX version 2e. +%%% Produces alphabetic-label bibliography items in +%%% a form typical for American Mathematical Society +%%% publications.", +%%% docstring = "The checksum field above contains a CRC-16 +%%% checksum as the first value, followed by the +%%% equivalent of the standard UNIX wc (word +%%% count) utility output of lines, words, and +%%% characters. This is produced by Robert +%%% Solovay's checksum utility.", +%%% } +%%% ==================================================================== + +% See the file btxbst.doc for extra documentation other than +% what is included here. And see btxhak.tex for a description +% of the BibTeX language and how to use it. + +% This defines the types of fields that can occur in a database entry +% for this particular bibliography style. Except for `language', +% this is the standard list from alpha.bst. + +%% Types of entries currently allowed in a BibTeX file: +%% +%% ARTICLE -- An article from a journal or magazine. +%% +%% BOOK -- A book with an explicit publisher. +%% +%% BOOKLET -- A work that is printed and bound, +%% but without a named publisher or sponsoring institution. +%% +%% CONFERENCE -- The same as INPROCEEDINGS, +%% included for Scribe compatibility. +%% +%% INBOOK -- A part of a book, +%% which may be a chapter (or section or whatever) and/or a range of pages. +%% +%% INCOLLECTION -- A part of a book having its own title. +%% +%% INPROCEEDINGS -- An article in a conference proceedings. +%% +%% MANUAL -- Technical documentation. +%% +%% MASTERSTHESIS -- A Master's thesis. +%% +%% MISC -- Use this type when nothing else fits. +%% +%% PHDTHESIS -- A PhD thesis. +%% +%% PROCEEDINGS -- The proceedings of a conference. +%% +%% TECHREPORT -- A report published by a school or other institution, +%% usually numbered within a series. +%% +%% UNPUBLISHED -- A document having an author and title, but not formally +%% published. + +ENTRY + { address + author + booktitle + chapter + edition + editor + howpublished + institution + journal + key + language + month + note + number + organization + pages + publisher + school + series + title + type + volume + year + } + {} + { label extra.label sort.label } + +% Removed after.sentence, after.block---not needed. + +INTEGERS { output.state before.all mid.sentence } + +FUNCTION {init.state.consts} +{ #0 'before.all := + #1 'mid.sentence := +} + +% Scratch variables: + +STRINGS { s t } + +% Utility functions + +FUNCTION {shows} +{ duplicate$ ":::: `" swap$ * "'" * top$ +} + +FUNCTION {showstack} +{"STACK=====================================================================" +top$ +stack$ +"ENDSTACK==================================================================" +top$ +} + +FUNCTION {not} +{ { #0 } + { #1 } + if$ +} + +FUNCTION {and} +{ 'skip$ + { pop$ #0 } + if$ +} + +FUNCTION {or} +{ { pop$ #1 } + 'skip$ + if$ +} + +FUNCTION {field.or.null} +{ duplicate$ empty$ + { pop$ "" } + 'skip$ + if$ +} + +FUNCTION {emphasize} +{ duplicate$ empty$ + { pop$ "" } + { "\emph{" swap$ * "}" * } + if$ +} + +% n.dashify is used to make sure page ranges get the TeX code +% (two hyphens) for en-dashes. + +FUNCTION {n.dashify} +{ 't := + "" + { t empty$ not } + { t #1 #1 substring$ "-" = + { t #1 #2 substring$ "--" = not + { "--" * + t #2 global.max$ substring$ 't := + } + { { t #1 #1 substring$ "-" = } + { "-" * + t #2 global.max$ substring$ 't := + } + while$ + } + if$ + } + { t #1 #1 substring$ * + t #2 global.max$ substring$ 't := + } + if$ + } + while$ +} + +% tie.or.space.connect connects two items with a ~ if the +% second item is less than 3 letters long, otherwise it just puts an +% ordinary space. + +FUNCTION {tie.or.space.connect} +{ duplicate$ text.length$ #3 < + { "~" } + { " " } + if$ + swap$ * * +} + +FUNCTION {add.space.if.necessary} +{ duplicate$ "" = + 'skip$ + { " " * } + if$ +} + +% either.or.check gives a warning if two mutually exclusive fields +% were used in the database. + +FUNCTION {either.or.check} +{ empty$ + 'pop$ + { "can't use both " swap$ * " fields in " * cite$ * warning$ } + if$ +} + +% output.nonnull is called by output. + +FUNCTION {output.nonnull} +% remove the top item from the stack because it's in the way. +{ 's := + output.state mid.sentence = +% If we're in mid-sentence, add a comma to the new top item and write it + { ", " * write$ } +% Otherwise, if we're at the beginning of a bibitem, + { output.state before.all = +% just write out the top item from the stack; + 'write$ +% and the last alternative is that we're at the end of the current +% bibitem, so we add a period to the top stack item and write it out. + { add.period$ " " * write$ } + if$ + mid.sentence 'output.state := + } + if$ +% Put the top item back on the stack that we removed earlier. + s +} + +% Output checks to see if the stack top is empty; if not, it +% calls output.nonnull to write it out. + +FUNCTION {output} +{ duplicate$ empty$ + 'pop$ + 'output.nonnull + if$ +} + +% Standard warning message for a missing or empty field. For the user +% we call any such field `missing' without respect to the distinction +% made by BibTeX between missing and empty. + +FUNCTION {missing.warning} +{ "missing " swap$ * " in " * cite$ * warning$ } + +% Output.check is like output except that it gives a warning on-screen +% if the given field in the database entry is empty. t is the field +% name. + +FUNCTION {output.check} +{ 't := + duplicate$ empty$ + { pop$ t missing.warning } + 'output.nonnull + if$ +} + +FUNCTION {output.bibitem} +{ newline$ + "\bibitem[" write$ + label write$ + "]{" write$ + cite$ write$ + "}" write$ + newline$ +% This empty string is the first thing that will be written +% the next time write$ is called. Done this way because each +% item is saved on the stack until we find out what punctuation +% should be added after it. Therefore we need an empty first item. + "" + before.all 'output.state := +} + +FUNCTION {fin.entry} +{ add.period$ + write$ + newline$ +} + +% Removed new.block, new.block.checka, new.block.checkb, new.sentence, +% new.sentence.checka, and new.sentence.checkb functions here, since they +% don't seem to be needed in the AMS style. Also moved some real +% basic functions like `and' and 'or' earlier in the file. + +INTEGERS { nameptr namesleft numnames } + +% The extra section to write out a language field was added +% for AMSPLAIN.BST. Not present in plain.bst. + +FUNCTION {format.language} +{ language empty$ + { "" } + { " (" language * ")" * } + if$ +} + +% This version of format.names puts names in the format +% +% First von Last, Jr. +% +% (i.e., first name first, no abbreviating to initials). + +FUNCTION {format.names} +{ 's := + #1 'nameptr := + s num.names$ 'numnames := + numnames 'namesleft := + { namesleft #0 > } + { s nameptr "{ff~}{vv~}{ll}{, jj}" format.name$ 't := + nameptr #1 > + { namesleft #1 > + { ", " * t * } + { numnames #2 > + { "," * } + 'skip$ + if$ + t "others" = + { " et~al." * } + { " and " * t * } + if$ + } + if$ + } + 't + if$ + nameptr #1 + 'nameptr := + namesleft #1 - 'namesleft := + } + while$ +} + +FUNCTION {format.authors} +{ author empty$ + { "" } + { extra.label "\bysame" = + {"\bysame"} + { author format.names } + if$ + } + if$ +} + +FUNCTION {format.editors} +{ editor empty$ + { "" } + { editor format.names + editor num.names$ #1 > + { " (eds.)" * } + { " (ed.)" * } + if$ + } + if$ +} + +FUNCTION {format.nonauthor.editors} +{ editor empty$ + { "" } + { editor format.names + editor num.names$ #1 > + { ", eds." * } + { ", ed." * } + if$ + } + if$ +} + +FUNCTION {format.title} +{ title empty$ + { "" } + { title "t" change.case$ emphasize } + if$ +} + +FUNCTION {format.journal.vol.year} +{ journal empty$ + { "" "journal name" missing.warning } + { journal + volume empty$ + 'skip$ + { " \textbf{" * volume * "}" * } + if$ + year empty$ + { "year" missing.warning } + { " (" * year * ")" * } + if$ + } + if$ +} + +% For formatting the issue number for a journal article. + +FUNCTION {format.number} +{ number empty$ + { "" } + { "no.~" number * } + if$ +} + +% For formatting miscellaneous dates + +FUNCTION {format.date} +{ year empty$ + { month empty$ + { "" } + { "there's a month but no year in " cite$ * warning$ + month + } + if$ + } + { month empty$ + 'year + { month " " * year * } + if$ + } + if$ +} + +%% The volume, series and number information is sort of tricky. +%% This code handles it as follows: +%% If the series is present, and the volume, but not the number, +%% then we do "\emph{Book title}, Series Name, vol. 000" +%% If the series is present, and the number, but not the volume, +%% then we do "\emph{Book title}, Series Name, no. 000" +%% If the series is present, and both number and volume, +%% then we do "\emph{Book title}, vol. XX, Series Name, no. 000" +%% Finally, if the series is absent, +%% then we do "\emph{Book title}, vol. XX" +%% or "\emph{Book title}, no. 000" +%% and if both volume and number are present, give a warning message. + +FUNCTION {format.bookvolume.series.number} +{ volume empty$ + { "" % Push the empty string as a placeholder in case everything else + % is empty too. + series empty$ + 'skip$ + { pop$ series } % if series is not empty put in stack + if$ + number empty$ + 'skip$ + { duplicate$ empty$ % if no preceding material, + 'skip$ % do nothing, otherwise + { ", " * } % add a comma and space to separate. + if$ + "no." number tie.or.space.connect * % add the number information + } + if$ + } +%% If the volume is NOT EMPTY: + { "vol." volume tie.or.space.connect % vol. XX + number empty$ + { series empty$ + 'skip$ + { series ", " * swap$ *} % Series Name, vol. XX + if$ + } + { series empty$ + { "can't use both volume and number if series info is missing" + warning$ + "in BibTeX entry type `" type$ * "'" * top$ + } + { ", " * series * ", no." * number tie.or.space.connect } + if$ + } + if$ + } + if$ + +} % end of format.bookvolume.series.number + +%% format.inproc.title.where.editors is used by inproceedings entry types + +%% No case changing or emphasizing for the title. We want initial +%% caps, roman. +%% We add parentheses around the address (place where conference +%% was held). +%% Likewise we add parentheses around the editors' names. + +FUNCTION {format.inproc.title.address.editors} +{ booktitle empty$ + { "" } + { booktitle + address empty$ + 'skip$ + { add.space.if.necessary "(" * address * ")" * } + if$ + editor empty$ + 'skip$ + { add.space.if.necessary "(" * format.nonauthor.editors * ")" * } + if$ + } + if$ +} + +%% format.incoll.title.editors is similar to format.inproc... but +%% omits the address. For collections that are not proceedings volumes. + +FUNCTION {format.incoll.title.editors} +{ booktitle empty$ + { "" } + { editor empty$ + { booktitle } + { booktitle + add.space.if.necessary "(" * format.nonauthor.editors * ")" * + } + if$ + } + if$ +} + +% Desired output for format.number.series: +% +% Lecture Notes in Math., no.~1224 + +FUNCTION {format.number.series} +{ series empty$ + { number empty$ + { "" } + { "there's a number but no series in " cite$ * warning$ } + if$ + } + { series + number empty$ + 'skip$ + { ", no.~" * number * } + if$ + } + if$ +} + +FUNCTION {format.edition} +{ edition empty$ + { "" } + { output.state mid.sentence = + { edition "l" change.case$ " ed." * } + { edition "t" change.case$ " ed." * } + if$ + } + if$ +} + +INTEGERS { multiresult } + +FUNCTION {multi.page.check} +{ 't := + #0 'multiresult := + { multiresult not + t empty$ not + and + } + { t #1 #1 substring$ + duplicate$ "-" = + swap$ duplicate$ "," = + swap$ "+" = + or or + { #1 'multiresult := } + { t #2 global.max$ substring$ 't := } + if$ + } + while$ + multiresult +} + +FUNCTION {format.pages} +{ pages empty$ + { "" } + { pages n.dashify } + if$ +} + +FUNCTION {format.book.pages} +{ pages empty$ + { "" } + { pages multi.page.check + { "pp.~" pages n.dashify * } + { "p.~" pages * } + if$ + } + if$ +} + +FUNCTION {format.chapter.pages} +{ chapter empty$ + 'format.book.pages + { type empty$ + { "ch.~" } + { type "l" change.case$ " " * } + if$ + chapter * + pages empty$ + 'skip$ + { ", " * format.book.pages * } + if$ + } + if$ +} + +FUNCTION {empty.misc.check} +{ author empty$ title empty$ howpublished empty$ + month empty$ year empty$ note empty$ + and and and and and + key empty$ not and + { "all relevant fields are empty in " cite$ * warning$ } + 'skip$ + if$ +} + +FUNCTION {format.thesis.type} +{ type empty$ + 'skip$ + { pop$ + type "t" change.case$ + } + if$ +} + +FUNCTION {format.tr.number} +{ type empty$ + { "Tech. Report" } + 'type + if$ + number empty$ + { "t" change.case$ } + { number tie.or.space.connect } + if$ +} + +% The format.crossref functions haven't been paid much attention +% at the present time (June 1990) and could probably use some +% work. MJD + +FUNCTION {format.article.crossref} +{ key empty$ + { journal empty$ + { "need key or journal for " cite$ * " to crossref " * crossref * + warning$ + "" + } + { "in " journal * } + if$ + } + { "in " key * } + if$ + " \cite{" * crossref * "}" * +} + +FUNCTION {format.crossref.editor} +{ editor #1 "{vv~}{ll}" format.name$ + editor num.names$ duplicate$ + #2 > + { pop$ " et~al." * } + { #2 < + 'skip$ + { editor #2 "{ff }{vv }{ll}{ jj}" format.name$ "others" = + { " et~al." * } + { " and " * editor #2 "{vv~}{ll}" format.name$ * } + if$ + } + if$ + } + if$ +} + +FUNCTION {format.book.crossref} +{ volume empty$ + { "empty volume in " cite$ * "'s crossref of " * crossref * warning$ + "in " + } + { "vol." volume tie.or.space.connect + " of " * + } + if$ + editor empty$ + editor field.or.null author field.or.null = + or + { key empty$ + { series empty$ + { "need editor, key, or series for " cite$ * " to crossref " * + crossref * warning$ + "" * + } + { series * } + if$ + } + { key * } + if$ + } + { format.crossref.editor * } + if$ + " \cite{" * crossref * "}" * +} + +FUNCTION {format.incoll.inproc.crossref} +{ editor empty$ + editor field.or.null author field.or.null = + or + { key empty$ + { booktitle empty$ + { "need editor, key, or booktitle for " cite$ * " to crossref " * + crossref * warning$ + "" + } + { "in \emph{" booktitle * "}" * } + if$ + } + { "in " key * } + if$ + } + { "in " format.crossref.editor * } + if$ + " \cite{" * crossref * "}" * +} + +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% + +% The main functions for each entry type. + +% journal, vol and year are formatted together because they are +% not separated by commas. + +FUNCTION {article} +{ output.bibitem + format.authors "author" output.check + format.title "title" output.check + crossref missing$ + { format.journal.vol.year "journal, volume, and year" output.check + format.number output + format.pages "pages" output.check + } + { format.article.crossref output.nonnull + format.pages output + } + if$ + format.language * + note output + fin.entry +} + +FUNCTION {book} +{ output.bibitem + author empty$ + { format.editors "author and editor" output.check } + { format.authors output.nonnull + crossref missing$ + { "author and editor" editor either.or.check } + 'skip$ + if$ + } + if$ + format.title "title" output.check + format.edition output + crossref missing$ + { format.bookvolume.series.number output + publisher "publisher" output.check + address output + } + { format.book.crossref output.nonnull + } + if$ + format.date "year" output.check + format.language * + note output + fin.entry +} + +FUNCTION {booklet} +{ output.bibitem + format.authors output + format.title "title" output.check + howpublished output + address output + format.date output + note output + fin.entry +} + +FUNCTION {inbook} +{ output.bibitem + author empty$ + { format.editors "author and editor" output.check } + { format.authors output.nonnull + crossref missing$ + { "author and editor" editor either.or.check } + 'skip$ + if$ + } + if$ + format.title "title" output.check + format.edition output + crossref missing$ + { format.bookvolume.series.number output + format.chapter.pages "chapter and pages" output.check + publisher "publisher" output.check + address output + } + { format.chapter.pages "chapter and pages" output.check + format.book.crossref output.nonnull + } + if$ + format.date "year" output.check + format.language * + note output + fin.entry +} + +FUNCTION {incollection} +{ output.bibitem + format.authors "author" output.check + format.title "title" output.check + crossref missing$ + { format.incoll.title.editors "booktitle" output.check + format.bookvolume.series.number output + publisher "publisher" output.check + address output + format.edition output + format.date "year" output.check + } + { format.incoll.inproc.crossref output.nonnull + } + if$ + note output + format.book.pages output + format.language * + fin.entry +} + +FUNCTION {inproceedings} +{ output.bibitem + format.authors "author" output.check + format.title "title" output.check + crossref missing$ + { format.inproc.title.address.editors "booktitle" output.check + format.bookvolume.series.number output + organization output + publisher output + format.date "year" output.check + } + { format.incoll.inproc.crossref output.nonnull + } + if$ + note output + format.book.pages output + format.language * + fin.entry +} + +FUNCTION {conference} { inproceedings } + +FUNCTION {manual} +{ output.bibitem + author empty$ + { organization empty$ + 'skip$ + { organization output.nonnull + address output + } + if$ + } + { format.authors output.nonnull } + if$ + format.title "title" output.check + author empty$ + { organization empty$ + { address output } + 'skip$ + if$ + } + { organization output + address output + } + if$ + format.edition output + format.date output + note output + fin.entry +} + +FUNCTION {mastersthesis} +{ output.bibitem + format.authors "author" output.check + format.title "title" output.check + "Master's thesis" format.thesis.type output.nonnull + school "school" output.check + address output + format.date "year" output.check + note output + format.book.pages output + fin.entry +} + +FUNCTION {misc} +{ output.bibitem + format.authors output + format.title output + howpublished output + format.date output + note output + format.book.pages output + fin.entry + empty.misc.check +} + +FUNCTION {phdthesis} +{ output.bibitem + format.authors "author" output.check + format.title "title" output.check + "Ph.D. thesis" format.thesis.type output.nonnull + school "school" output.check + address output + format.date "year" output.check + note output + format.book.pages output + fin.entry +} + +FUNCTION {proceedings} +{ output.bibitem + editor empty$ + { organization output } + { format.editors output.nonnull } + if$ + format.title "title" output.check + format.bookvolume.series.number output + address empty$ + { editor empty$ + 'skip$ + { organization output } + if$ + publisher output + format.date "year" output.check + } + { address output.nonnull + editor empty$ + 'skip$ + { organization output } + if$ + publisher output + format.date "year" output.check + } + if$ + note output + fin.entry +} + +FUNCTION {techreport} +{ output.bibitem + format.authors "author" output.check + format.title "title" output.check + format.tr.number output.nonnull + institution "institution" output.check + address output + format.date "year" output.check + note output + fin.entry +} + +FUNCTION {unpublished} +{ output.bibitem + format.authors "author" output.check + format.title "title" output.check + note "note" output.check + format.date output + fin.entry +} + +FUNCTION {default.type} { misc } + +MACRO {jan} {"January"} + +MACRO {feb} {"February"} + +MACRO {mar} {"March"} + +MACRO {apr} {"April"} + +MACRO {may} {"May"} + +MACRO {jun} {"June"} + +MACRO {jul} {"July"} + +MACRO {aug} {"August"} + +MACRO {sep} {"September"} + +MACRO {oct} {"October"} + +MACRO {nov} {"November"} + +MACRO {dec} {"December"} + +READ + +FUNCTION {sortify} +{ purify$ + "l" change.case$ +} + +INTEGERS { len } + +FUNCTION {chop.word} +{ 's := + 'len := + s #1 len substring$ = + { s len #1 + global.max$ substring$ } + 's + if$ +} + +INTEGERS { et.al.char.used } + +FUNCTION {initialize.et.al.char.used} +{ #0 'et.al.char.used := +} + +EXECUTE {initialize.et.al.char.used} + +FUNCTION {format.lab.names} +{ 's := + s num.names$ 'numnames := + numnames #1 > + { numnames #4 > + { #3 'namesleft := } + { numnames 'namesleft := } + if$ + #1 'nameptr := + "" + { namesleft #0 > } + { nameptr numnames = + { s nameptr "{ff }{vv }{ll}{ jj}" format.name$ "others" = + { "{\etalchar{+}}" * + #1 'et.al.char.used := + } + { s nameptr "{v{}}{l{}}" format.name$ * } + if$ + } + { s nameptr "{v{}}{l{}}" format.name$ * } + if$ + nameptr #1 + 'nameptr := + namesleft #1 - 'namesleft := + } + while$ + numnames #4 > + { "{\etalchar{+}}" * + #1 'et.al.char.used := + } + 'skip$ + if$ + } + { s #1 "{v{}}{l{}}" format.name$ + duplicate$ text.length$ #2 < + { pop$ s #1 "{ll}" format.name$ #3 text.prefix$ } + 'skip$ + if$ + } + if$ +} + +FUNCTION {author.key.label} +{ author empty$ + { key empty$ + { cite$ #1 #3 substring$ } + { key #3 text.prefix$ } + if$ + } + { author format.lab.names } + if$ +} + +FUNCTION {author.editor.key.label} +{ author empty$ + { editor empty$ + { key empty$ + { cite$ #1 #3 substring$ } + { key #3 text.prefix$ } + if$ + } + { editor format.lab.names } + if$ + } + { author format.lab.names } + if$ +} + +FUNCTION {author.key.organization.label} +{ author empty$ + { key empty$ + { organization empty$ + { cite$ #1 #3 substring$ } + { "The " #4 organization chop.word #3 text.prefix$ } + if$ + } + { key #3 text.prefix$ } + if$ + } + { author format.lab.names } + if$ +} + +FUNCTION {editor.key.organization.label} +{ editor empty$ + { key empty$ + { organization empty$ + { cite$ #1 #3 substring$ } + { "The " #4 organization chop.word #3 text.prefix$ } + if$ + } + { key #3 text.prefix$ } + if$ + } + { editor format.lab.names } + if$ +} + +FUNCTION {calc.label} +{ type$ "book" = + type$ "inbook" = + or + 'author.editor.key.label + { type$ "proceedings" = + 'editor.key.organization.label + { type$ "manual" = + 'author.key.organization.label + 'author.key.label + if$ + } + if$ + } + if$ + duplicate$ + year field.or.null purify$ #-1 #2 substring$ + * + 'label := + year field.or.null purify$ #-1 #4 substring$ + * + sortify 'sort.label := +} + +FUNCTION {sort.format.names} +{ 's := + #1 'nameptr := + "" + s num.names$ 'numnames := + numnames 'namesleft := + { namesleft #0 > } + { nameptr #1 > + { " " * } + 'skip$ + if$ + s nameptr "{vv{ } }{ll{ }}{ ff{ }}{ jj{ }}" format.name$ 't := + nameptr numnames = t "others" = and + { "et al" * } + { t sortify * } + if$ + nameptr #1 + 'nameptr := + namesleft #1 - 'namesleft := + } + while$ +} + +FUNCTION {sort.format.title} +{ 't := + "A " #2 + "An " #3 + "The " #4 t chop.word + chop.word + chop.word + sortify + #1 global.max$ substring$ +} + +FUNCTION {author.sort} +{ author empty$ + { key empty$ + { "to sort, need author or key in " cite$ * warning$ + "" + } + { key sortify } + if$ + } + { author sort.format.names } + if$ +} + +FUNCTION {author.editor.sort} +{ author empty$ + { editor empty$ + { key empty$ + { "to sort, need author, editor, or key in " cite$ * warning$ + "" + } + { key sortify } + if$ + } + { editor sort.format.names } + if$ + } + { author sort.format.names } + if$ +} + +FUNCTION {author.organization.sort} +{ author empty$ + { organization empty$ + { key empty$ + { "to sort, need author, organization, or key in " cite$ * warning$ + "" + } + { key sortify } + if$ + } + { "The " #4 organization chop.word sortify } + if$ + } + { author sort.format.names } + if$ +} + +FUNCTION {editor.organization.sort} +{ editor empty$ + { organization empty$ + { key empty$ + { "to sort, need editor, organization, or key in " cite$ * warning$ + "" + } + { key sortify } + if$ + } + { "The " #4 organization chop.word sortify } + if$ + } + { editor sort.format.names } + if$ +} + +FUNCTION {presort} +{ calc.label + sort.label + " " + * + type$ "book" = + type$ "inbook" = + or + 'author.editor.sort + { type$ "proceedings" = + 'editor.organization.sort + { type$ "manual" = + 'author.organization.sort + 'author.sort + if$ + } + if$ + } + if$ + * + " " + * + year field.or.null sortify + * + " " + * + title field.or.null + sort.format.title + * + #1 entry.max$ substring$ + 'sort.key$ := +} + +ITERATE {presort} + +SORT + +STRINGS { longest.label last.sort.label next.extra } + +INTEGERS { longest.label.width last.extra.num } + +FUNCTION {initialize.longest.label} +{ "" 'longest.label := + #0 int.to.chr$ 'last.sort.label := + "" 'next.extra := + #0 'longest.label.width := + #0 'last.extra.num := +} + +FUNCTION {forward.pass} +{ last.sort.label sort.label = + { last.extra.num #1 + 'last.extra.num := + last.extra.num int.to.chr$ 'extra.label := + } + { "a" chr.to.int$ 'last.extra.num := + "" 'extra.label := + sort.label 'last.sort.label := + } + if$ +} + +FUNCTION {reverse.pass} +{ next.extra "b" = + { "a" 'extra.label := } + 'skip$ + if$ + label extra.label * 'label := + label width$ longest.label.width > + { label 'longest.label := + label width$ 'longest.label.width := + } + 'skip$ + if$ + extra.label 'next.extra := +} + +EXECUTE {initialize.longest.label} + +ITERATE {forward.pass} + +REVERSE {reverse.pass} + +FUNCTION {begin.bib} +{ et.al.char.used + { "\newcommand{\etalchar}[1]{$^{#1}$}" write$ newline$ } + 'skip$ + if$ + preamble$ empty$ + 'skip$ + { preamble$ write$ newline$ } + if$ + "\providecommand{\bysame}{\leavevmode\hbox to3em{\hrulefill}\thinspace}" + write$ newline$ + "\begin{thebibliography}{" longest.label * "}" * write$ newline$ +} + +EXECUTE {begin.bib} + +EXECUTE {init.state.consts} + +ITERATE {call.type$} + +FUNCTION {end.bib} +{ newline$ + "\end{thebibliography}" write$ newline$ +} + +EXECUTE {end.bib} +%% \CharacterTable +%% {Upper-case \A\B\C\D\E\F\G\H\I\J\K\L\M\N\O\P\Q\R\S\T\U\V\W\X\Y\Z +%% Lower-case \a\b\c\d\e\f\g\h\i\j\k\l\m\n\o\p\q\r\s\t\u\v\w\x\y\z +%% Digits \0\1\2\3\4\5\6\7\8\9 +%% Exclamation \! Double quote \" Hash (number) \# +%% Dollar \$ Percent \% Ampersand \& +%% Acute accent \' Left paren \( Right paren \) +%% Asterisk \* Plus \+ Comma \, +%% Minus \- Point \. Solidus \/ +%% Colon \: Semicolon \; Less than \< +%% Equals \= Greater than \> Question mark \? +%% Commercial at \@ Left bracket \[ Backslash \\ +%% Right bracket \] Circumflex \^ Underscore \_ +%% Grave accent \` Left brace \{ Vertical bar \| +%% Right brace \} Tilde \~} diff --git a/Master/texmf-dist/doc/latex/mil3/ams-pln.bst b/Master/texmf-dist/doc/latex/mil3/ams-pln.bst new file mode 100644 index 00000000000..0fd06a6623d --- /dev/null +++ b/Master/texmf-dist/doc/latex/mil3/ams-pln.bst @@ -0,0 +1,1244 @@ +% ams-pln.bst, a very minor alteration (these two lines of comment, plus +% seven uncapitalized crossref-related words). +%%% ==================================================================== +%%% @BibTeX-style-file{ +%%% filename = "amsplain.bst", +%%% version = "1.2c", +%%% date = "1999/11/29", +%%% time = "13:36:47 EST", +%%% checksum = "15072 1242 3713 26763", +%%% author = "American Mathematical Society", +%%% address = "American Mathematical Society, +%%% Technical Support, +%%% Electronic Products and Services, +%%% P. O. Box 6248, +%%% Providence, RI 02940, +%%% USA", +%%% telephone = "401-455-4080 or (in the USA and Canada) +%%% 800-321-4AMS (321-4267)", +%%% FAX = "401-331-3842", +%%% email = "tech-support@ams.org (Internet)", +%%% copyright = "Copyright 1995 American Mathematical Society, +%%% all rights reserved. Copying of this file is +%%% authorized only if either: +%%% (1) you make absolutely no changes to your copy, +%%% including name; OR +%%% (2) if you do make changes, you first rename it +%%% to some other name.", +%%% codetable = "ISO/ASCII", +%%% keywords = "bibtex, bibliography, amslatex, ams-latex", +%%% supported = "yes", +%%% abstract = "BibTeX bibliography style `amsplain' for BibTeX +%%% versions 0.99a or later and LaTeX version 2e. +%%% Produces numeric-label bibliography items in +%%% a form typical for American Mathematical Society +%%% publications.", +%%% docstring = "The checksum field above contains a CRC-16 +%%% checksum as the first value, followed by the +%%% equivalent of the standard UNIX wc (word +%%% count) utility output of lines, words, and +%%% characters. This is produced by Robert +%%% Solovay's checksum utility.", +%%% } +%%% ==================================================================== + +% See the file btxbst.doc for extra documentation other than +% what is included here. And see btxhak.tex for a description +% of the BibTeX language and how to use it. + +% This defines the types of fields that can occur in a database entry +% for this particular bibliography style. Except for `language', +% this is the standard list from plain.bst. + +%% Types of entries currently allowed in a BibTeX file: +%% +%% ARTICLE -- An article from a journal or magazine. +%% +%% BOOK -- A book with an explicit publisher. +%% +%% BOOKLET -- A work that is printed and bound, +%% but without a named publisher or sponsoring institution. +%% +%% CONFERENCE -- The same as INPROCEEDINGS, +%% included for Scribe compatibility. +%% +%% INBOOK -- A part of a book, +%% which may be a chapter (or section or whatever) and/or a range of pages. +%% +%% INCOLLECTION -- A part of a book having its own title. +%% +%% INPROCEEDINGS -- An article in a conference proceedings. +%% +%% MANUAL -- Technical documentation. +%% +%% MASTERSTHESIS -- A Master's thesis. +%% +%% MISC -- Use this type when nothing else fits. +%% +%% PHDTHESIS -- A PhD thesis. +%% +%% PROCEEDINGS -- The proceedings of a conference. +%% +%% TECHREPORT -- A report published by a school or other institution, +%% usually numbered within a series. +%% +%% UNPUBLISHED -- A document having an author and title, but not formally +%% published. + +ENTRY + { address + author + booktitle + chapter + edition + editor + howpublished + institution + journal + key + language + month + note + number + organization + pages + publisher + school + series + title + type + volume + year + } + {} + { label extra.label } + +% Removed after.sentence, after.block---not needed. + +INTEGERS { output.state before.all mid.sentence } + +FUNCTION {init.state.consts} +{ #0 'before.all := + #1 'mid.sentence := +} + +% Scratch variables: + +STRINGS { s t } + +% Utility functions + +FUNCTION {shows} +{ duplicate$ ":::: `" swap$ * "'" * top$ +} + +FUNCTION {showstack} +{"STACK=====================================================================" +top$ +stack$ +"ENDSTACK==================================================================" +top$ +} + +FUNCTION {not} +{ { #0 } + { #1 } + if$ +} + +FUNCTION {and} +{ 'skip$ + { pop$ #0 } + if$ +} + +FUNCTION {or} +{ { pop$ #1 } + 'skip$ + if$ +} + +FUNCTION {field.or.null} +{ duplicate$ empty$ + { pop$ "" } + 'skip$ + if$ +} + +FUNCTION {emphasize} +{ duplicate$ empty$ + { pop$ "" } + { "\emph{" swap$ * "}" * } + if$ +} + +% n.dashify is used to make sure page ranges get the TeX code +% (two hyphens) for en-dashes. + +FUNCTION {n.dashify} +{ 't := + "" + { t empty$ not } + { t #1 #1 substring$ "-" = + { t #1 #2 substring$ "--" = not + { "--" * + t #2 global.max$ substring$ 't := + } + { { t #1 #1 substring$ "-" = } + { "-" * + t #2 global.max$ substring$ 't := + } + while$ + } + if$ + } + { t #1 #1 substring$ * + t #2 global.max$ substring$ 't := + } + if$ + } + while$ +} + +% tie.or.space.connect connects two items with a ~ if the +% second item is less than 3 letters long, otherwise it just puts an +% ordinary space. + +FUNCTION {tie.or.space.connect} +{ duplicate$ text.length$ #3 < + { "~" } + { " " } + if$ + swap$ * * +} + +FUNCTION {add.space.if.necessary} +{ duplicate$ "" = + 'skip$ + { " " * } + if$ +} + +% either.or.check gives a warning if two mutually exclusive fields +% were used in the database. + +FUNCTION {either.or.check} +{ empty$ + 'pop$ + { "can't use both " swap$ * " fields in " * cite$ * warning$ } + if$ +} + +% output.nonnull is called by output. + +FUNCTION {output.nonnull} +% remove the top item from the stack because it's in the way. +{ 's := + output.state mid.sentence = +% If we're in mid-sentence, add a comma to the new top item and write it + { ", " * write$ } +% Otherwise, if we're at the beginning of a bibitem, + { output.state before.all = +% just write out the top item from the stack; + 'write$ +% and the last alternative is that we're at the end of the current +% bibitem, so we add a period to the top stack item and write it out. + { add.period$ " " * write$ } + if$ + mid.sentence 'output.state := + } + if$ +% Put the top item back on the stack that we removed earlier. + s +} + +% Output checks to see if the stack top is empty; if not, it +% calls output.nonnull to write it out. + +FUNCTION {output} +{ duplicate$ empty$ + 'pop$ + 'output.nonnull + if$ +} + +% Standard warning message for a missing or empty field. For the user +% we call any such field `missing' without respect to the distinction +% made by BibTeX between missing and empty. + +FUNCTION {missing.warning} +{ "missing " swap$ * " in " * cite$ * warning$ } + +% Output.check is like output except that it gives a warning on-screen +% if the given field in the database entry is empty. t is the field +% name. + +FUNCTION {output.check} +{ 't := + duplicate$ empty$ + { pop$ t missing.warning } + 'output.nonnull + if$ +} + +FUNCTION {output.bibitem} +{ newline$ + "\bibitem{" write$ + cite$ write$ + "}" write$ + newline$ +% This empty string is the first thing that will be written +% the next time write$ is called. Done this way because each +% item is saved on the stack until we find out what punctuation +% should be added after it. Therefore we need an empty first item. + "" + before.all 'output.state := +} + +FUNCTION {fin.entry} +{ add.period$ + write$ + newline$ +} + +% Removed new.block, new.block.checka, new.block.checkb, new.sentence, +% new.sentence.checka, and new.sentence.checkb functions here, since they +% don't seem to be needed in the AMS style. Also moved some real +% basic functions like `and' and 'or' earlier in the file. + +INTEGERS { nameptr namesleft numnames } + +% The extra section to write out a language field was added +% for AMSPLAIN.BST. Not present in plain.bst. + +FUNCTION {format.language} +{ language empty$ + { "" } + { " (" language * ")" * } + if$ +} + +% This version of format.names puts names in the format +% +% First von Last, Jr. +% +% (i.e., first name first, no abbreviating to initials). + +FUNCTION {format.names} +{ 's := + #1 'nameptr := + s num.names$ 'numnames := + numnames 'namesleft := + { namesleft #0 > } + { s nameptr "{ff~}{vv~}{ll}{, jj}" format.name$ 't := + nameptr #1 > + { namesleft #1 > + { ", " * t * } + { numnames #2 > + { "," * } + 'skip$ + if$ + t "others" = + { " et~al." * } + { " and " * t * } + if$ + } + if$ + } + 't + if$ + nameptr #1 + 'nameptr := + namesleft #1 - 'namesleft := + } + while$ +} + +FUNCTION {format.authors} +{ author empty$ + { "" } + { extra.label "\bysame" = + {"\bysame"} + { author format.names } + if$ + } + if$ +} + +FUNCTION {format.editors} +{ editor empty$ + { "" } + { editor format.names + editor num.names$ #1 > + { " (eds.)" * } + { " (ed.)" * } + if$ + } + if$ +} + +FUNCTION {format.nonauthor.editors} +{ editor empty$ + { "" } + { editor format.names + editor num.names$ #1 > + { ", eds." * } + { ", ed." * } + if$ + } + if$ +} + +FUNCTION {format.title} +{ title empty$ + { "" } + { title "t" change.case$ emphasize } + if$ +} + +FUNCTION {format.journal.vol.year} +{ journal empty$ + { "journal name" missing.warning ""} + { journal } + if$ + volume empty$ + 'skip$ + { " \textbf{" * volume * "}" * } + if$ + year empty$ + { "year" missing.warning } + { " (" * year * ")" * } + if$ +} + +% For formatting the issue number for a journal article. + +FUNCTION {format.number} +{ number empty$ + { "" } + { "no.~" number * } + if$ +} + +% For formatting miscellaneous dates + +FUNCTION {format.date} +{ year empty$ + { month empty$ + { "" } + { "there's a month but no year in " cite$ * warning$ + month + } + if$ + } + { month empty$ + 'year + { month " " * year * } + if$ + } + if$ +} + +%% The volume, series and number information is sort of tricky. +%% This code handles it as follows: +%% If the series is present, and the volume, but not the number, +%% then we do "\emph{Book title}, Series Name, vol. 000" +%% If the series is present, and the number, but not the volume, +%% then we do "\emph{Book title}, Series Name, no. 000" +%% If the series is present, and both number and volume, +%% then we do "\emph{Book title}, vol. XX, Series Name, no. 000" +%% Finally, if the series is absent, +%% then we do "\emph{Book title}, vol. XX" +%% or "\emph{Book title}, no. 000" +%% and if both volume and number are present, give a warning message. + +FUNCTION {format.bookvolume.series.number} +{ volume empty$ + { "" % Push the empty string as a placeholder in case everything else + % is empty too. + series empty$ + 'skip$ + { pop$ series } % if series is not empty put in stack + if$ + number empty$ + 'skip$ + { duplicate$ empty$ % if no preceding material, + 'skip$ % do nothing, otherwise + { ", " * } % add a comma and space to separate. + if$ + "no." number tie.or.space.connect * % add the number information + } + if$ + } +%% If the volume is NOT EMPTY: + { "vol." volume tie.or.space.connect % vol. XX + number empty$ + { series empty$ + 'skip$ + { series ", " * swap$ *} % Series Name, vol. XX + if$ + } + { series empty$ + { "can't use both volume and number if series info is missing" + warning$ + "in BibTeX entry type `" type$ * "'" * top$ + } + { ", " * series * ", no." * number tie.or.space.connect } + if$ + } + if$ + } + if$ + +} % end of format.bookvolume.series.number + +%% format.inproc.title.where.editors is used by inproceedings entry types + +%% No case changing or emphasizing for the title. We want initial +%% caps, roman. +%% We add parentheses around the address (place where conference +%% was held). +%% Likewise we add parentheses around the editors' names. + +FUNCTION {format.inproc.title.address.editors} +{ booktitle empty$ + { "" } + { booktitle + address empty$ + 'skip$ + { add.space.if.necessary "(" * address * ")" * } + if$ + editor empty$ + 'skip$ + { add.space.if.necessary "(" * format.nonauthor.editors * ")" * } + if$ + } + if$ +} + +%% format.incoll.title.editors is similar to format.inproc... but +%% omits the address. For collections that are not proceedings volumes. + +FUNCTION {format.incoll.title.editors} +{ booktitle empty$ + { "" } + { editor empty$ + { booktitle } + { booktitle + add.space.if.necessary "(" * format.nonauthor.editors * ")" * + } + if$ + } + if$ +} + +% Desired output for format.number.series: +% +% Lecture Notes in Math., no.~1224 + +FUNCTION {format.number.series} +{ series empty$ + { number empty$ + { "" } + { "there's a number but no series in " cite$ * warning$ } + if$ + } + { series + number empty$ + 'skip$ + { ", no.~" * number * } + if$ + } + if$ +} + +FUNCTION {format.edition} +{ edition empty$ + { "" } + { output.state mid.sentence = + { edition "l" change.case$ " ed." * } + { edition "t" change.case$ " ed." * } + if$ + } + if$ +} + +INTEGERS { multiresult } + +FUNCTION {multi.page.check} +{ 't := + #0 'multiresult := + { multiresult not + t empty$ not + and + } + { t #1 #1 substring$ + duplicate$ "-" = + swap$ duplicate$ "," = + swap$ "+" = + or or + { #1 'multiresult := } + { t #2 global.max$ substring$ 't := } + if$ + } + while$ + multiresult +} + +FUNCTION {format.pages} +{ pages empty$ + { "" } + { pages n.dashify } + if$ +} + +FUNCTION {format.book.pages} +{ pages empty$ + { "" } + { pages multi.page.check + { "pp.~" pages n.dashify * } + { "p.~" pages * } + if$ + } + if$ +} + +FUNCTION {format.chapter.pages} +{ chapter empty$ + 'format.book.pages + { type empty$ + { "ch.~" } + { type "l" change.case$ " " * } + if$ + chapter * + pages empty$ + 'skip$ + { ", " * format.book.pages * } + if$ + } + if$ +} + +FUNCTION {empty.misc.check} +{ author empty$ title empty$ howpublished empty$ + month empty$ year empty$ note empty$ + and and and and and + key empty$ not and + { "all relevant fields are empty in " cite$ * warning$ } + 'skip$ + if$ +} + +FUNCTION {format.thesis.type} +{ type empty$ + 'skip$ + { pop$ + type "t" change.case$ + } + if$ +} + +FUNCTION {format.tr.number} +{ type empty$ + { "Tech. Report" } + 'type + if$ + number empty$ + { "t" change.case$ } + { number tie.or.space.connect } + if$ +} + +% The format.crossref functions haven't been paid much attention +% at the present time (June 1990) and could probably use some +% work. MJD + +FUNCTION {format.article.crossref} +{ key empty$ + { journal empty$ + { "need key or journal for " cite$ * " to crossref " * crossref * + warning$ + "" + } + { "in " journal * } + if$ + } + { "in " key * } + if$ + " \cite{" * crossref * "}" * +} + +FUNCTION {format.crossref.editor} +{ editor #1 "{vv~}{ll}" format.name$ + editor num.names$ duplicate$ + #2 > + { pop$ " et~al." * } + { #2 < + 'skip$ + { editor #2 "{ff }{vv }{ll}{ jj}" format.name$ "others" = + { " et~al." * } + { " and " * editor #2 "{vv~}{ll}" format.name$ * } + if$ + } + if$ + } + if$ +} + +FUNCTION {format.book.crossref} +{ volume empty$ + { "empty volume in " cite$ * "'s crossref of " * crossref * warning$ + "in " + } + { "vol." volume tie.or.space.connect + " of " * + } + if$ + editor empty$ + editor field.or.null author field.or.null = + or + { key empty$ + { series empty$ + { "need editor, key, or series for " cite$ * " to crossref " * + crossref * warning$ + "" * + } + { series * } + if$ + } + { key * } + if$ + } + { format.crossref.editor * } + if$ + " \cite{" * crossref * "}" * +} + +FUNCTION {format.incoll.inproc.crossref} +{ editor empty$ + editor field.or.null author field.or.null = + or + { key empty$ + { booktitle empty$ + { "need editor, key, or booktitle for " cite$ * " to crossref " * + crossref * warning$ + "" + } + { "in \emph{" booktitle * "}" * } + if$ + } + { "in " key * } + if$ + } + { "in " format.crossref.editor * } + if$ + " \cite{" * crossref * "}" * +} + +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% + +% The main functions for each entry type. + +% journal, vol and year are formatted together because they are +% not separated by commas. + +FUNCTION {article} +{ output.bibitem + format.authors "author" output.check + format.title "title" output.check + crossref missing$ + { format.journal.vol.year output + format.number output + format.pages "pages" output.check + } + { format.article.crossref output.nonnull + format.pages output + } + if$ + format.language * + note output + fin.entry +} + +FUNCTION {book} +{ output.bibitem + author empty$ + { format.editors "author and editor" output.check } + { format.authors output.nonnull + crossref missing$ + { "author and editor" editor either.or.check } + 'skip$ + if$ + } + if$ + format.title "title" output.check + format.edition output + crossref missing$ + { format.bookvolume.series.number output + publisher "publisher" output.check + address output + } + { format.book.crossref output.nonnull + } + if$ + format.date "year" output.check + format.language * + note output + fin.entry +} + +FUNCTION {booklet} +{ output.bibitem + format.authors output + format.title "title" output.check + howpublished output + address output + format.date output + note output + fin.entry +} + +FUNCTION {inbook} +{ output.bibitem + author empty$ + { format.editors "author and editor" output.check } + { format.authors output.nonnull + crossref missing$ + { "author and editor" editor either.or.check } + 'skip$ + if$ + } + if$ + format.title "title" output.check + format.edition output + crossref missing$ + { format.bookvolume.series.number output + format.chapter.pages "chapter and pages" output.check + publisher "publisher" output.check + address output + } + { format.chapter.pages "chapter and pages" output.check + format.book.crossref output.nonnull + } + if$ + format.date "year" output.check + format.language * + note output + fin.entry +} + +FUNCTION {incollection} +{ output.bibitem + format.authors "author" output.check + format.title "title" output.check + crossref missing$ + { format.incoll.title.editors "booktitle" output.check + format.bookvolume.series.number output + publisher "publisher" output.check + address output + format.edition output + format.date "year" output.check + } + { format.incoll.inproc.crossref output.nonnull + } + if$ + note output + format.book.pages output + format.language * + fin.entry +} + +FUNCTION {inproceedings} +{ output.bibitem + format.authors "author" output.check + format.title "title" output.check + crossref missing$ + { format.inproc.title.address.editors "booktitle" output.check + format.bookvolume.series.number output + organization output + publisher output + format.date "year" output.check + } + { format.incoll.inproc.crossref output.nonnull + } + if$ + note output + format.book.pages output + format.language * + fin.entry +} + +FUNCTION {conference} { inproceedings } + +FUNCTION {manual} +{ output.bibitem + author empty$ + { organization empty$ + 'skip$ + { organization output.nonnull + address output + } + if$ + } + { format.authors output.nonnull } + if$ + format.title "title" output.check + author empty$ + { organization empty$ + { address output } + 'skip$ + if$ + } + { organization output + address output + } + if$ + format.edition output + format.date output + note output + fin.entry +} + +FUNCTION {mastersthesis} +{ output.bibitem + format.authors "author" output.check + format.title "title" output.check + "Master's thesis" format.thesis.type output.nonnull + school "school" output.check + address output + format.date "year" output.check + note output + format.book.pages output + fin.entry +} + +FUNCTION {misc} +{ output.bibitem + format.authors output + format.title output + howpublished output + format.date output + note output + format.book.pages output + fin.entry + empty.misc.check +} + +FUNCTION {phdthesis} +{ output.bibitem + format.authors "author" output.check + format.title "title" output.check + "Ph.D. thesis" format.thesis.type output.nonnull + school "school" output.check + address output + format.date "year" output.check + note output + format.book.pages output + fin.entry +} + +FUNCTION {proceedings} +{ output.bibitem + editor empty$ + { organization output } + { format.editors output.nonnull } + if$ + format.title "title" output.check + format.bookvolume.series.number output + address empty$ + { editor empty$ + 'skip$ + { organization output } + if$ + publisher output + format.date "year" output.check + } + { address output.nonnull + editor empty$ + 'skip$ + { organization output } + if$ + publisher output + format.date "year" output.check + } + if$ + note output + fin.entry +} + +FUNCTION {techreport} +{ output.bibitem + format.authors "author" output.check + format.title "title" output.check + format.tr.number output.nonnull + institution "institution" output.check + address output + format.date "year" output.check + note output + fin.entry +} + +FUNCTION {unpublished} +{ output.bibitem + format.authors "author" output.check + format.title "title" output.check + note "note" output.check + format.date output + fin.entry +} + +FUNCTION {default.type} { misc } + +MACRO {jan} {"January"} + +MACRO {feb} {"February"} + +MACRO {mar} {"March"} + +MACRO {apr} {"April"} + +MACRO {may} {"May"} + +MACRO {jun} {"June"} + +MACRO {jul} {"July"} + +MACRO {aug} {"August"} + +MACRO {sep} {"September"} + +MACRO {oct} {"October"} + +MACRO {nov} {"November"} + +MACRO {dec} {"December"} + +READ + +FUNCTION {sortify} +{ purify$ + "l" change.case$ +} + +INTEGERS { len } + +FUNCTION {chop.word} +{ 's := + 'len := + s #1 len substring$ = + { s len #1 + global.max$ substring$ } + 's + if$ +} + +FUNCTION {sort.format.names} +{ 's := + #1 'nameptr := + "" + s num.names$ 'numnames := + numnames 'namesleft := + { namesleft #0 > } + { nameptr #1 > + { " " * } + 'skip$ + if$ + s nameptr "{vv{ } }{ll{ }}{ ff{ }}{ jj{ }}" format.name$ 't := + nameptr numnames = t "others" = and + { "et al" * } + { t sortify * } + if$ + nameptr #1 + 'nameptr := + namesleft #1 - 'namesleft := + } + while$ +} + +FUNCTION {sort.format.title} +{ 't := + "A " #2 + "An " #3 + "The " #4 t chop.word + chop.word + chop.word + sortify + #1 global.max$ substring$ +} + +FUNCTION {author.sort} +{ author empty$ + { key empty$ + { "to sort, need author or key in " cite$ * warning$ + "" + } + { key sortify } + if$ + } + { author sort.format.names } + if$ +} + +FUNCTION {author.editor.sort} +{ author empty$ + { editor empty$ + { key empty$ + { "to sort, need author, editor, or key in " cite$ * warning$ + "" + } + { key sortify } + if$ + } + { editor sort.format.names } + if$ + } + { author sort.format.names } + if$ +} + +FUNCTION {author.organization.sort} +{ author empty$ + { organization empty$ + { key empty$ + { "to sort, need author, organization, or key in " cite$ * warning$ + "" + } + { key sortify } + if$ + } + { "The " #4 organization chop.word sortify } + if$ + } + { author sort.format.names } + if$ +} + +FUNCTION {editor.organization.sort} +{ editor empty$ + { organization empty$ + { key empty$ + { "to sort, need editor, organization, or key in " cite$ * warning$ + "" + } + { key sortify } + if$ + } + { "The " #4 organization chop.word sortify } + if$ + } + { editor sort.format.names } + if$ +} + +FUNCTION {presort} +{ type$ "book" = + type$ "inbook" = + or + 'author.editor.sort + { type$ "proceedings" = + 'editor.organization.sort + { type$ "manual" = + 'author.organization.sort + 'author.sort + if$ + } + if$ + } + if$ + " " + * + year field.or.null sortify + * + " " + * + title field.or.null + sort.format.title + * + #1 entry.max$ substring$ + 'sort.key$ := +} + +ITERATE {presort} + +SORT + +STRINGS { longest.label prev.author this.author } + +INTEGERS { number.label longest.label.width } + +FUNCTION {initialize.longest.label} +{ "" 'longest.label := + #1 'number.label := + #0 'longest.label.width := + "abcxyz" 'prev.author := + "" 'this.author := +} + +FUNCTION {longest.label.pass} +{ number.label int.to.str$ 'label := + number.label #1 + 'number.label := + label width$ longest.label.width > + { label 'longest.label := + label width$ 'longest.label.width := + } + 'skip$ + if$ + author empty$ + { editor empty$ + { "" } + 'editor + if$ + } + 'author + if$ + 'this.author := + this.author prev.author = + { "\bysame" 'extra.label := } + { "" 'extra.label := + this.author "" = + { "abcxyz" } + 'this.author + if$ + 'prev.author := + } + if$ +} + +EXECUTE {initialize.longest.label} + +ITERATE {longest.label.pass} + +FUNCTION {begin.bib} +{ preamble$ empty$ + 'skip$ + { preamble$ write$ newline$ } + if$ + "\providecommand{\bysame}{\leavevmode\hbox to3em{\hrulefill}\thinspace}" + write$ newline$ + "\begin{thebibliography}{" longest.label * "}" * write$ newline$ +} + +EXECUTE {begin.bib} + +EXECUTE {init.state.consts} + +ITERATE {call.type$} + +FUNCTION {end.bib} +{ newline$ + "\end{thebibliography}" write$ newline$ +} + +EXECUTE {end.bib} +%% \CharacterTable +%% {Upper-case \A\B\C\D\E\F\G\H\I\J\K\L\M\N\O\P\Q\R\S\T\U\V\W\X\Y\Z +%% Lower-case \a\b\c\d\e\f\g\h\i\j\k\l\m\n\o\p\q\r\s\t\u\v\w\x\y\z +%% Digits \0\1\2\3\4\5\6\7\8\9 +%% Exclamation \! Double quote \" Hash (number) \# +%% Dollar \$ Percent \% Ampersand \& +%% Acute accent \' Left paren \( Right paren \) +%% Asterisk \* Plus \+ Comma \, +%% Minus \- Point \. Solidus \/ +%% Colon \: Semicolon \; Less than \< +%% Equals \= Greater than \> Question mark \? +%% Commercial at \@ Left bracket \[ Backslash \\ +%% Right bracket \] Circumflex \^ Underscore \_ +%% Grave accent \` Left brace \{ Vertical bar \| +%% Right brace \} Tilde \~} diff --git a/Master/texmf-dist/doc/latex/mil3/amsart.tpl b/Master/texmf-dist/doc/latex/mil3/amsart.tpl new file mode 100644 index 00000000000..22093b06205 --- /dev/null +++ b/Master/texmf-dist/doc/latex/mil3/amsart.tpl @@ -0,0 +1,187 @@ +% Sample file: amsart.tpl +% Typeset with LaTeX format + +% Preamble +\documentclass{amsart} +\usepackage{amssymb,latexsym} + +% Option 1 +% Theorems, lemmas, definitions in the most +% emphatic (plain) style, all separately numbered. + +\theoremstyle{plain} +\newtheorem{theorem}{Theorem} +\newtheorem{lemma}{Lemma} +\newtheorem{definition}{Definition} + +% Option 2 +% Theorems, lemmas, definitions, and corollaries in the most +% emphatic (plain) style, all consecutively numbered. + +\theoremstyle{plain} +\newtheorem{theorem}{Theorem} +\newtheorem{lemma}[theorem]{Lemma} +\newtheorem{definition}[theorem]{Definition} +\newtheorem{corollary}[theorem]{Corollary} + +% Option 3 +% Theorems, propositions, lemmas, and definitions +% in the most emphatic (plain) style. Propositions and lemmas are +% consecutively numbered within sections. +% Notations in the less emphatic (definition) style; +% the notations are not numbered. + +\theoremstyle{plain} +\newtheorem{theorem}{Theorem} +\newtheorem{proposition}{Proposition}[section] +\newtheorem{lemma}[Proposition]{Lemma} +\newtheorem{definition}{Definition} + +\theoremstyle{definition} +\newtheorem*{notation}{Notation} + +% Option 4 +% Theorems, definitions, and lemmas in the most emphatic +% (plain) style. Definitions and lemmas are consecutively +% numbered within sections. There is a Main Theorem in +% the most emphatic (plain) style, unnumbered. There are +%rules, in the less emphatic (definition) style, unnumbered. + +\theoremstyle{plain} +\newtheorem{theorem}{Theorem} +\newtheorem*{main}{Main Theorem} +\newtheorem{definition}{Definition}[section] +\newtheorem{lemma}[Definition]{Lemma}[section] + +\theoremstyle{definition} +\newtheorem*{Rule}{Rule} + +% Option 5 +% Theorems, corollaries, lemmas, and propositions, in the most +% emphatic (plain) style; all are numbered separately. +% There is a Main Theorem in the most emphatic (plain) +% style, unnumbered. There are definitions, in the less emphatic +% (definition) style. There are notations, in the least emphatic +%(remark) style, unnumbered. + +\theoremstyle{plain} +\newtheorem{theorem}{Theorem} +\newtheorem{corollary}{Corollary} +\newtheorem*{main}{Main Theorem} +\newtheorem{lemma}{Lemma} +\newtheorem{proposition}{Proposition} + +\theoremstyle{definition} +\newtheorem{definition}{Definition} + +\theoremstyle{remark} +\newtheorem*{notation}{Notation} + +\begin{document} +% One author +\title[shorttitle]{titleline1\\ + titleline2} +\author{name} +\address{line1\\ + line2\\ + line3} +\email{name@address} +\urladdr{http://webaddress} +\thanks{thanks} +% End one author + +% Two authors +\title[shorttitle]{titleline1\\ + titleline2} +\author{firstauthor} +\address{line1\\ + line2\\ + line3} +\email{firstauthor@email address} +\urladdr{http://firstauthorwebaddress} +\thanks{The firstauthor ... thanks} +\author{secondauthor} +\address{address2line1\\ + address2line2\\ + address2line3} +\email{secondauthor@email address} +\urladdr{http://secondauthorwebaddress} +\thanks{The second author ... thanks} +% End two authors + +\keywords{keywords} +\subjclass[2000]{Primary: subject; Secondary: subject} +\date{date} + +\begin{abstract} + abstract +\end{abstract} +\maketitle + +\begin{thebibliography}{99} + +\end{thebibliography} +\end{document} + +Papers: + +\bibitem{xxx} + author, \emph{title}, journal \textbf{volume} + (year), pp.~pages. + +Books: + +\bibitem{xxx} + author, \emph{title}, publisher, address, year. + +\bibitem{xxx} + author, \emph{title}, series, vol.~volume, + publisher, address, edition, date. + +\bibitem{xxx} + editor, ed., \emph{title}, publisher, address, year. + +Papers in books: + +\bibitem{xxx} + author, \emph{title}, book title, publisher, + year, pp~pages. + +\bibitem{xxx} + author, \emph{title}, book title (editor, ed.), + vol.~volume, publisher, publisher address, date, + pp.~pages. + +Theses: + +\bibitem{xxx} + author, \emph{title}, Ph.D. thesis, university, year. + +Tech reports: + +\bibitem{xxx} + author, \emph{title}, tech. report, university, year. + +Research notes: + +\bibitem{xxx} + author, \emph{title}, Research Note number, + university, location, date, research paper in + preparation. + +Conference proceedings: + +\bibitem{xxx} + author, \emph{title}, conference title (location, + year). + +\bibitem{xxx} + author, \emph{title}, conference title, year + (editor, ed.), vol.~volume, publisher, address, + pp.~pages. + +Abstracts: + +\bibitem{xxx} + author, \emph{title}, Abstract: journal, volume, + year.
\ No newline at end of file diff --git a/Master/texmf-dist/doc/latex/mil3/article.tpl b/Master/texmf-dist/doc/latex/mil3/article.tpl new file mode 100644 index 00000000000..62dd64d2f25 --- /dev/null +++ b/Master/texmf-dist/doc/latex/mil3/article.tpl @@ -0,0 +1,92 @@ +% Sample file: article.tpl +% Typeset with LaTeX format +\documentclass{article} +\usepackage{amssymb,latexsym,amsmath} +\newtheorem{theorem}{Theorem} +\newtheorem{lemma}{Lemma} +\newtheorem{proposition}{Proposition} +\newtheorem{definition}{Definition} +\newtheorem{corollary}{Corollary} +\newtheorem{notation}{Notation} + +\begin{document} +\title{titleline1\\ + titleline2} +\author{name\thanks{support}\\ + addressline1\\ + addressline2\\ + addressline3} +\date{date} +\maketitle + +\begin{abstract} + abstract text +\end{abstract} + +\begin{thebibliography}{99} + bibliographic entries +\end{thebibliography} +\end{document} + +Papers: + +\bibitem{xxx} + author, \emph{title}, journal \textbf{volume} + (year), pages. + +Books: + +\bibitem{xxx} + author, \emph{title}, publisher, address, year. + +\bibitem{xxx} + author, \emph{title}, series, vol.~volume, + publisher, address, edition, date. + +\bibitem{xxx} + editor, ed., \emph{title}, publisher, address, year. + +Papers in books: + +\bibitem{xxx} + author, \emph{title}, book title, publisher, + year, pp~pages. + +\bibitem{xxx} + author, \emph{title}, book title (editor, ed.), + vol.~volume, publisher, publisher address, date, + pp.~pages. + +Theses: + +\bibitem{xxx} + author, \emph{title}, Ph.D. thesis, university, year. + +Tech reports: + +\bibitem{xxx} + author, \emph{title}, tech. report, university, year. + +Research notes: + +\bibitem{xxx} + author, \emph{title}, Research Note number, + university, location, date, research paper in + preparation. + +Conference proceedings: + +\bibitem{xxx} + author, \emph{title}, conference title (location, + year). + +\bibitem{xxx} + author, \emph{title}, conference title, year + (editor, ed.), vol.~volume, publisher, address, + pp.~pages. + +Abstracts: + +\bibitem{xxx} + author, \emph{title}, Abstract: journal, volume, + year.
\ No newline at end of file diff --git a/Master/texmf-dist/doc/latex/mil3/article2.tpl b/Master/texmf-dist/doc/latex/mil3/article2.tpl new file mode 100644 index 00000000000..447014b8664 --- /dev/null +++ b/Master/texmf-dist/doc/latex/mil3/article2.tpl @@ -0,0 +1,97 @@ +% Sample file: article2.tpl for two authors +% Typeset with LaTeX format +\documentclass{article} +\usepackage{amssymb,latexsym,amsmath} +\newtheorem{theorem}{Theorem} +\newtheorem{lemma}{Lemma} +\newtheorem{proposition}{Proposition} +\newtheorem{definition}{Definition} +\newtheorem{corollary}{Corollary} +\newtheorem{notation}{Notation} + +\begin{document} +\title{titleline1\\ + titleline2} +\author{name1\thanks{support1}\\ + address1line1\\ + address1line2\\ + address1line3 + \and + name2\thanks{support2}\\ + address2line1\\ + address2line2\\ + address2line3} +\date{date} +\maketitle + +\begin{abstract} + abstract text +\end{abstract} + +\begin{thebibliography}{99} + bibliographic entries +\end{thebibliography} +\end{document} + +Papers: + +\bibitem{xxx} + author, \emph{title}, journal \textbf{volume} + (year), pages. + +Books: + +\bibitem{xxx} + author, \emph{title}, publisher, address, year. + +\bibitem{xxx} + author, \emph{title}, series, vol.~volume, + publisher, address, edition, date. + +\bibitem{xxx} + editor, ed., \emph{title}, publisher, address, year. + +Papers in books: + +\bibitem{xxx} + author, \emph{title}, book title, publisher, + year, pp~pages. + +\bibitem{xxx} + author, \emph{title}, book title (editor, ed.), + vol.~volume, publisher, publisher address, date, + pp.~pages. + +Theses: + +\bibitem{xxx} + author, \emph{title}, Ph.D. thesis, university, year. + +Tech reports: + +\bibitem{xxx} + author, \emph{title}, tech. report, university, year. + +Research notes: + +\bibitem{xxx} + author, \emph{title}, Research Note number, + university, location, date, research paper in + preparation. + +Conference proceedings: + +\bibitem{xxx} + author, \emph{title}, conference title (location, + year). + +\bibitem{xxx} + author, \emph{title}, conference title, year + (editor, ed.), vol.~volume, publisher, address, + pp.~pages. + +Abstracts: + +\bibitem{xxx} + author, \emph{title}, Abstract: journal, volume, + year.
\ No newline at end of file diff --git a/Master/texmf-dist/doc/latex/mil3/contents b/Master/texmf-dist/doc/latex/mil3/contents new file mode 100644 index 00000000000..bf07a88b12f --- /dev/null +++ b/Master/texmf-dist/doc/latex/mil3/contents @@ -0,0 +1,43 @@ +ams-alph.bst BibTeX style file, see below +ams-pln.bst BibTeX style file, see below +amsart.tpl AMS article template for one author, Section 8.4 +article.tpl article template for one author, Section 1.8 +article2.tpl article template for two authors, Section 1.8 +fonttbl.tex font table generator, Section 2.4.4 +gallery.tex formulas of the Formula Gallery, Section 1.5 +german.tex Babel with the german option, Appendix E +ggamsart.tpl personalized template for amsart document class, Section 8.4 +ggart.tpl article.tpl personalized, Section 1.8 +ggart2.tpl article2.tpl personalized, Section 1.8 +gratzer locator document +inbibl.tpl templates for bibliographic entries, Section 6.5.1 +intrart.tex introductory sample article, Section 1.7 +intrarti.tex introductory sample article, Section 11.1 +lattice.sty personalized file for user defined commands, Section 9.3 +letter.tex sample letter, Section 7.2 +master.tex master document for svsing6 book class, Appendix F +math.tex first note with math, Section 1.2.1 +mathb.tex first note with math with mistakes, Section 1.2.2 +multiline.tpl formulas in Chapter 5 +note1.tex first note, Section 1.1.2 +note1b.tex note1.tex with lines too long, Section 1.1.3 +note2.tex second note, Section 1.1.4 +noteslug.tex note1b.tex with slug, Section 1.1.3 +sampart.tex AMS sample article, Section 8.3 +sampartb.bib bibliographic database file for sampartb.tex, Section 10.2.1 +sampartb.tex AMS sample article to be used BibTeX, Section 10.2.1 +sampartu.tex AMS sample article with user defined commands, Section 9.4 +sample.html sample HTML code, Section 14.1 +svsing6.cls a book class of Springer-Verlag, New York, used in Appendix F +template.bib sample entry types in a bibliographic database file, Section 10.1.1 +textenv.tpl text environments in Chapter 3 and custom lists in Section 9.6 +topmat.tpl AMS top-matter samples, Section 8.2.5 + +In Chapter 10, the examples were made with the AMS bibliographic style file, +amsplain.bst. Oren Patashnik pointed out a very minor error in both +AMS bibliographic style files: The "in" used in cross-referencing is capitalized. +ams-alph.bst and ams-pln.bst are identical with version 1.2c of the AMS BibTeX style files, +except that this error was corrected. + +On CTAN, there is one more file: gratzer, so that users searching for gratzer on CTAN find +the directory in which these files are placed. diff --git a/Master/texmf-dist/doc/latex/mil3/fonttbl.tex b/Master/texmf-dist/doc/latex/mil3/fonttbl.tex new file mode 100644 index 00000000000..fa9c821348b --- /dev/null +++ b/Master/texmf-dist/doc/latex/mil3/fonttbl.tex @@ -0,0 +1,142 @@ +% Instruction: +% Typeset the document with LaTeX format +% Type in a line to choose the font you want to be +% represented in the tables +% or select the font by uncommenting lines. +% For instance, to get the tables for CM +% typewriter style, uncomment the \ttfamily line +% To get the tables for Times roman +% uncomment the \usepackage{times} line. + +\documentclass{article} +% \usepackage{times} +\begin{document} +% \rmfamily % roman +% \sffamily % sans serif +% \ttfamily % typewriter style +% \bfseries % bold +% \itshape % italics +% \scshape % small caps + +\begin{center} +\begin{tabular}{r|l|l|l|l|l|l|l|l|l|l} + & 0 & 1 & 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9\\\hline + +0& \symbol{0} &\symbol{1}&\symbol{2}&\symbol{3}& +\symbol{4}&\symbol{5}&\symbol{6}&\symbol{7}& +\symbol{8}&\symbol{9}\\ \hline + +10& \symbol{10} &\symbol{11}&\symbol{12}&\symbol{13}& +\symbol{14}&\symbol{15}&\symbol{16}&\symbol{17}& +\symbol{18}&\symbol{19}\\ \hline + +20& \symbol{20} &\symbol{21}&\symbol{22}&\symbol{23}& +\symbol{24}&\symbol{25}&\symbol{26}&\symbol{27}& +\symbol{28}&\symbol{29}\\ \hline + +30& \symbol{30} &\symbol{31}&\symbol{32}&\symbol{33}& +\symbol{34}&\symbol{35}&\symbol{36}&\symbol{37}& +\symbol{38}&\symbol{39}\\ \hline + +40& \symbol{40} &\symbol{41}&\symbol{42}&\symbol{43}& +\symbol{44}&\symbol{45}&\symbol{46}&\symbol{47}& +\symbol{48}&\symbol{49}\\ \hline + +50& \symbol{50} &\symbol{51}&\symbol{52}&\symbol{53}& +\symbol{54}&\symbol{55}&\symbol{56}&\symbol{57}& +\symbol{58}&\symbol{59}\\ \hline + +60& \symbol{60} &\symbol{61}&\symbol{62}&\symbol{63}& +\symbol{64}&\symbol{65}&\symbol{66}&\symbol{67}& +\symbol{68}&\symbol{69}\\ \hline + +70& \symbol{70} &\symbol{71}&\symbol{72}&\symbol{73}& +\symbol{74}&\symbol{75}&\symbol{76}&\symbol{77}& +\symbol{78}&\symbol{79}\\ \hline + +80& \symbol{80} &\symbol{81}&\symbol{82}&\symbol{83}& +\symbol{84}&\symbol{85}&\symbol{86}&\symbol{87}& +\symbol{88}&\symbol{89}\\ \hline + +90& \symbol{90} &\symbol{91}&\symbol{92}&\symbol{93}& +\symbol{94}&\symbol{95}&\symbol{96}&\symbol{97}& +\symbol{98}&\symbol{99}\\ \hline + +100& \symbol{100} &\symbol{101}&\symbol{102}&\symbol{103}& +\symbol{104}&\symbol{105}&\symbol{106}&\symbol{107}& +\symbol{108}&\symbol{109}\\ \hline + +110& \symbol{110} &\symbol{111}&\symbol{112}&\symbol{113}& +\symbol{114}&\symbol{115}&\symbol{116}&\symbol{117}& +\symbol{118}&\symbol{119}\\ \hline + +120& \symbol{120} &\symbol{121}&\symbol{122}&\symbol{123}& +\symbol{124}&\symbol{125}&\symbol{126}&\symbol{127} & & \\ \hline +\end{tabular} + +\medskip +Lower font table + +\bigskip +\begin{tabular}{r|l|l|l|l|l|l|l|l|l|l} + & 0 & 1 & 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9\\\hline + +120& & & & & & & & &\symbol{128} & \symbol{129}\\ \hline + +130& \symbol{130} &\symbol{131}&\symbol{132}&\symbol{133}& +\symbol{134}&\symbol{135}&\symbol{136}&\symbol{137}& +\symbol{138}&\symbol{139}\\ \hline + +140& \symbol{140} &\symbol{141}&\symbol{142}&\symbol{143}& +\symbol{144}&\symbol{145}&\symbol{146}&\symbol{147}& +\symbol{148}&\symbol{149}\\ \hline + +150& \symbol{150} &\symbol{151}&\symbol{152}&\symbol{153}& +\symbol{154}&\symbol{155}&\symbol{156}&\symbol{157}& +\symbol{158}&\symbol{159}\\ \hline + +160& \symbol{160} &\symbol{161}&\symbol{162}&\symbol{163}& +\symbol{164}&\symbol{165}&\symbol{166}&\symbol{167}& +\symbol{168}&\symbol{169}\\ \hline + +170& \symbol{170} &\symbol{171}&\symbol{172}&\symbol{173}& +\symbol{174}&\symbol{175}&\symbol{176}&\symbol{177}& +\symbol{178}&\symbol{179}\\ \hline + +180& \symbol{180} &\symbol{181}&\symbol{182}&\symbol{183}& +\symbol{184}&\symbol{185}&\symbol{186}&\symbol{187}& +\symbol{188}&\symbol{189}\\ \hline + +190& \symbol{190} &\symbol{191}&\symbol{192}&\symbol{193}& +\symbol{194}&\symbol{195}&\symbol{196}&\symbol{197}& +\symbol{198}&\symbol{199}\\ \hline + +200& \symbol{200} &\symbol{201}&\symbol{202}&\symbol{203}& +\symbol{204}&\symbol{205}&\symbol{206}&\symbol{207}& +\symbol{208}&\symbol{209}\\ \hline + +210& \symbol{210} &\symbol{211}&\symbol{212}&\symbol{213}& +\symbol{214}&\symbol{215}&\symbol{216}&\symbol{217}& +\symbol{218}&\symbol{219}\\ \hline + +220& \symbol{220} &\symbol{221}&\symbol{222}&\symbol{223}& +\symbol{224}&\symbol{225}&\symbol{226}&\symbol{227}& +\symbol{228}&\symbol{229}\\ \hline + +230& \symbol{230} &\symbol{231}&\symbol{232}&\symbol{233}& +\symbol{234}&\symbol{235}&\symbol{236}&\symbol{237}& +\symbol{238}&\symbol{239}\\ \hline + +240& \symbol{240} &\symbol{241}&\symbol{242}&\symbol{243}& +\symbol{244}&\symbol{245}&\symbol{246}&\symbol{247}& +\symbol{248}&\symbol{249}\\ \hline + +250& \symbol{250} &\symbol{251}&\symbol{252}&\symbol{253}& +\symbol{254}&\symbol{255}& & & & \\ \hline + +\end{tabular} + +\medskip +Upper font table +\end{center} +\end{document}
\ No newline at end of file diff --git a/Master/texmf-dist/doc/latex/mil3/gallery.tex b/Master/texmf-dist/doc/latex/mil3/gallery.tex new file mode 100644 index 00000000000..9bd056de146 --- /dev/null +++ b/Master/texmf-dist/doc/latex/mil3/gallery.tex @@ -0,0 +1,263 @@ +% Sample file: gallery.tex formula template file +% Typeset with LaTeX format + +\documentclass{article} + +\usepackage{amssymb,latexsym,amsmath} + +\begin{document} + +Section 1.4. Building a formula step-by-step + +Step 1 +$\left[ \frac{n}{2} \right]$ + +Step 2 +\[ + \sum_{i = 1}^{ \left[ \frac{n}{2} \right] } +\] + +Step 3 +\[ + x_{i, i + 1}^{i^{2}} \qquad \left[ \frac{i + 3}{3} \right] +\] + +Step 4 +\[ + \binom{ x_{i,i + 1}^{i^{2}} }{ \left[ \frac{i + 3}{3} \right] } +\] + +Step 5 +$\sqrt{ \mu(i)^{ \frac{3}{2} } (i^{2} - 1) }$ + +$\sqrt{ \mu(i)^{ \frac{3}{2} } (i^{2} - 1) }$ + +Step 6 +$\sqrt[3]{ \rho(i) - 2 }$ $\sqrt[3]{ \rho(i) - 1 }$ + +Step 7 +\[ + \frac{ \sqrt{ \mu(i)^{ \frac{3}{2}} (i^{2} -1) } } + { \sqrt[3]{\rho(i) - 2} + \sqrt[3]{\rho(i) - 1} } +\] + +Step 8 +\[ + \sum_{i = 1}^{ \left[ \frac{n}{2} \right] } + \binom{ x_{i, i + 1}^{i^{2}} } + { \left[ \frac{i + 3}{3} \right] } + \frac{ \sqrt{ \mu(i)^{ \frac{3}{2}} (i^{2} - 1) } } + { \sqrt[3]{\rho(i) - 2} + \sqrt[3]{\rho(i) - 1} } +\] + +\[\sum_{i=1}^{\left[\frac{n}{2}\right]}\binom{x_{i,i+1}^{i^{2}}} +{\left[\frac{i+3}{3}\right]}\frac{\sqrt{\mu(i)^{\frac{3} +{2}}(i^{2}-1)}}{\sqrt[3]{\rho(i)-2}+\sqrt[3]{\rho(i)-1}}\] + +%\[\sum_{i=1}^{\left[\frac{n}{2}\right]}\binom{x_{i,i+1}^{i^{2}}} +%{\left[\frac{i+3}{3}\right]}\frac{\sqrt{\mu(i)^{\frac{3} +%{2}}}(i^{2}-1)}}{\sqrt[3]{\rho(i)-2}+\sqrt[3]{\rho(i)-1}}\] + +Section 1.5 Formula gallery + +Formula 1 +\[ + x \mapsto \{\, c \in C \mid c \leq x \,\} +\] + +Formula 2 +\[ + \left| \bigcup (\, I_{j} \mid j \in J \,) \right| + < \mathfrak{m} +\] + +Formula 3 +\[ + A = \{\, x \in X \mid x \in X_{i}, + \mbox{ for some $i \in I$} \,\} +\] + +Formula 4 +\[ + \langle a_{1},a_{2} \rangle \leq \langle a'_{1},a'_{2}\rangle + \qquad \mbox{if{f}} \qquad a_{1} < a'_{1} \quad \mbox{or} + \quad a_{1} = a'_{1} \mbox{ and } a_{2} \leq a'_{2} +\] + +Formula 5 +\[ + \Gamma_{u'} = \{\, \gamma \mid \gamma < 2\chi, + \ B_{\alpha} \nsubseteq u', \ B_{\gamma} \subseteq u' \,\} +\] + +Formula 6 +\[ + A = B^{2} \times \mathbb{Z} +\] + +Formula 7 +\[ + y^C \equiv z \vee \bigvee_{ i \in C } \left[ s_{i}^{C} \right] + \pmod{ \Phi } +\] + +Formula 8 +\[ + y \vee \bigvee (\, [B_{\gamma}] \mid \gamma \in \Gamma \,) + \equiv z \vee \bigvee (\, [B_{\gamma}] + \mid \gamma \in \Gamma \,) \pmod{ \Phi^{x} } +\] + +Formula 9 +\[ + f(\mathbf{x}) = \bigvee\nolimits_{\!\mathfrak{m}} + \left(\, + \bigwedge\nolimits_{\mathfrak{m}} + (\, x_{j} \mid j \in I_{i} \,) \mid i < \aleph_{\alpha} + \,\right) + \] + +Formula 10 +\[ + \left. \widehat{F}(x) \right|_{a}^{b} + = \widehat{F}(b) - \widehat{F}(a) +\] + +Formula 11 +\[ + u \underset{\alpha}{+} v \overset{1}{\thicksim} w + \overset{2}{\thicksim} z +\] + +Formula 12 +\[ + f(x) \overset{ \text{def} }{ = } x^{2} - 1 +\] + +Formula 13 +\[ + \overbrace{a + b + \cdots + z}^{n} +\] + +Formula 14 +\[ + \begin{vmatrix} + a + b + c & uv\\ + a + b & c + d + \end{vmatrix} + = 7 +\] + +\[ + \begin{Vmatrix} + a + b + c & uv\\ + a + b & c + d + \end{Vmatrix} + = 7 +\] + +\[ + \left\|\begin{array}{cc} + a + b + c & uv\\ + a + b & c + d + \end{array}\right\| + = 7 +\] + +Formula 15 +\[ + \sum_{j \in \mathbf{N}} b_{ij} \hat{y}_{j} + = \sum_{j \in \mathbf{N}} b^{(\lambda)}_{ij} \hat{y}_{j} + + (b_{ii} - \lambda_{i}) \hat{y}_{i} \hat{y} +\] + +Formula 16 +\[ + \left( \prod^n_{\, j = 1} \hat x_{j} \right) H_{c} + = \frac{1}{2} \hat k_{ij} \det \hat{ \mathbf{K} }(i|i) +\] + +\[ + \biggl( \prod^n_{\, j = 1} \hat x_{j} \biggr) H_{c} + = \frac{1}{2} \hat{k}_{ij} \det \widehat{ \mathbf{K} }(i|i) +\] + +Formula 17 +\[ + \det \mathbf{K} (t = 1, t_{1}, \ldots, t_{n}) + = \sum_{I \in \mathbf{n} }(-1)^{|I|} \prod_{i \in I} t_{i} + \prod_{j \in I} (D_{j} + \lambda_{j} t_{j}) + \det \mathbf{A}^{(\lambda)}(\,\overline{I} | \overline{I}\,) + = 0 +\] + +Formula 18 +\[ + \lim_{(v, v') \to (0, 0)} + \frac{H(z + v) - H(z + v') - BH(z)(v - v')} + {\| v - v' \|} = 0 +\] + +Formula 19 +\[ + \int_{\mathcal{D}} | \overline{\partial u} |^{2} + \Phi_{0}(z) e^{\alpha |z|^2} + \geq c_{4} \alpha \int_{\mathcal{D}} |u|^{2} \Phi_{0} + e^{\alpha |z|^{2}} + + c_{5} \delta^{-2} \int_{A} |u|^{2} + \Phi_{0} e^{\alpha |z|^{2}} +\] + +Formula 20 +\[ + \mathbf{A} = + \begin{pmatrix} + \dfrac{\varphi \cdot X_{n, 1}} + {\varphi_{1} \times \varepsilon_{1}} + & (x + \varepsilon_{2})^{2} & \cdots + & (x + \varepsilon_{n - 1})^{n - 1} + & (x + \varepsilon_{n})^{n}\\[10pt] + \dfrac{\varphi \cdot X_{n, 1}} + {\varphi_{2} \times \varepsilon_{1}} + & \dfrac{\varphi \cdot X_{n, 2}} + {\varphi_{2} \times \varepsilon_{2}} + & \cdots & (x + \varepsilon_{n - 1})^{n - 1} + & (x + \varepsilon_{n})^{n}\\ + \hdotsfor{5}\\ + \dfrac{\varphi \cdot X_{n, 1}} + {\varphi_{n} \times \varepsilon_{1}} + & \dfrac{\varphi \cdot X_{n, 2}} + {\varphi_{n} \times \varepsilon_{2}} + & \cdots & \dfrac{\varphi \cdot X_{n, n - 1}} + {\varphi_{n} \times \varepsilon_{n - 1}} + & \dfrac{\varphi\cdot X_{n, n}} + {\varphi_{n} \times \varepsilon_{n}} + \end{pmatrix} + + \mathbf{I}_{n} +\] + + +Section 9.1.3 User-defined commands + +Formula 20 with user-defined commands: + +\newcommand{\quot}[2]{% +\dfrac{\varphi \cdot X_{n, #1}}% +{\varphi_{#2} \times \varepsilon_{#1}}} +\newcommand{\exn}[1]{(x+\varepsilon_{#1})^{#1}} + +\[ + \mathbf{A} = + \begin{pmatrix} + \quot{1}{1} & \exn{2} & \cdots & \exn{n - 1} + & \exn{n}\\[10pt] + \quot{1}{2} & \quot{2}{2} & \cdots & \exn{n - 1} + &\exn{n}\\ + \hdotsfor{5}\\ + \quot{1}{n} & \quot{2}{n} & \cdots & + \quot{n - 1}{n} & \quot{n}{n} + \end{pmatrix} + + \mathbf{I}_{n} +\] +\end{document} + diff --git a/Master/texmf-dist/doc/latex/mil3/german.tex b/Master/texmf-dist/doc/latex/mil3/german.tex new file mode 100644 index 00000000000..a8089a6bb27 --- /dev/null +++ b/Master/texmf-dist/doc/latex/mil3/german.tex @@ -0,0 +1,14 @@ +%Sample file for Babel with german +\documentclass{article} +\usepackage[german]{babel} +\usepackage[T1]{fontenc} + +\begin{document} +\section{H"ullenoperatoren} +Es sei $P$ eine teilweise geordnete Menge. Wir +sagen, da"s in $P$ ein \emph{H"ullenoperator} +$\lambda$ erkl"art ist, wenn sich jedem $a \in P$ +ein eindeuting bestimmtes $\lambda(a) \in P$ +zuordnen l"a"st, so da"s die folgenden +Bedingungen erf"ullt sind. +\end{document} diff --git a/Master/texmf-dist/doc/latex/mil3/ggamsart.tpl b/Master/texmf-dist/doc/latex/mil3/ggamsart.tpl new file mode 100644 index 00000000000..22987b91a6e --- /dev/null +++ b/Master/texmf-dist/doc/latex/mil3/ggamsart.tpl @@ -0,0 +1,113 @@ +% Sample file: ggamsart.tpl +% Typeset with LaTeX format + +% Preamble +\documentclass{amsart} +\usepackage{amssymb,latexsym} + +% Theorems, corollaries, lemmas, and propositions, in the most +% emphatic (plain) style; all are numbered separately. +% There is a Main Theorem in the most emphatic (plain) +% style, unnumbered. There are definitions, in the less emphatic +% (definition) style. There are notations, in the least emphatic +%(remark) style, unnumbered. + +\theoremstyle{plain} +\newtheorem{theorem}{Theorem} +\newtheorem{corollary}{Corollary} +\newtheorem*{main}{Main Theorem} +\newtheorem{lemma}{Lemma} +\newtheorem{proposition}{Proposition} + +\theoremstyle{definition} +\newtheorem{definition}{Definition} + +\theoremstyle{remark} +\newtheorem*{notation}{Notation} + +\begin{document} +\title[short title]{titleline1\\ + titleline2} +% One author +\author{George Gr\"{a}tzer} +\address{University of Manitoba\\ + Department of Mathematics\\ + Winnipeg, MB R3T 2N2\\ + Canada} +\email{gratzer@cc.umanitoba.ca} +\urladdr{http://server.maths.umanitoba.ca/homepages/gratzer/} +\thanks{Research supported by the NSERC of Canada} +% End one author + +\keywords{keywords} +\subjclass[2000]{Primary: subject; Secondary: subject} +\date{date} + +\begin{abstract} + abstract text +\end{abstract} +\maketitle + +% Bibliography +\begin{thebibliography}{99} + bibliographic entries +\end{thebibliography} +\end{document} + +Papers: + +\bibitem{xxx} +author, \emph{title}, journal \textbf{volume} (year), +pp.~pages. + +Books: + +\bibitem{xxx} +author, \emph{title}, publisher, address, year. + +\bibitem{xxx} +author, \emph{title}, series, vol.~volume, publisher, + address, edition, date. + +\bibitem{xxx} +editor, ed., \emph{title}, publisher, address, year. + +Papers in books: + +\bibitem{xxx} +author, \emph{title}, book title, publisher, year, pp~pages. + +\bibitem{xxx} +author, \emph{title}, book title (editor, ed.), vol.~volume, +publisher, publisher address, date, pp.~pages. + +Theses: + +\bibitem{xxx} +author, \emph{title}, Ph.D. thesis, university, year. + +Tech reports: + +\bibitem{xxx} +author, \emph{title}, tech. report, university, year. + +Research notes: + +\bibitem{xxx} +author,\emph{title}, Research Note number, university, +location, date, research paper in preparation. + +Conference proceedings: + +\bibitem{xxx} +author, \emph{title}, conference title (location, year). + +\bibitem{xxx} +author, \emph{title}, conference title, year + (editor, ed.), vol.~volume, publisher, address, + pp.~pages. + +Abstracts: + +\bibitem{xxx} +author, \emph{title}, Abstract: journal, volume, year.
\ No newline at end of file diff --git a/Master/texmf-dist/doc/latex/mil3/ggart.tpl b/Master/texmf-dist/doc/latex/mil3/ggart.tpl new file mode 100644 index 00000000000..539084e7b5d --- /dev/null +++ b/Master/texmf-dist/doc/latex/mil3/ggart.tpl @@ -0,0 +1,97 @@ +% Sample file: ggart.tpl +% Typeset with LaTeX format + +\documentclass{article} +\usepackage{latexsym} + +\newtheorem{theorem}{Theorem} +\newtheorem{lemma}{Lemma} +\newtheorem{proposition}{Proposition} +\newtheorem{definition}{Definition} +\newtheorem{corollary}{Corollary} +\newtheorem{notation}{Notation} + +\begin{document} +\title{titleline1\\ + titleline2} +\author{George Gr\"{a}tzer\thanks{Research supported by the + NSERC of Canada.}\\ + University of Manitoba\\ + Department of Mathematics\\ + Winnipeg, MB R3T 2N2\\ + Canada} +\date{date} +\maketitle + +\begin{abstract} + abstract +\end{abstract} + +\begin{thebibliography}{99} + + +\end{thebibliography} +\end{document} + +Papers: + +\bibitem{xxx} + author, \emph{title}, journal \textbf{volume} + (year), pages. + +Books: + +\bibitem{xxx} + author, \emph{title}, publisher, address, year. + +\bibitem{xxx} + author, \emph{title}, series, vol.~volume, + publisher, address, edition, date. + +\bibitem{xxx} + editor, ed., \emph{title}, publisher, address, year. + +Papers in books: + +\bibitem{xxx} + author, \emph{title}, book title, publisher, + year, pp~pages. + +\bibitem{xxx} + author, \emph{title}, book title (editor, ed.), + vol.~volume, publisher, publisher address, date, + pp.~pages. + +Theses: + +\bibitem{xxx} + author, \emph{title}, Ph.D. thesis, university, year. + +Tech reports: + +\bibitem{xxx} + author, \emph{title}, tech. report, university, year. + +Research notes: + +\bibitem{xxx} + author, \emph{title}, Research Note number, + university, location, date, research paper in + preparation. + +Conference proceedings: + +\bibitem{xxx} + author, \emph{title}, conference title (location, + year). + +\bibitem{xxx} + author, \emph{title}, conference title, year + (editor, ed.), vol.~volume, publisher, address, + pp.~pages. + +Abstracts: + +\bibitem{xxx} + author, \emph{title}, Abstract: journal, volume, + year.
\ No newline at end of file diff --git a/Master/texmf-dist/doc/latex/mil3/ggart2.tpl b/Master/texmf-dist/doc/latex/mil3/ggart2.tpl new file mode 100644 index 00000000000..09350d4b0eb --- /dev/null +++ b/Master/texmf-dist/doc/latex/mil3/ggart2.tpl @@ -0,0 +1,101 @@ +% Sample file: ggart2.tpl for two authors +% Typeset with LaTeX format + +\documentclass{article} +\usepackage{latexsym} + +\newtheorem{theorem}{Theorem} +\newtheorem{lemma}{Lemma} +\newtheorem{proposition}{Proposition} +\newtheorem{definition}{Definition} +\newtheorem{corollary}{Corollary} +\newtheorem{notation}{Notation} + +\begin{document} +\title{titleline1\\ + titleline2} +\author{George Gr\"{a}tzer\thanks{Research supported by the + NSERC of Canada.}\\ + University of Manitoba\\ + Department of Mathematics\\ + Winnipeg, MB R3T 2N2\\ + Canada + \and + name2\thanks{support2}\\ + address2line1\\ + address2line2\\ + address2line3} +\date{date} +\maketitle + +\begin{abstract} + abstract +\end{abstract} + +\begin{thebibliography}{99} + bibliographic entries +\end{thebibliography} +\end{document} + +Papers: + +\bibitem{xxx} + author, \emph{title}, journal \textbf{volume} + (year), pages. + +Books: + +\bibitem{xxx} + author, \emph{title}, publisher, address, year. + +\bibitem{xxx} + author, \emph{title}, series, vol.~volume, + publisher, address, edition, date. + +\bibitem{xxx} + editor, ed., \emph{title}, publisher, address, year. + +Papers in books: + +\bibitem{xxx} + author, \emph{title}, book title, publisher, + year, pp~pages. + +\bibitem{xxx} + author, \emph{title}, book title (editor, ed.), + vol.~volume, publisher, publisher address, date, + pp.~pages. + +Theses: + +\bibitem{xxx} + author, \emph{title}, Ph.D. thesis, university, year. + +Tech reports: + +\bibitem{xxx} + author, \emph{title}, tech. report, university, year. + +Research notes: + +\bibitem{xxx} + author, \emph{title}, Research Note number, + university, location, date, research paper in + preparation. + +Conference proceedings: + +\bibitem{xxx} + author, \emph{title}, conference title (location, + year). + +\bibitem{xxx} + author, \emph{title}, conference title, year + (editor, ed.), vol.~volume, publisher, address, + pp.~pages. + +Abstracts: + +\bibitem{xxx} + author, \emph{title}, Abstract: journal, volume, + year.
\ No newline at end of file diff --git a/Master/texmf-dist/doc/latex/mil3/gratzer b/Master/texmf-dist/doc/latex/mil3/gratzer new file mode 100644 index 00000000000..5de320e02af --- /dev/null +++ b/Master/texmf-dist/doc/latex/mil3/gratzer @@ -0,0 +1,7 @@ +This small document was added to the mil3 (Math into +LaTeX, third edition) distribution, so that people looking for +it with + +quote site index gratzer + +would find it. diff --git a/Master/texmf-dist/doc/latex/mil3/inbibl.tpl b/Master/texmf-dist/doc/latex/mil3/inbibl.tpl new file mode 100644 index 00000000000..e96bdbcc032 --- /dev/null +++ b/Master/texmf-dist/doc/latex/mil3/inbibl.tpl @@ -0,0 +1,74 @@ +% Sample file: inbibl.tpl +% in article bibliography template file + +\begin{thebibliography}{99} +\bibitem{hA70} + Henry~H. Albert, + \emph{Free torsoids}, + Current Trends in Lattice Theory, D.~Van Nostrand, 1970. +\bibitem{hA70a} + Henry~H. Albert, + \emph{Free torsoids}, + Current Trends in Lattice Theory (G.~H. Birnbaum, ed.), vol.~7, + D.~Van Nostrand, Princeton, + January, 1970, no translation available, pp.~173--215 (German). +\bibitem{sF90} + Soo-Key Foo, + \emph{Lattice Constructions}, + Ph.D. thesis, University of Winnebago, 1990. +\bibitem{sF90a} + Soo-Key Foo, + \emph{Lattice Constructions}, + Ph.D. thesis, University of Winnebago, Winnebago, MN, + December 1990, final revision not yet available. +\bibitem{gF86} + Grant~H. Foster, + \emph{Computational complexity in lattice theory}, + tech. report, Carnegie Mellon University, 1986. +\bibitem{gF86a} + Grant~H. Foster, + \emph{Computational complexity in lattice theory}, + Research Note 128A, Carnegie Mellon University, + Pittsburgh, PA, December, 1986, research article in preparation. +\bibitem{pK69} + Peter Konig, + \emph{Composition of functions}, + Proceedings of the Conference on Universal Algebra + (Kingston, 1969). +\bibitem{pK69a} + Peter Konig, + \emph{Composition of functions}, + Proceedings of the Conference on Universal Algebra + (G.~H. Birnbaum, ed.), + vol.~7, Canadian Mathematical Society, + Queen's Univ., Kingston, ON, + available from the Montreal office, pp.~1--106 (English). +\bibitem{wL75} + William~A. Landau, + \emph{Representations of complete lattices}, + Abstract: Notices Amer. Math. Soc., \textbf{18}, 937. +\bibitem{wL75a} + William~A. Landau, + \emph{Representations of complete lattices}, + Abstract: Notices Amer. Math. Soc. \textbf{18}, 937, + December, 1975. +\bibitem{gM68} + George~A. Menuhin, + \emph{Universal algebra}, + D.~van Nostrand, Princeton, 1968. +\bibitem{gM68a} + George~A. Menuhin, + \emph{Universal algebra}, second ed., + University Series in Higher Mathematics, vol.~58, + D.~van Nostrand, Princeton, + March, 1968 (English), no Russian translation. +\bibitem{eM57} + Ernest~T. Moynahan, + \emph{On a problem of M. Stone}, + Acta Math. Acad. Sci. Hungar. \textbf{8}~(1957), 455--460. +\bibitem{eM57a} + Ernest~T. Moynahan, + \emph{On a problem of M. Stone}, + Acta Math. Acad. Sci. Hungar. \textbf{8}~(1957), 455--460 + (English), Russian translation available. +\end{thebibliography} diff --git a/Master/texmf-dist/doc/latex/mil3/intrart.tex b/Master/texmf-dist/doc/latex/mil3/intrart.tex new file mode 100644 index 00000000000..724be01586c --- /dev/null +++ b/Master/texmf-dist/doc/latex/mil3/intrart.tex @@ -0,0 +1,127 @@ +% Introductory sample article: intrart.tex +% Typeset with LaTeX format + +\documentclass{article} +\usepackage{latexsym} +\newtheorem{theorem}{Theorem} +\newtheorem{definition}{Definition} +\newtheorem{notation}{Notation} + +\begin{document} +\title{A construction of complete-simple\\ + distributive lattices} +\author{George~A. Menuhin\thanks{Research supported + by the NSF under grant number 23466.}\\ + Computer Science Department\\ + Winnebago, MN 23714\\ + menuhin@cc.uwinnebago.edu} +\date{March 15, 1999} +\maketitle + +\begin{abstract} + In this note, we prove that there exist \emph{complete-simple + distributive lattices,} that is, complete distributive + lattices in which there are only two complete congruences. +\end{abstract} + +\section{Introduction}\label{S:intro} +In this note, we prove the following result: + +\begin{theorem} + There exists an infinite complete distributive lattice~$K$ + with only the two trivial complete congruence relations. +\end{theorem} + +\section{The $\Pi^{*}$ construction}\label{S:P*} +The following construction is crucial in the proof of our Theorem: + +\begin{definition}\label{D:P*} + Let $D_{i}$, for $i \in I$, be complete distributive + lattices satisfying condition~\textup{(J)}. Their + $\Pi^{*}$ product is defined as follows: + \[ + \Pi^{*} ( D_{i} \mid i \in I ) = + \Pi ( D_{i}^{-} \mid i \in I ) + 1; + \] + that is, $\Pi^{*} ( D_{i} \mid i \in I )$ is + $\Pi ( D_{i}^{-} \mid i \in I )$ with a new unit element. +\end{definition} + +\begin{notation} + If $i \in I$ and $d \in D_{i}^{-}$, then + \[ + \langle \ldots, 0, \ldots, d, \ldots, 0, \ldots \rangle + \] + is the element of $\Pi^{*} ( D_{i} \mid i \in I )$ whose + $i$-th component is $d$ and all the other components + are $0$. +\end{notation} + +See also Ernest~T. Moynahan~\cite{eM57a}. + +Next we verify the following result: + +\begin{theorem}\label{T:P*} + Let $D_{i}$, $i \in I$, be complete distributive + lattices satisfying condition~\textup{(J)}. Let $\Theta$ + be a complete congruence relation on + $\Pi^{*} ( D_{i} \mid i \in I )$. + If there exist $i \in I$ and $d \in D_{i}$ with + $d < 1_{i}$ such that, for all $d \leq c < 1_{i}$, + \begin{equation}\label{E:cong1} + \langle \ldots, d, \ldots, 0, \ldots \rangle \equiv + \langle \ldots, c, \ldots, 0, \ldots \rangle \pmod{\Theta}, + \end{equation} + then $\Theta = \iota$. +\end{theorem} + +\emph{Proof.} Since +\begin{equation}\label{E:cong2} + \langle \ldots, d, \ldots, 0, \ldots \rangle \equiv + \langle \ldots, c, \ldots, 0, \ldots \rangle \pmod{\Theta}, +\end{equation} +and $\Theta$ is a complete congruence relation, it follows +from condition~(J) that +\begin{equation}\label{E:cong} + \langle \ldots, d, \ldots, 0, \ldots \rangle \equiv + \bigvee ( \langle \ldots, c, \ldots, 0, \ldots \rangle + \mid d \leq c < 1 ) \pmod{\Theta}. +\end{equation} + +Let $j \in I$, $j \neq i$, and let $a \in D_{j}^{-}$. +Meeting both sides of the congruence (\ref{E:cong2}) with +$\langle \ldots, a, \ldots, 0, \ldots \rangle$, we obtain that +\begin{equation}\label{E:comp} + 0 = \langle \ldots, a, \ldots, 0, \ldots \rangle \pmod{\Theta}, +\end{equation} +Using the completeness of $\Theta$ and (\ref{E:comp}), +we get: +\[ + 0 \equiv \bigvee ( \langle \ldots, a, \ldots, 0, \ldots + \rangle \mid a \in D_{j}^{-} ) = 1 \pmod{\Theta}, +\] +hence $\Theta = \iota$. + +\begin{thebibliography}{9} + \bibitem{sF90} + Soo-Key Foo, + \emph{Lattice Constructions}, + Ph.D. thesis, + University of Winnebago, Winnebago, MN, December, 1990. + \bibitem{gM68} + George~A. Menuhin, + \emph{Universal Algebra}, + D.~van Nostrand, Princeton, 1968. + \bibitem{eM57} + Ernest~T. Moynahan, + \emph{On a problem of M. Stone}, + Acta Math. Acad. Sci. Hungar. \textbf{8} (1957), 455--460. + \bibitem{eM57a} + Ernest~T. Moynahan, + \emph{Ideals and congruence relations in lattices.} II, + Magyar Tud. Akad. Mat. Fiz. Oszt. K\"{o}zl. \textbf{9} + (1957), 417--434. +\end{thebibliography} + +\end{document} + diff --git a/Master/texmf-dist/doc/latex/mil3/intrarti.tex b/Master/texmf-dist/doc/latex/mil3/intrarti.tex new file mode 100644 index 00000000000..ae5bc357006 --- /dev/null +++ b/Master/texmf-dist/doc/latex/mil3/intrarti.tex @@ -0,0 +1,142 @@ +% Introductory sample article with index entries: intrarti.tex +% Typeset with LaTeX format + +\documentclass{article} +\usepackage{latexsym} +\newtheorem{theorem}{Theorem} +\newtheorem{definition}{Definition} + +\newtheorem{notation}{Notation} +\usepackage{makeidx} +\makeindex + +\begin{document} +\title{A construction of complete-simple\\ + distributive lattices} +\author{George~A. Menuhin\thanks{Research supported + by the NSF under grant number 23466.}\\ + Computer Science Department\\ + Winnebago, MN 23714\\ + menuhin@cc.uwinnebago.edu} +\date{March 15, 1999} +\maketitle + +\begin{abstract} + In this note, we prove that there exist \emph{complete-simple + distributive lattices,} that is, complete distributive + lattices in which there are only two complete congruences. +\end{abstract} + +\section{Introduction}\label{S:intro} +In this note we prove the following result: + +\begin{theorem}\index{Main Theorem} + There exists an infinite complete distributive lattice~$K$ + with only the two trivial complete congruence relations. +\end{theorem} + +\section{The $\Pi^{*}$ construction}\label{S:P*} +\index{pistar@$\Pi^{*}$ construction} +\index{Main Theorem!exposition|(} +The following construction is crucial in our proof of our Theorem: + +\begin{definition}\label{D:P*} + Let $D_{i}$, $i \in I$, be complete distributive + lattices satisfying condition~\textup{(J)}. Their + $\Pi^{*}$ product is defined as follows: + \[ + \Pi^{*} ( D_{i} \mid i \in I ) = + \Pi ( D_{i}^{-} \mid i \in I ) + 1; + \] + that is, $\Pi^{*} ( D_{i} \mid i \in I )$ is + $\Pi ( D_{i}^{-} \mid i \in I )$ with a new unit element. +\end{definition} + +\begin{notation} +\index{<@$\langle \dots, 0, \dots, d, \dots, 0, + \dots \rangle$|textbf} + If $i \in I$ and $d \in D_{i}^{-}$, then + \[ + \langle \ldots, 0, \ldots, d, \ldots, 0, \ldots \rangle + \] + is the element of $\Pi^{*} ( D_{i} \mid i \in I )$ whose + $i$-th component is $d$ and all the other components + are $0$. +\end{notation} + +See also Ernest~T. +\index{Moynahan, Ernest~T.}% +Moynahan~\cite{eM57a}. + +Next we verify the following result: +\index{lattice}% +\index{lattice!distributive}% +\index{lattice!distributive!complete}% +\begin{theorem}\label{T:P*} + Let $D_{i}$, $i \in I$, be complete distributive + lattices satisfying condition~\textup{(J)}. Let $\Theta$ + be a complete congruence relation on + $\Pi^{*} ( D_{i} \mid i \in I )$. + If there exist $i \in I$ and $d \in D_{i}$ with + $d < 1_{i}$ such that for all $d \leq c < 1_{i}$, +\begin{equation}\label{E:cong} + \langle \ldots, d, \ldots, 0, \ldots \rangle \equiv + \bigvee ( \langle \ldots, c, \ldots, 0, \ldots \rangle + \mid d \leq c < 1 ) \pmod{\Theta}. +\end{equation} + then $\Theta = \iota$. +\end{theorem} + +\emph{Proof.} Since +\begin{equation}\label{E:cong2} + \langle \ldots, d, \ldots, 0, \ldots \rangle \equiv + \langle \ldots, c, \ldots, 0, \ldots \rangle \pmod{\Theta}, +\end{equation} +and $\Theta$ is a complete congruence relation, it follows +from condition~(J) that +\begin{equation}\label{E:cong} + \langle \ldots, d, \ldots, 0, \ldots \rangle \equiv + \bigvee ( \langle \ldots, c, \ldots, 0, \ldots \rangle + \mid d \leq c < 1 ) \pmod{\Theta}. +\end{equation} + +Let $j \in I$, $j \neq i$, and let $a \in D_{j}^{-}$. +Meeting both sides of the congruence (\ref{E:cong2}) with +$\langle \ldots, a, \ldots, 0, \ldots \rangle$, we obtain that +\begin{equation}\label{E:comp} + 0 = \langle \ldots, a, \ldots, 0, \ldots \rangle \pmod{\Theta}, +\end{equation} +Using the completeness of $\Theta$ and (\ref{E:comp}), +we get: +\index{<@$\langle \dots, 0, \dots, d, \dots, 0, + \dots \rangle$}% +\[ + 0 \equiv \bigvee ( \langle \ldots, a, \ldots, 0, \ldots \rangle + \mid a \in D_{j}^{-} ) = 1 \pmod{\Theta}, +\] +hence $\Theta = \iota$. +\index{Main Theorem!exposition|)} + +\begin{thebibliography}{9} + \bibitem{sF90}\index{Foo, Soo-Key}% + Soo-Key Foo, + \emph{Lattice Constructions}, + Ph.D. thesis, + University of Winnebago, Winnebago, MN, December, 1990. + \bibitem{gM68}\index{Menuhin, George~A.}% + George~A. Menuhin, + \emph{Universal Algebra}, + D.~van Nostrand, Princeton, 1968. + \bibitem{eM57}\index{Moynahan, Ernest~T.}% + Ernest~T. Moynahan, + \emph{On a problem of M. Stone}, + Acta Math. Acad. Sci. Hungar. \textbf{8} (1957), 455--460. + \bibitem{eM57a}\index{Moynahan, Ernest~T.}% + Ernest~T. Moynahan, + \emph{Ideals and congruence relations in lattices.} II, + Magyar Tud. Akad. Mat. Fiz. Oszt. K\"{o}zl. \textbf{9} + (1957), 417--434. +\end{thebibliography} +\printindex +\end{document} + diff --git a/Master/texmf-dist/doc/latex/mil3/lattice.sty b/Master/texmf-dist/doc/latex/mil3/lattice.sty new file mode 100644 index 00000000000..14e0aea8157 --- /dev/null +++ b/Master/texmf-dist/doc/latex/mil3/lattice.sty @@ -0,0 +1,134 @@ +% lattice.sty +% Command file for lattice papers +% lattice.sty +% Command file for lattice papers +\NeedsTeXFormat{LaTeX2e}[1999/06/01] +\ProvidesPackage{lattice}[1999/10/19 Commands for lattices] +\RequirePackage{amsmath} +\RequirePackage{amssymb} +\RequirePackage{latexsym} +\RequirePackage{eucal} +\RequirePackage{verbatim} +\RequirePackage{enumerate} +\RequirePackage{xspace} + +% Lattice operations +\newcommand{\jj}{\vee}% join +\newcommand{\mm}{\wedge}% meet +\newcommand{\JJ}{\bigvee}% big join +\newcommand{\MM}{\bigwedge}% big meet +\newcommand{\JJm}[2]{\JJ(\,#1\mid#2\,)}% big join with a middle +\newcommand{\MMm}[2]{\MM(\,#1\mid#2\,)}% big meet with a middle + +% Set operations +\newcommand{\uu}{\cup}% union +\newcommand{\ii}{\cap}% intersection +\newcommand{\UU}{\bigcup}% big union +\newcommand{\II}{\bigcap}% big intersection +\newcommand{\UUm}[2]{\UU(\,#1\mid#2\,)}% big union with a middle +\newcommand{\IIm}[2]{\II(\,#1\mid#2\,)} + % big intersection with a middle + +% Sets +\newcommand{\ci}{\subseteq}% contained in with equality +\newcommand{\nc}{\nsubseteq}% not \ci +\newcommand{\sci}{\subset}% strictly contained in +\newcommand{\nci}{\nc}% not \ci +\newcommand{\ce}{\supseteq}% containing with equality +\newcommand{\nce}{\nsupseteq}% not \ce +\newcommand{\nin}{\notin}% not \in +\newcommand{\es}{\varnothing}% the empty set +\newcommand{\set}[1]{\{#1\}}% set +\newcommand{\setm}[2]{\{\,#1\mid#2\,\}}% set with a middle +\def\vv<#1>{\langle#1\rangle}% vector + +% Partial ordering +\newcommand{\nle}{\nleq}% not \leq + +% Greek letters +\newcommand{\ga}{\alpha} +\newcommand{\gb}{\beta} +\newcommand{\gc}{\chi} +\newcommand{\gd}{\delta} +\renewcommand{\ge}{\varepsilon}% use \geq for >= +\newcommand{\gf}{\varphi} +\renewcommand{\gg}{\gamma}% old use >> +\newcommand{\gh}{\eta} +\newcommand{\gi}{\iota} +\newcommand{\gk}{\kappa} +\newcommand{\gl}{\lambda} +\newcommand{\gm}{\mu} +\newcommand{\gn}{\nu} +\newcommand{\go}{\omega} +\newcommand{\gp}{\pi} +\newcommand{\gq}{\theta} +\newcommand{\gr}{\varrho} +\newcommand{\gs}{\sigma} +\newcommand{\gt}{\tau} +\newcommand{\gu}{\upsilon} +\newcommand{\gv}{\vartheta} +\newcommand{\gx}{\xi} +\newcommand{\gy}{\psi} +\newcommand{\gz}{\zeta} + +\newcommand{\gG}{\Gamma} +\newcommand{\gD}{\Delta} +\newcommand{\gF}{\Phi} +\newcommand{\gL}{\Lambda} +\newcommand{\gO}{\Omega} +\newcommand{\gP}{\Pi} +\newcommand{\gQ}{\Theta} +\newcommand{\gS}{\Sigma} +\newcommand{\gU}{\Upsilon} +\newcommand{\gX}{\Xi} +\newcommand{\gY}{\Psi} + +% Font commands +\newcommand{\tbf}{\textbf}% text bold +\newcommand{\tit}{\textit}% text italic +\newcommand{\tsl}{\textsl}% text slanted +\newcommand{\tsc}{\textsc}% text small cap +\newcommand{\ttt}{\texttt}% text typewriter +\newcommand{\trm}{\textrm}% text roman +\newcommand{\tsf}{\textsf}% text sans serif +\newcommand{\tup}{\textup}% text upright + +\newcommand{\mbf}{\mathbf}% math bold +\providecommand{\mit}{\mathit}% math italic +\newcommand{\msf}{\mathsf}% math sans serif +\newcommand{\mrm}{\mathrm}% math roman +\newcommand{\mtt}{\mathtt}% math typewriter + +\newcommand{\B}{\boldsymbol} + % Bold math symbol, use as \B{a} +\newcommand{\C}[1]{\mathcal{#1}} + % Euler Script - only caps, use as \C{A} +\newcommand{\D}[1]{\mathbb{#1}} + % Doubled - blackboard bold - only caps, use as \D{A} +\newcommand{\E}[1]{\mathcal{#1}}% same as \C + % Euler Script - only caps, use as \E{A} +\newcommand{\F}[1]{\mathfrak{#1}}% Fraktur, use as \F{a} + +% Miscellaneous +\newcommand{\nl}{\newline} +\newcommand{\ol}[1]{\overline{#1}} +\newcommand{\ul}[1]{\underline{#1}} +\providecommand{\bysame}{\makebox[3em]{\hrulefill}\thinspace} +\newcommand{\q}{\quad}% spacing +\newcommand{\qq}{\qquad}% more spacing +\newcommand{\iso}{\cong}% isomorphic +\def\con#1=#2(#3){#1\equiv#2\pod{#3}} + %congruence, use it as \con a=b(\theta)% +\newenvironment{enumeratei}{\begin{enumerate}[\upshape (i)]}% + {\end{enumerate}} + %produces (i), (ii), etc. Cross-reference with \eqref. +\newenvironment{enumeratea}{\begin{enumerate}[\upshape (a)]}% + {\end{enumerate}} + %produces (a), (b), etc. Cross-reference with \eqref. +\theoremstyle{plain} +\newtheorem*{namedtheorem}{\theoremname} +\newcommand{\theoremname}{testing} +\newenvironment{named}[1]{\renewcommand{\theoremname}{#1} + \begin{namedtheorem}} + {\end{namedtheorem}} +\endinput
\ No newline at end of file diff --git a/Master/texmf-dist/doc/latex/mil3/letter.tex b/Master/texmf-dist/doc/latex/mil3/letter.tex new file mode 100644 index 00000000000..a9202c066c5 --- /dev/null +++ b/Master/texmf-dist/doc/latex/mil3/letter.tex @@ -0,0 +1,28 @@ +% Sample file: letter.tex +% Typeset with LaTeX format +\documentclass{letter} + +\begin{document} + +\address{George Gr\"{a}tzer\\ + Department of Mathematics\\ + University of Manitoba\\ + Winnipeg, MB, R3T 2N2\\ + Canada} +\signature{George Gr\"{a}tzer} +\date{} + +\begin{letter}{Prof.~John Hurtig\\ + Computer Science Department\\ + University of Winnebago\\ + Winnebago, Minnesota 23714} +\opening{Dear John,} +Enclosed you will find the first draft of the five-year plan. +\closing{Friendly greetings,} +\cc{Carla May\\ + Barry Bold} +\encl{Five-year plan} +\ps{P.S. Remember our lunch meeting tomorrow! G.} +\end{letter} + +\end{document}
\ No newline at end of file diff --git a/Master/texmf-dist/doc/latex/mil3/master.tex b/Master/texmf-dist/doc/latex/mil3/master.tex new file mode 100644 index 00000000000..94a7da5f549 --- /dev/null +++ b/Master/texmf-dist/doc/latex/mil3/master.tex @@ -0,0 +1,27 @@ +%Master document for svsing6 +\documentclass{svsing6} +\usepackage{usercommands} +\makeindex + +\begin{document} +\frontmatter +\include{frontmatter}%Front matter +\tableofcontents +\include{introduction}%Introduction + +\mainmatter +\include{chapter1} +\include{chapter2} +\include{chapter3} +\include{chapter4} +\include{chapter5} + +\appendix +\include{appendix1} +\include{appendix2} + +\backmatter +\include{references} +\include{afterword} + +\printindex diff --git a/Master/texmf-dist/doc/latex/mil3/math.tex b/Master/texmf-dist/doc/latex/mil3/math.tex new file mode 100644 index 00000000000..49c78c2fa55 --- /dev/null +++ b/Master/texmf-dist/doc/latex/mil3/math.tex @@ -0,0 +1,21 @@ +% Sample file: math.tex +% Typeset with LaTeX format +\documentclass{article} + +\begin{document} +In first year calculus, we define intervals such as +$(u, v)$ and $(u, \infty)$. Such an interval is a +\emph{neighborhood} of $a$ +if $a$ is in the interval. Students should +realize that $\infty$ is only a +symbol, not a number. This is important since +we soon introduce concepts + such as $\lim_{x \to \infty} f(x)$. + +When we introduce the derivative +\[ + \lim_{x \to a} \frac{f(x) - f(a)}{x - a}, +\] +we assume that the function is defined and continuous +in a neighborhood of $a$. +\end{document} diff --git a/Master/texmf-dist/doc/latex/mil3/mathb.tex b/Master/texmf-dist/doc/latex/mil3/mathb.tex new file mode 100644 index 00000000000..51c0429cb25 --- /dev/null +++ b/Master/texmf-dist/doc/latex/mil3/mathb.tex @@ -0,0 +1,24 @@ +% Sample file: mathB.tex +% Typeset with LaTeX format +\documentclass{article} + +\begin{document} +In first year calculus, we define intervals such as +%$(u, v)$ and $(u, \infty)$. Such an interval is a + $(u, v)$ and (u, \infty)$. Such an interval is a + \emph{neighborhood} of $a$ +if $a$ is in the interval. Students should +realize that $\infty$ is only a +symbol, not a number. This is important since +we soon introduce concepts + such as $\lim_{x \to \infty} f(x)$. +%such as $\lim_{x \to \infty f(x)$. + +When we introduce the derivative +\[ + \lim_{x \to a} \frac{f(x) - f(a)}{x - a} + %\lim_{x \to a} \frac{f(x) - f(a) x - a} +\] +we assume that the function is defined and continuous +in a neighborhood of $a$. +\end{document} diff --git a/Master/texmf-dist/doc/latex/mil3/multline.tpl b/Master/texmf-dist/doc/latex/mil3/multline.tpl new file mode 100644 index 00000000000..09ad30d23bc --- /dev/null +++ b/Master/texmf-dist/doc/latex/mil3/multline.tpl @@ -0,0 +1,495 @@ +% Sample file: multline.tpl +% multiline math formula template file + + +% Section 5.2 Gathering formulas + +\begin{gather} + x_{1} x_{2} + x_{1}^{2} x_{2}^{2} + x_{3}, \label{E:mm1.1}\\ + x_{1} x_{3} + x_{1}^{2} x_{3}^{2} + x_{2}, \label{E:mm1.2}\\ + x_{1} x_{2} x_{3}. \label{E:mm1.3} +\end{gather} + +% 5.3 Splitting a long formula + +\begin{multline}\label{E:mm2} + (x_{1} x_{2} x_{3} x_{4} x_{5} x_{6})^{2}\\ + + (y_{1} y_{2} y_{3} y_{4} y_{5} +y_{1} y_{3} y_{4} y_{5} y_{6} + + y_{1} y_{2} y_{4} y_{5} y_{6} + + y_{1} y_{2} y_{3} y_{5} y_{6})^{2}\\ + + (z_{1} z_{2} z_{3} z_{4} z_{5} +z_{1} z_{3} z_{4} z_{5} z_{6} + + z_{1} z_{2} z_{4} z_{5} z_{6} + + z_{1} z_{2} z_{3} z_{5} z_{6})^{2}\\ + + (u_{1} u_{2} u_{3} u_{4} + u_{1} u_{2} u_{3} u_{5} + + u_{1} u_{2} u_{4} u_{5} + u_{1} u_{3} u_{4} u_{5})^{2} +\end{multline} + +\begin{multline*} + (x_{1} x_{2} x_{3} x_{4} x_{5} x_{6})^{2}\\ + + (x_{1} x_{2} x_{3} x_{4} x_{5} + + x_{1} x_{3} x_{4} x_{5} x_{6} + + x_{1} x_{2} x_{4} x_{5} x_{6} + + x_{1} x_{2} x_{3} x_{5} x_{6})^{2}\\ + + (x_{1} x_{2} x_{3} x_{4} + x_{1} x_{2} x_{3} x_{5} + + x_{1} x_{2} x_{4} x_{5} + x_{1} x_{3} x_{4} x_{5})^{2} +\end{multline*} +\begin{setlength}{\multlinegap}{0pt} + \begin{multline*} + (x_{1} x_{2} x_{3} x_{4} x_{5} x_{6})^{2}\\ + + (x_{1} x_{2} x_{3} x_{4} x_{5} + + x_{1} x_{3} x_{4} x_{5} x_{6} + + x_{1} x_{2} x_{4} x_{5} x_{6} + + x_{1} x_{2} x_{3} x_{5} x_{6})^{2}\\ + + (x_{1} x_{2} x_{3} x_{4} + x_{1} x_{2} x_{3} x_{5} + + x_{1} x_{2} x_{4} x_{5} + x_{1} x_{3} x_{4} x_{5})^{2} + \end{multline*} +\end{setlength} + +\begin{multline*} + (x_{1} x_{2} x_{3} x_{4} x_{5} x_{6})^{2}\\ + \shoveleft{+ (x_{1} x_{2} x_{3} x_{4} x_{5} + + x_{1} x_{3} x_{4} x_{5} x_{6} + + x_{1} x_{2} x_{4} x_{5} x_{6} + + x_{1} x_{2} x_{3} x_{5} x_{6})^{2}}\\ + + (x_{1} x_{2} x_{3} x_{4} + x_{1} x_{2} x_{3} x_{5} + + x_{1} x_{2} x_{4} x_{5} + x_{1} x_{3} x_{4} x_{5})^{2} +\end{multline*} + +% 5.4.3 Group numbering + +\begin{gather} + x_{1} x_{2} + x_{1}^{2} x_{2}^{2} + x_{3},\label{E:mm1} \\ + x_{1} x_{3} + x_{1}^{2} x_{3}^{2} + x_{2},\tag{\ref{E:mm1}a}\\ + x_{1} x_{2} x_{3};\tag{\ref{E:mm1}b} +\end{gather} + +\begin{subequations}\label{E:gp} + \begin{gather} + x_{1} x_{2} + x_{1}^{2} x_{2}^{2} + x_{3},\label{E:gp1}\\ + x_{1} x_{3} + x_{1}^{2} x_{3}^{2} + x_{2},\label{E:gp2}\\ + x_{1} x_{2} x_{3},\label{E:gp3} + \end{gather} +\end{subequations} + + % 5.5 Aligned columns + +\begin{align}\label{E:mm3} + f(x) &= x + yz & g(x) &= x + y + z\\ + h(x) &= xy + xz + yz & k(x) &= (x + y)(x + z)(y + z) + \notag +\end{align} + +% 5.5.1 An align variant + +\begin{flalign}\label{E:mm3fl} + f(x) &= x + yz & g(x) &= x + y + z\\ + h(x) &= xy + xz + yz & k(x) &= (x + y)(x + z)(y + z) + \notag +\end{flalign} + +% 5.5.2 eqnarray, the ancestor of align + +\begin{eqnarray} + x & = & 17y \\ + y & > & a + b + c +\end{eqnarray} + +\begin{align} + x & = 17y \\ + y & > a + b + c +\end{align} + +% 5.5.3 The subformula rule revisited + +\begin{align} + x_{1} + y_{1} + \left( \sum_{i < 5} \binom{5}{i} + &+ a^{2} \right)^{2}\\ + \left( \sum_{i < 5} \binom{5}{i} + \alpha^{2} \right)^{2} +\end{align} + +\begin{align*} + &x_{1} + y_{1} + \left( \sum_{i < 5} \binom{5}{i} + + a^{2} \right)^{2}\\ + &\phantom{x_{1} + y_{1} + {}} + \left( \sum_{i < 5} \binom{5}{i} + \alpha^{2} \right)^{2} +\end{align*} + +% 5.5.4 The alignat environment + +\begin{alignat}{2}\label{E:mm3A} + f(x) &= x + yz & g(x) &= x + y + z\\ + h(x) &= xy + xz + yz & k(x) &= (x + y)(x + z)(y + z) + \notag +\end{alignat} + +\begin{alignat}{2}\label{E:mm3B} + f(x) &= x + yz & g(x) &= x + y + z\\ + h(x) &= xy + xz + yz \qquad & k(x) &= (x + y)(x + z)(y + z) + \notag + +\begin{alignat}{2}\label{E:mm4} + x &= x \wedge (y \vee z) & &\quad\text{(by distributivity)}\\ + &= (x \wedge y) \vee (x \wedge z) & & + \quad\text{(by condition (M))}\notag\\ + &= y \vee z \notag +\end{alignat} + +\begin{alignat}{2} + (A + B C)x &+{} &C &y = 0,\\ + Ex &+{} &(F + G)&y = 23. +\end{alignat} + +\begin{alignat}{4} + a_{11}x_1 &+ a_{12}x_2 &&+ a_{13}x_3 && &&= y_1,\\ + a_{21}x_1 &+ a_{22}x_2 && &&+ a_{24}x_4 &&= y_2,\\ + a_{31}x_1 & &&+ a_{33}x_3 &&+ a_{34}x_4 &&= y_3. +\end{alignat} + +% 5.5.5 Intertext + +\begin{align}\label{E:mm5} + h(x) &= \int \left( + \frac{ f(x) + g(x) } + {1 + f^{2}(x)} + + \frac{1 + f(x)g(x)} + { \sqrt{1 - \sin x} } + \right) \, dx\\ + \intertext{The reader may find the following form easier to + read:} + &= \int \frac{1 + f(x)} + {1 + g(x)} + \, dx - 2 \arctan(x - 2) \notag +\end{align} + +\begin{align*} + f(x) &= x + yz & \qquad g(x) &= x + y + z \\ + \intertext{The reader also may find the following + polynomials useful:} + h(x) &= xy + xz + yz + & \qquad k(x) &= (x + y)(x + z)(y + z) +\end{align*} + +% 5.6 Aligned subsidiary math environments + +% 5.6.1 Subsidiary variants of aligned math environments + +\[ + \begin{aligned} + x &= 3 + \mathbf{p} + \alpha \\ + y &= 4 + \mathbf{q}\\ + z &= 5 + \mathbf{r} \\ + u &=6 + \mathbf{s} + \end{aligned} + \text{\qquad using\qquad} + \begin{gathered} + \mathbf{p} = 5 + a + \alpha \\ + \mathbf{q} = 12 \\ + \mathbf{r} = 13 \\ + \mathbf{s} = 11 + d + \end{gathered} +\] + +\begin{align}\label{E:mm5} + h(x) &= \int \left( + \frac{ f(x) + g(x) } + {1 + f^{2}(x)} + + \frac{1 + f(x)g(x)} + { \sqrt{1 - \sin x} } + \right) \, dx\\ + \intertext{The reader may find the following form easier to + read:} + &= \int \frac{1 + f(x)} + {1 + g(x)} + \, dx - 2 \arctan(x - 2) \notag +\end{align} + +\begin{equation}\label{E:mm6} + \begin{aligned} + h(x) &= \int \left( + \frac{ f(x) + g(x) } + { 1 + f^{2}(x) } + + \frac{ 1 + f(x)g(x) } + { \sqrt{1 - \sin x} } + \right) \, dx\\ + &= \int \frac{ 1 + f(x) } + { 1 + g(x) } \, dx - 2 \arctan (x - 2) + \end{aligned} +\end{equation} + +\[ + \begin{aligned}[b] + x &= 3 + \mathbf{p} + \alpha \\ + y &= 4 + \mathbf{q}\\ + z &= 5 + \mathbf{r} \\ + u &=6 + \mathbf{s} + \end{aligned} + \text{\qquad using\qquad} + \begin{gathered}[b] + \mathbf{p} = 5 + a + \alpha \\ + \mathbf{q} = 12 \\ + \mathbf{r} = 13 \\ + \mathbf{s} = 11 + d + \end{gathered} +\] + +% 5.6.2 Split + +\begin{equation}\label{E:mm7} + \begin{split} + (x_{1}x_{2}&x_{3}x_{4}x_{5}x_{6})^{2}\\ + &+ (x_{1}x_{2}x_{3}x_{4}x_{5} + + x_{1}x_{3}x_{4}x_{5}x_{6} + + x_{1}x_{2}x_{4}x_{5}x_{6} + + x_{1}x_{2}x_{3}x_{5}x_{6})^{2} + \end{split} +\end{equation} + +\begin{align}\label{E:mm8} + \begin{split} + f &= (x_{1} x_{2} x_{3} x_{4} x_{5} x_{6})^{2}\\ + &= (x_{1} x_{2} x_{3} x_{4} x_{5} + + x_{1} x_{3} x_{4} x_{5} x_{6} + + x_{1} x_{2} x_{4} x_{5} x_{6} + + x_{1} x_{2} x_{3} x_{5} x_{6})^{2}, + \end{split}\\ + g &= y_{1} y_{2} y_{3}.\label{E:mm9} +\end{align} + +\begin{gather}\label{E:mm10} + \begin{split} + f &= (x_{1} x_{2} x_{3} x_{4} x_{5} x_{6})^{2}\\ + &= (x_{1} x_{2} x_{3} x_{4} x_{5} + + x_{1} x_{3} x_{4} x_{5} x_{6} + + x_{1} x_{2} x_{4} x_{5} x_{6} + + x_{1} x_{2} x_{3} x_{5} x_{6})^{2}\\ + &= (x_{1} x_{2} x_{3} x_{4} + + x_{1} x_{2} x_{3} x_{5} + + x_{1} x_{2} x_{4} x_{5} + + x_{1} x_{3} x_{4} x_{5})^{2} + \end{split}\\ + \begin{align*} + g &= y_{1} y_{2} y_{3}\\ + h &= z_{1}^{2} z_{2}^{2} z_{3}^{2} z_{4}^{2} + \end{align*} +\end{gather} + +% 5.7 Adjusted columns + +\begin{equation*} + \left( + \begin{matrix} + a + b + c & uv & x - y & 27\\ + a + b & u + v & z & 1340 + \end{matrix} + \right) = + \left( + \begin{matrix} + 1 & 100 & 115 & 27\\ + 201 & 0 & 1 & 1340 + \end{matrix} + \right) +\end{equation*} + +\begin{equation*} + \left( + \begin{array}{cccr} + a + b + c & uv & x - y & 27\\ + a + b & u + v & z & 1340 + \end{array} + \right) = + \left( + \begin{array}{rrrr} + 1 & 100 & 115 & 27\\ + 201 & 0 & 1 & 1340 + \end{array} + \right) +\end{equation*} + +\begin{equation}\label{E:mm11} + f(x) = + \begin{cases} + -x^{2}, &\text{\CMR if $x < 0$;} \\ + \alpha + x, &\text{\CMR if $ 0 \leq x \leq 1$;}\\ + x^{2}, &\text{\CMR otherwise.} + \end{cases} +\end{equation} + +% 5.7.1 Matrices + +\begin{equation*} + \left( + \begin{matrix} + a + b + c & uv & x - y & 27 \\ + a + b & u + v & z & 1340 + \end{matrix} + \right) = + \left( + \begin{matrix} + 1 & 100 & 115 & 27 \\ + 201 & 0 & 1 & 1340 + \end{matrix} + \right) +\end{equation*} + +\begin{matrix} + a + b + c & uv & x - y & 27 \\ + a + b & u + v & z & 134 +\end{matrix} + +\begin{equation}\label{E:mm12} + \setcounter{MaxMatrixCols}{12} + \begin{matrix} + 1 & 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9 & 10 & 11 & 12\\ + 1 & 2 & 3 & \hdotsfor{7} & 11 & 12 + \end{matrix} +\end{equation} + +\begin{equation}\label{E:mm12dupl} + \setcounter{MaxMatrixCols}{12} + \begin{matrix} + 1 & 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9 & 10 & 11 & 12\\ + 1 & 2 & 3 & \hdotsfor[3]{7} & 11 & 12 + \end{matrix} +\end{equation} + +% Matrix variants + +\begin{alignat*}{3} + &\ + \begin{matrix} + a + b + c & uv\\ + a + b & c + d + \end{matrix} + \qquad + & & + \begin{pmatrix} + a + b + c & uv\\ + a + b & c + d + \end{pmatrix} + \qquad + & & + \begin{bmatrix} + a + b + c & uv\\ + a + b & c + d + \end{bmatrix} + \\ + & + \begin{vmatrix} + a + b + c & uv\\ + a + b & c + d + \end{vmatrix} + \qquad + & & + \begin{Vmatrix} + a + b + c & uv\\ + a + b & c + d + \end{Vmatrix} + \qquad + & & + \begin{Bmatrix} + a + b + c & uv\\ + a + b & c + d + \end{Bmatrix} +\end{alignat*} + +\begin{equation*} + \left( + \begin{matrix} + 1 & 0 & \dots & 0 \\ + 0 & 1 & \dots & 0 \\ + \vdots & \vdots & \ddots & \vdots\\ + 0 & 0 & \dots & 1 + \end{matrix} + \right] +\end{equation*} +\end{verbatim} +which produces +\begin{equation*} + \left( + \begin{matrix} + 1 & 0 & \dots & 0 \\ + 0 & 1 & \dots & 0 \\ + \vdots & \vdots & \ddots & \vdots\\ + 0 & 0 & \dots & 1 + \end{matrix} + \right] +\end{equation*} + +% Small matrix + +$\begin{pmatrix} + a + b + c & uv\\ + a + b & c + d +\end{pmatrix}$ + +$\left( +\begin{smallmatrix} + a + b + c & uv \\ + a + b & c + d +\end{smallmatrix} +\right)$ + +% 5.7.2 Arrays + +\begin{equation*} + \left( + \begin{array}{cccc} + a + b + c & uv & x - y & 27 \\ + a + b & u + v & z & 134 + \end{array} + \right) +\end{equation*} + +% 5.7.3 Cases + +\begin{equation} + f(x)= + \begin{cases} + -x^{2}, &\text{if $x < 0$;}\\ + \alpha + x, &\text{if $0 \leq x \leq 1$;}\\ + x^{2}, &\text{otherwise.} + \end{cases} +\end{equation} + +% 5.8 Commutative diagrams + +\[ + \begin{CD} + A @>>> B \\ + @VVV @VVV\\ + C @= D + \end{CD} +\] + +\[ + \begin{CD} + \mathbb{C} @>H_{1}>> \mathbb{C} @>H_{2}>> \mathbb{C} \\ + @VP_{c,3}VV @VP_{\bar{c},3}VV @VVP_{-c,3}V \\ + \mathbb{C} @>H_{1}>> \mathbb{C} @>H_{2}>> \mathbb{C} + \end{CD} +\] + +\[ + \begin{CD} + A @>\log>> B @>>\text{bottom}> C + @= D @<<< E + @<<< F\\ + @V\text{one-one}VV @. @AA\text{onto}A @|\\ + X @= Y @>>> Z + @>>> U\\ + @A\beta AA @AA\gamma A @VVV @VVV\\ + D @>\alpha>> E @>>> H + @. I\\ + \end{CD} +\] + +% 5.9 Pagebreak + +{\allowdisplaybreaks +\begin{align}\label{E:mm13} + a &= b + c,\\ + d &= e + f,\\ + x &= y + z,\\ + u &= v + w. +\end{align} +}% end of \allowdisplaybreaks diff --git a/Master/texmf-dist/doc/latex/mil3/note1.tex b/Master/texmf-dist/doc/latex/mil3/note1.tex new file mode 100644 index 00000000000..e4425f67797 --- /dev/null +++ b/Master/texmf-dist/doc/latex/mil3/note1.tex @@ -0,0 +1,22 @@ +% Sample file: note1.tex +% Typeset with LaTeX format +\documentclass{article} + +\begin{document} +It is of some concern to me that +the terminology used in multi-section + math courses is not uniform. + +In several sections of the course on +matrix theory, the term + ``hamiltonian-reduced'' is used. + I, personally, would rather call these ``hyper-simple.'' I +invite others to comment on this problem. + +Of special concern to me is the terminology in the course +by Prof.~Rudi Hochschwabauer. + Since his field is new, there is + no accepted +terminology. It is imperative +that we arrive at a satisfactory solution. +\end{document} diff --git a/Master/texmf-dist/doc/latex/mil3/note1b.tex b/Master/texmf-dist/doc/latex/mil3/note1b.tex new file mode 100644 index 00000000000..4de05f5a2b6 --- /dev/null +++ b/Master/texmf-dist/doc/latex/mil3/note1b.tex @@ -0,0 +1,22 @@ +% Sample file: note1b.tex +% Typeset with LaTeX format +\documentclass{article} + +\begin{document} +It is of some concern to me that +the terminology used in multi-section + math courses is not uniform. + +In several sections of the course on +matrix theory, the strange term + ``hamiltonian-reduced'' is used. + I, personally, would rather call these ``hyper-simple.'' I +invite others to comment on this problem. + +Of special concern to me is the terminology in the course +by Prof.~Hochschwabauer. + Since his field is new, there is + no accepted +terminology. It is imperative +that we arrive at a satisfactory solution. +\end{document}
\ No newline at end of file diff --git a/Master/texmf-dist/doc/latex/mil3/note2.tex b/Master/texmf-dist/doc/latex/mil3/note2.tex new file mode 100644 index 00000000000..7b218f21faf --- /dev/null +++ b/Master/texmf-dist/doc/latex/mil3/note2.tex @@ -0,0 +1,14 @@ +% Sample file: note2.tex +% Typeset with LaTeX format +\documentclass{article} + +\begin{document} +\begin{flushright} + \today +\end{flushright} +\textbf{From the desk of George Gr\"{a}tzer}\\[22pt] +April~7--21 \emph{please} use my temporary e-mail address: +\begin{center} + \texttt{George\_Gratzer@umanitoba.ca} +\end{center} +\end{document} diff --git a/Master/texmf-dist/doc/latex/mil3/noteslug.tex b/Master/texmf-dist/doc/latex/mil3/noteslug.tex new file mode 100644 index 00000000000..04d2f46307e --- /dev/null +++ b/Master/texmf-dist/doc/latex/mil3/noteslug.tex @@ -0,0 +1,22 @@ +% Sample file: noteslug.tex +% Typeset with the LaTeX format +\documentclass[draft]{article} + +\begin{document} +It is of some concern to me that +the terminology used in multi-section + math courses is not uniform. + +In several sections of the course on +matrix theory, the strange term + ``hamiltonian-reduced'' is used. + I, personally, would rather call these ``hyper-simple.'' I +invite others to comment on this problem. + +Of special concern to me is the terminology in the course +by Prof.~Hochschwabauer. + Since his field is new, there is + no accepted +terminology. It is imperative +that we arrive at a satisfactory solution. +\end{document}
\ No newline at end of file diff --git a/Master/texmf-dist/doc/latex/mil3/sampart.tex b/Master/texmf-dist/doc/latex/mil3/sampart.tex new file mode 100644 index 00000000000..70bbd3f8509 --- /dev/null +++ b/Master/texmf-dist/doc/latex/mil3/sampart.tex @@ -0,0 +1,262 @@ +% Sample file: sampart.tex +% The sample article for the amsart document class +% Typeset with LaTeX format + +\documentclass{amsart} +\usepackage{amssymb,latexsym} + +\theoremstyle{plain} +\newtheorem{theorem}{Theorem} +\newtheorem{corollary}{Corollary} +\newtheorem*{main}{Main~Theorem} +\newtheorem{lemma}{Lemma} +\newtheorem{proposition}{Proposition} + +\theoremstyle{definition} +\newtheorem{definition}{Definition} + +\theoremstyle{remark} +\newtheorem*{notation}{Notation} + +\numberwithin{equation}{section} + +\begin{document} +\title[Complete-simple distributive lattices] + {A construction of complete-simple\\ + distributive lattices} +\author{George~A. Menuhin} +\address{Computer Science Department\\ + University of Winnebago\\ + Winnebago, MN 53714} +\email{menuhin@ccw.uwinnebago.edu} +\urladdr{http://math.uwinnebago.edu/homepages/menuhin/} +\thanks{Research supported by the NSF under grant number +23466.} +\keywords{Complete lattice, distributive lattice, + complete congruence, congruence lattice} +\subjclass[2000]{Primary: 06B10; Secondary: 06D05} +\date{March 15, 1999} +\begin{abstract} + In this note we prove that there exist \emph{complete-simple distributive + lattices,} that is, complete distributive lattices in which there are + only two complete congruences. +\end{abstract} + +\maketitle + +\section{Introduction}\label{S:intro} +In this note we prove the following result: + +\begin{main} + There exists an infinite complete distributive lattice~$K$ with only + the two trivial complete congruence relations. +\end{main} + +\section{The $D^{\langle 2 \rangle}$ construction}\label{S:Ds} +For the basic notation in lattice theory and universal algebra, see Ferenc~R. +Richardson~\cite{fR82} and George~A. Menuhin~\cite{gM68}. We start with some +definitions: + +\begin{definition}\label{D:prime} + Let $V$ be a complete lattice, and let $\mathfrak{p} = [u, v]$ be + an interval of $V$. Then $\mathfrak{p}$ is called + \emph{complete-prime} if the following three conditions are satisfied: + \begin{enumerate} + \item $u$ is meet-irreducible but $u$ is \emph{not} + completely meet-irreducible;\label{m-i} + \item $v$ is join-irreducible but $v$ is \emph{not} + completely join-irreducible;\label{j-i} + \item $[u, v]$ is a complete-simple lattice.\label{c-s} + \end{enumerate} +\end{definition} + +Now we prove the following result: + +\begin{lemma}\label{L:ds} + Let $D$ be a complete distributive lattice satisfying + conditions \eqref{m-i} and~\eqref{j-i}. Then + $D^{\langle 2 \rangle}$ is a sublattice of $D^{2}$; + hence $D^{\langle 2 \rangle}$ is a lattice, and + $D^{\langle 2 \rangle}$ is a complete distributive + lattice satisfying conditions \eqref{m-i} and~\eqref{j-i}. +\end{lemma} + +\begin{proof} + By conditions~\eqref{m-i} and \eqref{j-i}, + $D^{\langle 2 \rangle}$ is a sublattice + of $D^{2}$. Hence, $D^{\langle 2 \rangle}$ is a lattice. + + Since $D^{\langle 2 \rangle}$ is a sublattice of a distributive + lattice, $D^{\langle 2 \rangle}$ is a distributive lattice. Using + the characterization of standard ideals in Ernest~T. Moynahan~\cite{eM57}, + $D^{\langle 2 \rangle}$ has a zero and a unit element, + namely, $\langle 0, 0 \rangle$ and $\langle 1, 1 \rangle$. + To show that $D^{\langle 2 \rangle}$ is complete, let + $\varnothing \ne A \subseteq D^{\langle 2 \rangle}$, and let + $a = \bigvee A$ in $D^{2}$. If + $a \in D^{\langle 2 \rangle}$, then + $a = \bigvee A$ in $D^{\langle 2 \rangle}$; otherwise, $a$ + is of the form $\langle b, 1 \rangle$ for some + $b \in D$ with $b < 1$. Now $\bigvee A = \langle 1, 1\rangle$ + in $D^{2}$ and the dual argument shows that $\bigwedge A$ also + exists in $D^{2}$. Hence $D$ is complete. Conditions \eqref{m-i} + and~\eqref{j-i} are obvious for $D^{\langle 2 \rangle}$. +\end{proof} + +\begin{corollary}\label{C:prime} + If $D$ is complete-prime, then so is $D^{\langle 2 \rangle}$. +\end{corollary} + +The motivation for the following result comes from Soo-Key Foo~\cite{sF90}. + +\begin{lemma}\label{L:ccr} + Let $\Theta$ be a complete congruence relation of + $D^{\langle 2 \rangle}$ such that + \begin{equation}\label{E:rigid} + \langle 1, d \rangle \equiv \langle 1, 1 \rangle \pmod{\Theta}, + \end{equation} + for some $d \in D$ with $d < 1$. Then $\Theta = \iota$. +\end{lemma} + +\begin{proof} + Let $\Theta$ be a complete congruence relation of + $D^{\langle 2 \rangle}$ satisfying \eqref{E:rigid}. Then $\Theta = +\iota$. +\end{proof} + +\section{The $\Pi^{*}$ construction}\label{S:P*} +The following construction is crucial to our proof of the Main Theorem: + +\begin{definition}\label{D:P*} + Let $D_{i}$, for $i \in I$, be complete distributive lattices + satisfying condition~\eqref{j-i}. Their $\Pi^{*}$ product is defined +as + follows: + \[ + \Pi^{*} ( D_{i} \mid i \in I ) = \Pi ( D_{i}^{-} \mid i \in I ) + 1; + \] + that is, $\Pi^{*} ( D_{i} \mid i \in I )$ is $\Pi ( D_{i}^{-} \mid + i \in I )$ with a new unit element. +\end{definition} + +\begin{notation} + If $i \in I$ and $d \in D_{i}^{-}$, then + \[ + \langle \dots, 0, \dots, \overset{i}{d}, \dots, 0, \dots \rangle + \] + is the element of $\Pi^{*} ( D_{i} \mid i \in I )$ whose $i$-th + component is $d$ and all the other components are $0$. +\end{notation} + +See also Ernest~T. Moynahan \cite{eM57a}. Next we verify: + +\begin{theorem}\label{T:P*} + Let $D_{i}$, for $i \in I$, be complete distributive lattices + satisfying condition~\eqref{j-i}. Let $\Theta$ be a complete +congruence + relation on $\Pi^{*} ( D_{i} \mid i \in I )$. If there exist + $i \in I$ and $d \in D_{i}$ with $d < 1_{i}$ such that for + all $d \leq c < 1_{i}$, + \begin{equation}\label{E:cong1} + \langle \dots, 0, \dots,\overset{i}{d}, + \dots, 0, \dots \rangle \equiv \langle \dots, 0, \dots, + \overset{i}{c}, \dots, 0, \dots \rangle \pmod{\Theta}, + \end{equation} + then $\Theta = \iota$. +\end{theorem} + +\begin{proof} + Since + \begin{equation}\label{E:cong2} + \langle \dots, 0, \dots, \overset{i}{d}, \dots, 0, + \dots \rangle \equiv \langle \dots, 0, \dots, + \overset{i}{c}, \dots, 0, \dots \rangle \pmod{\Theta}, + \end{equation} + and $\Theta$ is a complete congruence relation, it follows from + condition~\eqref{c-s} that + \begin{equation}\label{E:cong} + \begin{split} + &\langle \dots, \overset{i}{d}, \dots, 0, + \dots \rangle\\ + &\equiv \bigvee ( \langle \dots, 0, \dots, + \overset{i}{c}, \dots, 0, \dots \rangle \mid d \leq c < 1 ) + \equiv 1 \pmod{\Theta}. + \end{split} + \end{equation} + + Let $j \in I$ for $j \neq i$, and let $a \in D_{j}^{-}$. + Meeting both sides of the congruence \eqref{E:cong2} with + $\langle \dots, 0, \dots, \overset{j}{a}, \dots, 0, \dots \rangle$, + we obtain + \begin{equation}\label{E:comp} + \begin{split} + 0 &= \langle \dots, 0, \dots, \overset{i}{d}, \dots, 0, \dots + \rangle \wedge \langle \dots, 0, \dots, \overset{j}{a}, \dots, 0, + \dots \rangle\\ + &\equiv \langle \dots, 0, \dots, \overset{j}{a}, \dots, 0, \dots + \rangle \pmod{\Theta}. + \end{split} + \end{equation} + Using the completeness of $\Theta$ and \eqref{E:comp}, we get: + \[ + 0 \equiv \bigvee ( \langle \dots, 0, \dots, \overset{j}{a}, + \dots, 0, \dots \rangle \mid a \in D_{j}^{-} ) = 1 \pmod{\Theta}, + \] + hence $\Theta = \iota$. +\end{proof} + +\begin{theorem}\label{T:P*a} + Let $D_{i}$ for $i \in I$ be complete distributive lattices + satisfying conditions \eqref{j-i} and~\eqref{c-s}. Then + $\Pi^{*} ( D_{i} \mid i \in I )$ also satisfies + conditions~\eqref{j-i} and \eqref{c-s}. +\end{theorem} + +\begin{proof} + Let $\Theta$ be a complete congruence on + $\Pi^{*} ( D_{i} \mid i \in I )$. Let $i \in I$. Define + \[ + \widehat{D}_{i} = \{ \langle \dots, 0, \dots, \overset{i}{d}, + \dots, 0, \dots \rangle \mid d \in D_{i}^{-} \} \cup \{ 1 \}. + \] + Then $\widehat{D}_{i}$ is a complete sublattice of + $\Pi^{*} ( D_{i} \mid i \in I )$, and $\widehat{D}_{i}$ is + isomorphic to $D_{i}$. Let $\Theta_{i}$ be the restriction of + $\Theta$ to $\widehat{D}_{i}$. + + Since $D_{i}\) is complete-simple, so is $\widehat{D}_{i}$, and + hence $\Theta_{i}$ is $\omega$ or $\iota$. If + $\Theta_{i} = \rho$ for all $i \in I$, then + $\Theta = \omega$. If there is an $i \in I$, such that + $\Theta_{i} = \iota$, then $0 \equiv 1 \pmod{\Theta}$, hence + $\Theta = \iota$. +\end{proof} + +The Main Theorem follows easily from Theorems \ref{T:P*} and~\ref{T:P*a}. + +\begin{thebibliography}{9} + + \bibitem{sF90} + Soo-Key Foo, \emph{Lattice Constructions}, Ph.D. thesis, University + of Winnebago, Winnebago, MN, December, 1990. + + \bibitem{gM68} + George~A. Menuhin, \emph{Universal algebra}, D.~van Nostrand, + Princeton, 1968. + + \bibitem{eM57} + Ernest~T. Moynahan, \emph{On a problem of M. Stone}, Acta Math. + Acad. Sci. Hungar. \textbf{8} (1957), 455--460. + + \bibitem{eM57a} + \bysame, \emph{Ideals and congruence relations in lattices}. II, + Magyar Tud. Akad. Mat. Fiz. Oszt. K\"{o}zl. \textbf{9} (1957), + 417--434 (Hungarian). + + \bibitem{fR82} + Ferenc~R. Richardson, \emph{General lattice theory}, Mir, Moscow, + expanded and revised ed., 1982 (Russian). + +\end{thebibliography} +\end{document} + diff --git a/Master/texmf-dist/doc/latex/mil3/sampartb.bib b/Master/texmf-dist/doc/latex/mil3/sampartb.bib new file mode 100644 index 00000000000..2af90a95774 --- /dev/null +++ b/Master/texmf-dist/doc/latex/mil3/sampartb.bib @@ -0,0 +1,45 @@ +@BOOK(gM68, + author = "George A. Menuhin", + title = "Universal Algebra", + publisher = "D.~van Nostrand", + address = "Princeton", + year = 1968, + ) + +@BOOK(fR82, + author = "Ferenc R. Richardson", + title = "General Lattice Theory", + edition = "Expanded and Revised", + language = "Russian", + publisher = "Mir", + address = "Moscow", + year = 1982, + ) + +@ARTICLE(eM57, + author = "Ernest T. Moynahan", + title = "On a Problem of {M. Stone}", + journal = "Acta Math. Acad. Sci. Hungar.", + pages = "455--460", + volume = 8, + year = 1957, + ) + +@ARTICLE(eM57a, + author = "Ernest T. Moynahan", + title = "Ideals and Congruence Relations in Lattices.~\textup{II}", + journal = "Magyar Tud. Akad. Mat. Fiz. Oszt. K{\"{o}}zl.", + language = "Hungarian", + pages = "417--434", + volume = 7, + year = 1957, + ) + +@PHDTHESIS(sF90, + author = "Soo-Key Foo", + title = "Lattice Constructions", + school = "University of Winnebago", + address = "Winnebago, MN", + month = dec, + year = 1990, + )
\ No newline at end of file diff --git a/Master/texmf-dist/doc/latex/mil3/sampartb.tex b/Master/texmf-dist/doc/latex/mil3/sampartb.tex new file mode 100644 index 00000000000..6515da73e05 --- /dev/null +++ b/Master/texmf-dist/doc/latex/mil3/sampartb.tex @@ -0,0 +1,236 @@ +% Sample file: sampartb.tex +% The sample article for the amsart document class with BibTeX +% Typeset with LaTeX format + +\documentclass{amsart} +\usepackage{amssymb,latexsym} + +\theoremstyle{plain} +\newtheorem{theorem}{Theorem} +\newtheorem{corollary}{Corollary} +\newtheorem*{main}{Main~Theorem} +\newtheorem{lemma}{Lemma} +\newtheorem{proposition}{Proposition} + +\theoremstyle{definition} +\newtheorem{definition}{Definition} + +\theoremstyle{remark} +\newtheorem*{notation}{Notation} + +\numberwithin{equation}{section} + +\begin{document} +\title[Complete-simple distributive lattices] + {A construction of complete-simple\\ + distributive lattices} +\author{George~A. Menuhin} +\address{Computer Science Department\\ + University of Winnebago\\ + Winnebago, MN 53714} +\email{menuhin@ccw.uwinnebago.edu} +\urladdr{http://math.uwinnebago.edu/homepages/menuhin/} +\thanks{Research supported by the NSF under grant number +23466.} +\keywords{Complete lattice, distributive lattice, + complete congruence, congruence lattice} +\subjclass[2000]{Primary: 06B10; Secondary: 06D05} +\date{March 15, 1999} +\begin{abstract} + In this note we prove that there exist \emph{complete-simple distributive + lattices,} that is, complete distributive lattices in which there are + only two complete congruences. +\end{abstract} + +\maketitle + +\section{Introduction}\label{S:intro} +In this note we prove the following result: + +\begin{main} + There exists an infinite complete distributive lattice~$K$ with only + the two trivial complete congruence relations. +\end{main} + +\section{The $D^{\langle 2 \rangle}$ construction}\label{S:Ds} +For the basic notation in lattice theory and universal algebra, see Ferenc~R. +Richardson~\cite{fR82} and George~A. Menuhin~\cite{gM68}. We start with some +definitions: + +\begin{definition}\label{D:prime} + Let $V$ be a complete lattice, and let $\mathfrak{p} = [u, v]$ be + an interval of $V$. Then $\mathfrak{p}$ is called + \emph{complete-prime} if the following three conditions are satisfied: + \begin{enumerate} + \item $u$ is meet-irreducible but $u$ is \emph{not} + completely meet-irreducible; + \item $v$ is join-irreducible but $v$ is \emph{not} + completely join-irreducible; + \item $[u, v]$ is a complete-simple lattice. + \end{enumerate} +\end{definition} + +Now we prove the following result: + +\begin{lemma}\label{L:ds} + Let $D$ be a complete distributive lattice satisfying + conditions \textup{(1)} and~\textup{(2)}. Then + $D^{\langle 2 \rangle}$ is a sublattice of $D^{2}$; + hence $D^{\langle 2 \rangle}$ is a lattice, and + $D^{\langle 2 \rangle}$ is a complete distributive + lattice satisfying condition \textup{(1)} and~\textup{(2)}. +\end{lemma} + +\begin{proof} + By conditions (1) and~(2), $D^{\langle 2 \rangle}$ is a sublattice + of $D^{2}$. Hence, $D^{\langle 2 \rangle}$ is a lattice. + + Since $D^{\langle 2 \rangle}$ is a sublattice of a distributive + lattice, $D^{\langle 2 \rangle}$ is a distributive lattice. Using + the characterization of standard ideals in Ernest~T. Moynahan~\cite{eM57}, + $D^{\langle 2 \rangle}$ has a zero and a unit element, + namely, $\langle 0, 0 \rangle$ and $\langle 1, 1 \rangle$. + To show that $D^{\langle 2 \rangle}$ is complete, let + $\varnothing \ne A \subseteq D^{\langle 2 \rangle}$, and let + $a = \bigvee A$ in $D^{2}$. If + $a \in D^{\langle 2 \rangle}$, then + $a = \bigvee A$ in $D^{\langle 2 \rangle}$; otherwise, $a$ + is of the form $\langle b, 1 \rangle$ for some + $b \in D$ with $b < 1$. Now $\bigvee A = \langle 1, 1\rangle$ + in $D^{2}$ and the dual argument shows that $\bigwedge A$ also + exists in $D^{2}$. Hence $D$ is complete. Condition (1) + and~(2) are obvious for $D^{\langle 2 \rangle}$. +\end{proof} + +\begin{corollary}\label{C:prime} + If $D$ is complete-prime, then so is $D^{\langle 2 \rangle}$. +\end{corollary} + +The motivation for the following result comes from Soo-Key Foo~\cite{sF90}. + +\begin{lemma}\label{L:ccr} + Let $\Theta$ be a complete congruence relation of + $D^{\langle 2 \rangle}$ such that + \begin{equation}\label{E:rigid} + \langle 1, d \rangle \equiv \langle 1, 1 \rangle \pmod{\Theta}, + \end{equation} + for some $d \in D$ with $d < 1$. Then $\Theta = \iota$. +\end{lemma} + +\begin{proof} + Let $\Theta$ be a complete congruence relation of + $D^{\langle 2 \rangle}$ satisfying \eqref{E:rigid}. Then $\Theta = \iota$. +\end{proof} + +\section{The $\Pi^{*}$ construction}\label{S:P*} +The following construction is crucial to our proof of the Main Theorem: + +\begin{definition}\label{D:P*} + Let $D_{i}$, for $i \in I$, be complete distributive lattices + satisfying condition~\textup{(2)}. Their $\Pi^{*}$ product is defined as + follows: + \[ + \Pi^{*} ( D_{i} \mid i \in I ) = \Pi ( D_{i}^{-} \mid i \in I ) + 1; + \] + that is, $\Pi^{*} ( D_{i} \mid i \in I )$ is $\Pi ( D_{i}^{-} \mid + i \in I )$ with a new unit element. +\end{definition} + +\begin{notation} + If $i \in I$ and $d \in D_{i}^{-}$, then + \[ + \langle \dots, 0, \dots, \overset{i}{d}, \dots, 0, \dots \rangle + \] + is the element of $\Pi^{*} ( D_{i} \mid i \in I )$ whose $i$-th + component is $d$ and all the other components are $0$. +\end{notation} + +See also Ernest~T. Moynahan \cite{eM57a}. Next we verify: + +\begin{theorem}\label{T:P*} + Let $D_{i}$, for $i \in I$, be complete distributive lattices + satisfying condition~\textup{(2)}. Let $\Theta$ be a complete congruence + relation on $\Pi^{*} ( D_{i} \mid i \in I )$. If there exist + $i \in I$ and $d \in D_{i}$ with $d < 1_{i}$ such that for + all $d \leq c < 1_{i}$, + \begin{equation}\label{E:cong1} + \langle \dots, 0, \dots,\overset{i}{d}, + \dots, 0, \dots \rangle \equiv \langle \dots, 0, \dots, + \overset{i}{c}, \dots, 0, \dots \rangle \pmod{\Theta}, + \end{equation} + then $\Theta = \iota$. +\end{theorem} + +\begin{proof} + Since + \begin{equation}\label{E:cong2} + \langle \dots, 0, \dots, \overset{i}{d}, \dots, 0, + \dots \rangle \equiv \langle \dots, 0, \dots, + \overset{i}{c}, \dots, 0, \dots \rangle \pmod{\Theta}, + \end{equation} + and $\Theta$ is a complete congruence relation, it follows from + condition~(3) that + \begin{equation}\label{E:cong} + \begin{split} + &\langle \dots, \overset{i}{d}, \dots, 0, + \dots \rangle\\ + &\equiv \bigvee ( \langle \dots, 0, \dots, + \overset{i}{c}, \dots, 0, \dots \rangle \mid d \leq c < 1 ) + \equiv 1 \pmod{\Theta}. + \end{split} + \end{equation} + + Let $j \in I$ for $j \neq i$, and let $a \in D_{j}^{-}$. + Meeting both sides of the congruence \eqref{E:cong2} with + $\langle \dots, 0, \dots, \overset{j}{a}, \dots, 0, \dots \rangle$, + we obtain + \begin{equation}\label{E:comp} + \begin{split} + 0 &= \langle \dots, 0, \dots, \overset{i}{d}, \dots, 0, \dots + \rangle \wedge \langle \dots, 0, \dots, \overset{j}{a}, \dots, 0, + \dots \rangle\\ + &\equiv \langle \dots, 0, \dots, \overset{j}{a}, \dots, 0, \dots + \rangle \pmod{\Theta}. + \end{split} + \end{equation} + Using the completeness of $\Theta$ and \eqref{E:comp}, we get: + \[ + 0 \equiv \bigvee ( \langle \dots, 0, \dots, \overset{j}{a}, + \dots, 0, \dots \rangle \mid a \in D_{j}^{-} ) = 1 \pmod{\Theta}, + \] + hence $\Theta = \iota$. +\end{proof} + +\begin{theorem}\label{T:P*a} + Let $D_{i}$, for $i \in I$, be complete distributive lattices + satisfying conditions \textup{(2)} and~\textup{(3)}. Then + $\Pi^{*} ( D_{i} \mid i \in I )$ also satisfies conditions \textup{(2)} + and~\textup{(3)}. +\end{theorem} + +\begin{proof} + Let $\Theta$ be a complete congruence on + $\Pi^{*} ( D_{i} \mid i \in I )$. Let $i \in I$. Define + \[ + \widehat{D}_{i} = \{ \langle \dots, 0, \dots, \overset{i}{d}, + \dots, 0, \dots \rangle \mid d \in D_{i}^{-} \} \cup \{ 1 \}. + \] + Then $\widehat{D}_{i}$ is a complete sublattice of + $\Pi^{*} ( D_{i} \mid i \in I )$, and $\widehat{D}_{i}$ is + isomorphic to $D_{i}$. Let $\Theta_{i}$ be the restriction of + $\Theta$ to $\widehat{D}_{i}$. + + Since $D_{i}\) is complete-simple, so is $\widehat{D}_{i}$, and + hence $\Theta_{i}$ is $\omega$ or $\iota$. If + $\Theta_{i} = \rho$ for all $i \in I$, then + $\Theta = \omega$. If there is an $i \in I$, such that + $\Theta_{i} = \iota$, then $0 \equiv 1 \pmod{\Theta}$, hence + $\Theta = \iota$. +\end{proof} + +The Main Theorem follows easily from Theorems \ref{T:P*} and~\ref{T:P*a}. + +\bibliographystyle{amsplain} +\bibliography{sampartb} +\end{document} + diff --git a/Master/texmf-dist/doc/latex/mil3/sampartu.tex b/Master/texmf-dist/doc/latex/mil3/sampartu.tex new file mode 100644 index 00000000000..41ef8bfe5e0 --- /dev/null +++ b/Master/texmf-dist/doc/latex/mil3/sampartu.tex @@ -0,0 +1,259 @@ +% Sample file: sampartu.tex +% The sample article for the amsart document class +% with user-defined commands and environments +% Typeset with LaTeX format + +\documentclass{amsart} +\usepackage{amssymb,latexsym} +\usepackage{lattice} + +\theoremstyle{plain} +\newtheorem{theorem}{Theorem} +\newtheorem{corollary}{Corollary} +\newtheorem{lemma}{Lemma} +\newtheorem{proposition}{Proposition} + +\theoremstyle{definition} +\newtheorem{definition}{Definition} + +\theoremstyle{remark} +\newtheorem*{notation}{Notation} + +\numberwithin{equation}{section} + +\newcommand{\Prodm}[2]{\gP(\,#1\mid#2\,)} + % product with a middle +\newcommand{\Prodsm}[2]{\gP^{*}(\,#1\mid#2\,)} + % product * with a middle +\newcommand{\vct}[2]{\vv<\dots,0,\dots,\overset{#1}{#2},% +\dots,0,\dots>}% special vector +\newcommand{\fp}{\F{p}}% Fraktur p +\newcommand{\Ds}{D^{\langle2\rangle}} + +\begin{document} +\title[Complete-simple distributive lattices] + {A construction of complete-simple\\ + distributive lattices} +\author{George~A. Menuhin} +\address{Computer Science Department\\ + University of Winnebago\\ + Winnebago, Minnesota 23714} +\email{menuhin@ccw.uwinnebago.edu} +\urladdr{http://math.uwinnebago.edu/homepages/menuhin/} +\thanks{Research supported by the NSF under grant number~23466.} +\keywords{Complete lattice, distributive lattice, complete + congruence, congruence lattice} +\subjclass[2000]{Primary: 06B10; Secondary: 06D05} +\date{March 15, 1999} + +\begin{abstract} + In this note we prove that there exist \emph{complete-simple + distributive lattices,} that is, complete distributive + lattices in which there are only two complete congruences. +\end{abstract} +\maketitle + +\section{Introduction}\label{S:intro} +In this note we prove the following result: + +\begin{named}{Main Theorem} + There exists an infinite complete distributive lattice + $K$ with only the two trivial complete congruence relations. +\end{named} + +\section{The $\Ds$ construction}\label{S:Ds} +For the basic notation in lattice theory and universal algebra, +see Ferenc~R. Richardson~\cite{fR82} and George~A. +Menuhin~\cite{gM68}. We start with some definitions: + +\begin{definition}\label{D:prime} + Let $V$ be a complete lattice, and let $\fp = [u, v]$ be + an interval of $V$. Then $\fp$ is called + \emph{complete-prime} if the following three conditions + are satisfied: + \begin{enumeratei} + \item $u$ is meet-irreducible but $u$ is \emph{not} + completely meet-irreducible;\label{m-i} + \item $v$ is join-irreducible but $v$ is \emph{not} + completely join-irreducible;\label{j-i} + \item $[u, v]$ is a complete-simple lattice.\label{c-s} + \end{enumeratei} +\end{definition} + +Now we prove the following result: + +\begin{lemma}\label{L:ds} + Let $D$ be a complete distributive lattice satisfying + conditions \eqref{m-i} and~\eqref{j-i}. + Then $\Ds$ is a sublattice of $D^{2}$; hence $\Ds$ is + a lattice, and $\Ds$ is a complete distributive lattice + satisfying conditions \eqref{m-i} and~\eqref{j-i}. +\end{lemma} + +\begin{proof} + By conditions~\eqref{m-i} and \eqref{j-i}, $\Ds$ is a + sublattice of $D^{2}$. Hence, $\Ds$ is a lattice. + + Since $\Ds$ is a sublattice of a distributive lattice, + $\Ds$ is a distributive lattice. Using the characterization + of standard ideals in Ernest~T. Moynahan~\cite{eM57}, + $\Ds$ has a zero and a unit element, namely, + $\vv<0, 0>$ and $\vv<1, 1>$. To show that $\Ds$ is + complete, let $\es \ne A \ci \Ds$, and let $a = \JJ A$ + in $D^{2}$. If $a \in \Ds$, then + $a = \JJ A$ in $\Ds$; otherwise, $a$ is of the form + $\vv<b, 1>$ for some $b \in D$ with $b < 1$. Now + $\JJ A = \vv<1, 1>$ in $D^{2}$, and + the dual argument shows that $\MM A$ also exists in + $D^{2}$. Hence $D$ is complete. Conditions \eqref{m-i} + and~\eqref{j-i} are obvious for $\Ds$. +\end{proof} + +\begin{corollary}\label{C:prime} + If $D$ is complete-prime, then so is $\Ds$. +\end{corollary} + +The motivation for the following result comes from Soo-Key +Foo~\cite{sF90}. + +\begin{lemma}\label{L:ccr} + Let $\gQ$ be a complete congruence relation of $\Ds$ such + that + \begin{equation}\label{E:rigid} + \con \vv<1, d>=\vv<1, 1>(\gQ), + \end{equation} + for some $d \in D$ with $d < 1$. Then $\gQ = \gi$. +\end{lemma} + +\begin{proof} + Let $\gQ$ be a complete congruence relation of $\Ds$ + satisfying \eqref{E:rigid}. Then $\gQ = \gi$. +\end{proof} + +\section{The $\gP^{*}$ construction}\label{S:P*} +The following construction is crucial to our proof of the +Main~Theorem: + +\begin{definition}\label{D:P*} + Let $D_{i}$, for $i \in I$, be complete distributive + lattices satisfying condition~\eqref{j-i}. Their $\gP^{*}$ + product is defined as follows: + \[ + \Prodsm{ D_{i} }{i \in I} = \Prodm{ D_{i}^{-} }{i \in I}+1; + \] + that is, $\Prodsm{ D_{i} }{i \in I}$ is + $\Prodm{ D_{i}^{-} }{i \in I}$ with a new unit element. +\end{definition} + +\begin{notation} + If $i \in I$ and $d \in D_{i}^{-}$, then + \[ + \vct{i}{d} + \] + is the element of $\Prodsm{ D_{i} }{i \in I}$ whose + $i$-th component is $d$ and all the other + components are $0$. +\end{notation} + +See also Ernest~T. Moynahan~\cite{eM57a}. Next we verify: + +\begin{theorem}\label{T:P*} + Let $D_{i}$, for $i \in I$, be complete distributive + lattices satisfying condition~\eqref{j-i}. Let $\gQ$ + be a complete congruence relation on + $\Prodsm{ D_{i} }{i \in I}$. If there exist + $i \in I$ and $d \in D_{i}$ with $d < 1_{i}$ such + that for all $d \leq c < 1_{i}$, + \begin{equation}\label{E:cong1} + \con\vct{i}{d}=\vct{i}{c}(\gQ), + \end{equation} + then $\gQ = \gi$. +\end{theorem} + +\begin{proof} + Since + \begin{equation}\label{E:cong2} + \con\vct{i}{d}=\vct{i}{c}(\gQ), + \end{equation} + and $\gQ$ is a complete congruence relation, it follows + from condition~\eqref{c-s} that + \begin{equation}\label{E:cong} + \begin{split} + &\langle \dots, \overset{i}{d}, \dots, 0, + \dots \rangle\\ + &\equiv \bigvee ( \langle \dots, 0, \dots, + \overset{i}{c},\dots, 0,\dots \rangle \mid d \leq c < 1) + \equiv 1 \pmod{\Theta}. + \end{split} + \end{equation} + + Let $j \in I$, for $j \neq i$, and let + $a \in D_{j}^{-}$. Meeting both sides of the congruence + \eqref{E:cong} with $\vct{j}{a}$, we obtain + \begin{equation}\label{E:comp} + \begin{split} + 0 &= \vct{i}{d} \mm \vct{j}{a}\\ + &\equiv \vct{j}{a}\pod{\gQ}. + \end{split} + \end{equation} + Using the completeness of $\gQ$ and \eqref{E:comp}, we get: + \begin{equation}\label{E:cong3} + \con{0=\JJm{ \vct{j}{a} }{ a \in D_{j}^{-} }}={1}(\gQ), + \end{equation} + hence $\gQ = \gi$. +\end{proof} + +\begin{theorem}\label{T:P*a} + Let $D_{i}$, for $i \in I$, be complete distributive + lattices satisfying + conditions \eqref{j-i} and~\eqref{c-s}. Then + $\Prodsm{ D_{i} }{i \in I}$ also satisfies + conditions~\eqref{j-i} and \eqref{c-s}. +\end{theorem} + +\begin{proof} + Let $\gQ$ be a complete congruence on + $\Prodsm{ D_{i} }{i \in I}$. Let $i \in I$. Define + \begin{equation}\label{E:dihat} + \widehat{D}_{i} = \setm{ \vct{i}{d} }{ d \in D_{i}^{-} } + \uu \set{1}. + \end{equation} + Then $\widehat{D}_{i}$ is a complete sublattice of + $\Prodsm{ D_{i} }{i \in I}$, and $\widehat{D}_{i}$ + is isomorphic to $D_{i}$. Let $\gQ_{i}$ be the + restriction of $\gQ$ to $\widehat{D}_{i}$. Since + $D_{i}$ is complete-simple, so is $\widehat{D}_{i}$, + hence $\gQ_{i}$ is $\go$ or $\gi$. If $\gQ_{i} = \go$ + for all $i \in I$, then $\gQ = \go$. + If there is an $i \in I$, such that $\gQ_{i} = \gi$, + then $\con0=1(\gQ)$, and hence $\gQ = \gi$. +\end{proof} + +The Main Theorem follows easily from Theorems~\ref{T:P*} and +\ref{T:P*a}. + +\begin{thebibliography}{9} + + \bibitem{sF90} + Soo-Key Foo, \emph{Lattice Constructions}, Ph.D. thesis, + University of Winnebago, Winnebago, MN, December, 1990. + + \bibitem{gM68} + George~A. Menuhin, \emph{Universal Algebra}, D.~van + Nostrand, Princeton, 1968. + + \bibitem{eM57} + Ernest~T. Moynahan, \emph{On a problem of M. Stone}, + Acta Math. Acad. Sci. Hungar. \tbf{8} (1957), 455--460. + + \bibitem{eM57a} + \bysame, \emph{Ideals and congruence relations in + lattices}.~II, Magyar Tud. Akad. Mat. Fiz. Oszt. K\"{o}zl. + \tbf{9} (1957), 417--434 (Hungarian). + + \bibitem{fR82} + Ferenc~R. Richardson, \emph{General Lattice Theory}, Mir, + Moscow, expanded and revised ed., 1982 (Russian). + +\end{thebibliography} +\end{document}
\ No newline at end of file diff --git a/Master/texmf-dist/doc/latex/mil3/sample.html b/Master/texmf-dist/doc/latex/mil3/sample.html new file mode 100644 index 00000000000..b4f57673df9 --- /dev/null +++ b/Master/texmf-dist/doc/latex/mil3/sample.html @@ -0,0 +1,24 @@ +<html> + <head> + <title>HTML can do math (a little)</title> + </head> + <body> + <h1>A simple example + </h1> + <p> + Hello, <i>new users</i>! + <p> + We link to my Web site: + <a href="http://www.maths.umanitoba.ca/homepages/gratzer/"> + Gratzer Homepage</a> + <p> + And here is a list: + <ul> + <li>We do a squared<br> + a <sup>2</sup><p> + <!-- Do not try to do square root! --> + <li>and a umlaut<br> + George Grätzer + </ul> + </body> +</html> diff --git a/Master/texmf-dist/doc/latex/mil3/svsing2e.sty b/Master/texmf-dist/doc/latex/mil3/svsing2e.sty new file mode 100644 index 00000000000..07e87816b50 --- /dev/null +++ b/Master/texmf-dist/doc/latex/mil3/svsing2e.sty @@ -0,0 +1,295 @@ +% Copyright (C) 1988, 1994 Springer-Verlag, Inc. +% +% Everyone is granted permission to copy and redistribute this file, as +% long as it is unchanged. If any changes are made the file MUST be renamed. +% +% +% svsing2e.sty 22 Sep 94 +% Fixed lots & lots of bugs +% Made compatible with LaTeX2e +% +%get rid of ae's +\catcode`\^^Z 10 +\typeout{LaTeX2e package "svsing2e" (Springer-Verlag Single-Authored). v. 1.3 released May 1995} +% +\@twosidetrue +\headheight=9pt +\headsep=15pt % 2pc-9pt +\textheight=45pc +%Let's put integer number of 12-pt \baselineskip's on page +\advance\textheight-2\p@ +\textwidth=27pc +\parindent=1em +\parskip\z@ +\clubpenalty\@M +\widowpenalty\@M +% +% Running head: 9 pt TR, c/lc, 2em# inside of fl. outside folio, base aligns +% with folio; recto: CN, period, word # to CT; verso: contributor's name(s). +% In single-author, verso: SN, period, word # to ST. +% +% If you want the running heads on the opposite pages, just put \flipheads +% after the documentstyle. LaTeX isn't bright enough to allow one option +% file to define ds@flipheads. +% +\def\markbothsame#1{\markboth{#1}{#1}} +\def\ps@myheadings{% + \let\@mkboth\markboth % Instead of \@gobbletwo, for toc + \let\@oddfoot\@empty\let\@evenfoot\@empty + \def\@oddhead{\small\upshape\hfil\rightmark\hskip\tw@ em\thepage}% + \def\@evenhead{\small\upshape\thepage\hskip\tw@ em\leftmark\hfill}% + \def\chaptermark##1{\markbothsame% + {\ifnum\c@secnumdepth>\m@ne\@chapapp\ \thechapter. \ \fi##1}}% + \def\sectionmark##1{\markright{\ifnum\c@secnumdepth>\z@\thesection\ \fi + ##1}}} +% +\pagestyle{myheadings} +\pagenumbering{roman} % toc is in roman +\pagestyle{myheadings} +\def\@chapterauthors{} +% +% All pages without running heads must carry corner marks. +% +\def\clap#1{\hbox to 0pt{\hss#1\hss}} +\newdimen\@crosshairrule \@crosshairrule=.24pt +\def\@crosshairs{% +\vbox to 0pt{\hsize=0pt\baselineskip=0pt\lineskip=0pt + \vss + \clap{\vrule height .125in width \@crosshairrule depth 0pt} + \clap{\vrule width .25in height \@crosshairrule depth 0pt + \rlap{\vbox to\z@{\vss\hbox{ +%This is page \thepage\strut +}% + \hbox{ +%Printer: Opaque this\strut +}\vss}}} + \clap{\vrule height .125in width \@crosshairrule depth 0pt} + \vss}} +\def\ps@empty{% +\def\@oddhead{\hfill\raise\headheight\@crosshairs} +\let\@evenhead\@oddhead +\def\@evenfoot{}\let\@oddfoot\@evenfoot} +\frenchspacing +\def\@chapapp{} +%8/10 +\def\viiiONx{\@setfontsize\@footnotesize\@viiipt{10pt}} +%10/12 +\def\xONxii{\@setfontsize\normalsize\@xpt{12pt}} +%12/14 +\def\xiiONxiv{\@setfontsize\large\@xiipt{14pt}} +%14/16 +\def\xivONxvi{\@setfontsize\Large\@xivpt{16pt}} +%14/14 +\def\xivONxiv{\@setfontsize\Large\@xivpt{14pt}} +%20/20 +\def\xxONxx{\@setfontsize\huge\@xxpt{20pt}} +% +\renewcommand\footnotesize{% + \viiiONx + \abovedisplayskip 6\p@ \@plus2\p@ \@minus4\p@ + \abovedisplayshortskip \z@ \@plus\p@ + \belowdisplayshortskip 3\p@ \@plus\p@ \@minus2\p@ + \def\@listi{\leftmargin\leftmargini + \topsep 3\p@ \@plus\p@ \@minus\p@ + \parsep 2\p@ \@plus\p@ \@minus\p@ + \itemsep \parsep}% + \belowdisplayskip \abovedisplayskip +} +\font\chnum = cmr10 scaled \magstep5 +\def\chapter{\cleardoublepage % Starts new recto. + \thispagestyle{empty} % Page style of chapter page is 'empty' + \global\@topnum\z@ % Prevents figures from going at top of page. + \@afterindentfalse % Suppresses indent in first paragraph. Change + \secdef\@chapter\@schapter} % to \@afterindenttrue to have indent. +% +% Chapter number: 24 CM, arabic numeral, fl.l, top text +% Chapter title: 20/20 CM x 27pc, c/lc, fl.l, sink 60 pt from top +% type to base of CT, to's fl.l, do not hyphenate +% +\def\@makechapterhead#1{ % Heading for \chapter command +% We want the chapter number to be 20 pts from top text. The simplest +% was is to set \topskip, making sure there's nothing between the number +% and the top of page, so \baselineskip doesn't come in. +\vbox to 238pt{{ \topskip=20pt \parindent 0pt \raggedright + \xxONxx\rm + \ifnum \c@secnumdepth >\m@ne % IF secnumdepth > -1 THEN + {\chnum \@chapapp{} \thechapter} % Print 'Chapter' and number. + \fi + \par + \vskip 10pt % Space between number and title. + #1\par % Title. + \nobreak % TeX penalty to prevent page break. +~ \vfil +} } } +% +\def\@makeschapterhead#1{ % Heading for \chapter* command +\vbox to 238pt{{ \topskip=46pt \parindent 0pt \raggedright + \xxONxx\rm + #1\par % Title. + \nobreak % TeX penalty to prevent page break. + \vfil +} } } +% +% Restart the footnote counter each chapter. +% +%\newcounter{footnote}[chapter] +% +% FN 1pc space above footnotes to text. +% 5 pc 1/2 pt rule fl.l. above footnotes +% leave 6pt # after rule followed by ftn +% +\skip\footins=18.5pt % space above line and below line, 1pc+6pt+.5pt +\footskip=16pt +\footnotesep=7pt % pretty arbitrary +\def\footnoterule{\kern-6.5pt\hrule width 5pc height .5pt\vskip 6pt} +% +% Footnote at end of chapter position below last text line (not at bottom +% of page). +% +\def\clearpage{\par\vfill\penalty -\@M \write\m@ne{}\vbox{}\penalty -\@Mi} +\def\newpage{\par\vfill\penalty -\@M} +\def\@makecol{\ifvoid\footins \setbox\@outputbox\box\@cclv + \else\setbox\@outputbox + \vbox{\unvbox\@cclv\vskip\skip\footins\footnoterule\unvbox\footins}\fi + \xdef\@freelist{\@freelist\@midlist}\gdef\@midlist{}\@combinefloats + \setbox\@outputbox\vbox to\@colht{\boxmaxdepth\maxdepth + \@texttop + \unvbox\@outputbox + \@textbottom}\global\maxdepth\@maxdepth} +\flushbottom +% +% Abstract: 9/11 TRx25pi, sink 2.5pi b/b from CA +% +\def\abstract{\vskip 21pt % from CA +\rightskip=1pc\leftskip=1pc\parindent=\z@ +\small\rm +{ABSTRACT }} +\def\endabstract{\par} % If we don't do this, the paragraph won't be + % set until after rightskip and leftskip have been + % returned to their old values. +% +\def\tableofcontents{\@restonecolfalse\if@twocolumn\@restonecoltrue\onecolumn + \fi\chapter*{Contents}\markbothsame{Contents}% + \@starttoc{toc}\if@restonecol\twocolumn\fi} +% +% Don't indent the paragraph following each header. Vertical distances +% showld have \baselineskip taken out, and the height of the next +% line, which should be text (10/12 TR). +% +\setcounter{secnumdepth}{2} % number section and subsections +\setcounter{tocdepth}{2} % and put them in the table of contents +% No 1 Head, 14/16 TR, 36pt b/b above, 24 tp b/b below +\def\section{\@startsection + {section}{1}{\z@}{-24pt plus -6pt minus -3pt}{12pt}% + {\xivONxvi\rm\raggedright}} +% No 2 Head, 12/14 TR, c/sc, 30pt above, 18 pt below +\def\subsection{\@startsection + {subsection}{2}{\z@}{-18pt plus-4.8pt minus-2.4pt}{6pt}% + {\xiiONxiv\it\raggedright}} +% No 3 Head, 10/12 TR, 24pt above, 18pt below +\def\subsubsection{\@startsection + {subsubsection}{3}{\z@}{-12pt plus-4.2pt minus-2.1pt}{6pt}% + {\xONxii\rm\raggedright}} +% No 4 Head, 10/12 TR italic, 20pt above, 18pt below +\def\paragraph{\@startsection + {paragraph}{4}{\z@}{-8pt plus-3.8pt minus-1.7pt}{6pt}% + {\xONxii\it\raggedright}} +% No 5 Head, 10/12 TR italic, period, en space to run in text, 18pt above +\def\subparagraph#1{\@startsection + {subparagraph}{5}{\z@}{-6pt plus-1.8pt minus-.9pt}{-.5em}{\xONxii\it}{#1.}} +% Ack: Acknowledgements same as No 5 head, 36pt above +\def\acknowledgments{\@startsection + {subparagraph}{6}{\z@}{-24pt plus-3.6pt minus-1.8pt}{-.5em}% + {\xONxii\it}*{Acknowledgments:\/}} +% R-1: ``References'', same as No.2 head +% unless it's single-author. +\def\mainbibliography#1{{\bibliography{#1}}} +\def\thebibliography#1{% + \chapter*{References}\markbothsame{References}% + \addcontentsline{toc}{chapter}{\protect\numberline{}References}% +%endif + \list + {[\arabic{enumiv}]}{\settowidth\labelwidth{[#1]}\leftmargin\labelwidth + \advance\leftmargin\labelsep +%Per zwart, enumi replaced by enumiv in this macro + \usecounter{enumiv}} + \def\newblock{\hskip .11em plus .33em minus -.07em} + \sloppy + \sfcode`\.=1000\relax} +% Put index in the toc +\def\theindex{\@restonecoltrue\if@twocolumn\@restonecolfalse\fi +\columnseprule \z@ +\columnsep 35pt\twocolumn[\@makeschapterhead{Index}] + \addcontentsline{toc}{chapter}{\protect\numberline{}Index}% + \@mkboth{Index}{Index}\thispagestyle{empty}\parindent\z@ + \parskip\z@ plus .3pt\relax\let\item\@idxitem} +\def\theauthorindex{\@restonecoltrue\if@twocolumn\@restonecolfalse\fi +\columnseprule \z@ +\columnsep 35pt\twocolumn[\@makeschapterhead{Author Index}] + \addcontentsline{toc}{chapter}{\protect\numberline{}Author Index}% + \@mkboth{Author Index}{Author Index}\thispagestyle{empty}\parindent\z@ + \parskip\z@ plus .3pt\relax\let\item\@idxitem} +\def\thesubjectindex{\@restonecoltrue\if@twocolumn\@restonecolfalse\fi +\columnseprule \z@ +\columnsep 35pt\twocolumn[\@makeschapterhead{Subject Index}] + \addcontentsline{toc}{chapter}{\protect\numberline{}Subject Index}% + \@mkboth{Subject Index}{Subject Index}\thispagestyle{empty}\parindent\z@ + \parskip\z@ plus .3pt\relax\let\item\@idxitem} +\def\thesymbolindex{\@restonecoltrue\if@twocolumn\@restonecolfalse\fi +\columnseprule \z@ +\columnsep 35pt\twocolumn[\@makeschapterhead{Symbol Index}] + \addcontentsline{toc}{chapter}{\protect\numberline{}Symbol Index}% + \@mkboth{Symbol Index}{Symbol Index}\thispagestyle{empty}\parindent\z@ + \parskip\z@ plus .3pt\relax\let\item\@idxitem} +% +% lists: 10/12 TRx27pc, 1/2line# above/below +% +\topsep 6pt plus1.8pt minus.9pt % Extra vertical space, in addition to + % \parskip, added above and below list and + % paragraphing environments. +\itemsep 6pt plus1.8pt minus.9pt % Extra vertical space, in addition to + % \parskip, added between list items. +% +% Eq: Center on text width; equation numbers set flush right, align with +% last line of equation, 6pt # above/below. +% +\abovedisplayskip=6pt plus 1.8pt minus.9pt +\belowdisplayskip=\abovedisplayskip +\abovedisplayshortskip=\z@ plus 1.2pt +\belowdisplayshortskip=3pt plus 1.5pt minus .75pt +% +% FL: Figure legends ``FIGURE 0.0'' 9/11 TR, c/lc, period, word # to text. +%\floatsep 12pt plus 2.4pt minus 1.2pt +%\textfloatsep 12pt plus 4.8pt +%\intextsep 12pt plus 2.4pt minus 1.2pt +%%\@maxsep 12pt %% Not used in LaTeX2e +% +%\long\def\@makecaption#1#2{{ +% \vskip 6pt +% \small +% \setbox\@tempboxa\hbox{#1. #2} +% \ifdim \wd\@tempboxa >\hsize % IF longer than one line: + % \unhbox\@tempboxa\hfil\par % THEN set as ordinary +%paragraph. +% \else % ELSE center. +% \hbox to\hsize{\hfil\box\@tempboxa\hfil} +% \fi}} +%\def\fnum@figure{\small FIGURE \thefigure}%{\sc FIGURE~}\thefigure} +% +% TN+TT: ``TABLE 0.0'' 9/11 TR, c/lc. period, word # to table title: +% 3 pt # below to 1/2 pt rule x table measuer, 3 pt # below rule to +% TCH +% +%\arrayrulewidth=.5pt +%\def\fnum@table{\small TABLE~\thetable} +% +%\usepackage{psfig} +%\def\figput#1#2#3{\begin{figure}\hfil% +%\psfig{figure=#1,height=#2}\hfil\caption{#3}% +% \end{figure}} +%\def\figpage#1#2#3{\begin{figure}[p]\hfil% +%\psfig{figure=#1,height=#2}\hfil\caption{#3}% +% \end{figure}} +% End of svsing2e.sty + +\endinput diff --git a/Master/texmf-dist/doc/latex/mil3/svsing6.cls b/Master/texmf-dist/doc/latex/mil3/svsing6.cls new file mode 100644 index 00000000000..8fe618e3200 --- /dev/null +++ b/Master/texmf-dist/doc/latex/mil3/svsing6.cls @@ -0,0 +1,663 @@ +%%% Portions Copyright 1993 1994 1995 1996 1997 +%% The LaTeX3 Project and any individual authors listed elsewhere +%% in this file. +%% +%% Compilation and portions copyright 1998 Springer-Verlag New York, Inc. +%% +\NeedsTeXFormat{LaTeX2e}[1995/12/01] +\ProvidesClass{svsing6}[1998/11/08 v1.0 Springer-Verlag LaTeX document class] +\typeout{Note that this class will not work in compatibility mode.^^J + If you wish to use LaTeX 2.09, using svsing6.sty} +\typeout{Springer-Verlag New York strongly recommends and prefers the use^^J + of LaTeX 2.09!} +\errorcontextlines\z@ +\showboxdepth\z@ +\showboxbreadth\z@ +\let\wlog\@gobble +\def\xx#1{{\gdef#1{{}}}} +\DeclareOption{draft}{\setlength\overfullrule{5\p@}} +\DeclareOption{final}{\setlength\overfullrule{\z@}} +\DeclareOption{openright}{\let\chapclear\cleardoublepage} +\DeclareOption{openany}{\let\chapclear\clearpage} +\ExecuteOptions{final,openany} +\ProcessOptions +\ExecuteOptions{final,openright} +\ProcessOptions +% +% Font size stuff +% +\def\setverticalskips{\abovedisplayskip\medskipamount + \belowdisplayskip\medskipamount + \abovedisplayshortskip\medskipamount + \belowdisplayshortskip\medskipamount + \topsep\medskipamount + \itemsep\medskipamount} +\renewcommand\normalsize{% + \@setfontsize\normalsize{10}{12}% + \setlength\smallskipamount{3\p@\@plus1.5\p@\@minus.75\p@}% + \setlength\medskipamount{6\p@\@plus1.8\p@\@minus.9\p@}% + \setlength\bigskipamount{12\p@\@plus2.4\p@\@minus1.2\p@}% + \setverticalskips + \let\@listi\@listI} +\newcommand\small{% + \@setfontsize\small{9}{11}% + \setlength\smallskipamount{2.75\p@\@plus1.375\p@\@minus.6825\p@}% + \setlength\medskipamount{5.5\p@\@plus1.65\p@\@minus.825\p@}% + \setlength\bigskipamount{11\p@\@plus2.2\p@\@minus1.1\p@}% + \setverticalskips + \def\@listi{\leftmargin\leftmargini\parsep\z@}} +\newcommand\footnotesize{% + \@setfontsize\footnotesize{8}{10}% + \setlength\smallskipamount{2.5\p@\@plus1.25\p@\@minus.625\p@}% + \setlength\medskipamount{5\p@\@plus1.6\p@\@minus.8\p@}% + \setlength\bigskipamount{10\p@\@plus\tw@\p@\@minus\p@}% + \setverticalskips + \def\@listi{\leftmargin\leftmargini\parsep\z@}} +\newcommand\scriptsize{\@setfontsize\scriptsize{7}{8}% + \setlength\smallskipamount{\tw@\p@\@plus\p@\@minus.5\p@}% + \setlength\medskipamount{4\p@\@plus1.2\p@\@minus.6\p@}% + \setlength\bigskipamount{8\p@\@plus1.6\p@\@minus.8\p@}% + \setverticalskips + \def\@listi{\leftmargin\leftmargini\parsep\z@}} +\newcommand\tiny{\@setfontsize\tiny{5}{6}% + \setlength\smallskipamount{1.5\p@\@plus.75\p@\@minus.375\p@}% + \setlength\medskipamount{\thr@@\p@\@plus.9\p@\@minus.45\p@}% + \setlength\bigskipamount{6\p@\@plus1.2\p@\@minus.6\p@}% + \setverticalskips + \def\@listi{\leftmargin\leftmargini\parsep\z@}} +\newcommand\large{\@setfontsize\large{12}{14}% + \setlength\smallskipamount{3.5\p@\@plus1.75\p@\@minus.875\p@}% + \setlength\medskipamount{7\p@\@plus2.1\p@\@minus1.05\p@}% + \setlength\bigskipamount{14\p@\@plus2.8\p@\@minus1.4\p@}% + \setverticalskips + \def\@listi{\leftmargin\leftmargini\parsep\z@}} +\newcommand\Large{\@setfontsize\Large{14}{18}% + \setlength\smallskipamount{4.5\p@\@plus2.25\p@\@minus1.125\p@}% + \setlength\medskipamount{9\p@\@plus2.7\p@\@minus1.35\p@}% + \setlength\bigskipamount{18\p@\@plus3.6\p@\@minus1.8\p@}% + \setverticalskips + \def\@listi{\leftmargin\leftmargini\parsep\z@}} +\newcommand\LARGE{\@setfontsize\LARGE{17}{22}% + \setlength\smallskipamount{5.5\p@\@plus2.75\p@\@minus1.375\p@}% + \setlength\medskipamount{11\p@\@plus3.3\p@\@minus1.65\p@}% + \setlength\bigskipamount{22\p@\@plus4.4\p@\@minus2.2\p@}% + \setverticalskips + \def\@listi{\leftmargin\leftmargini\parsep\z@}} +\newcommand\huge{\@setfontsize\huge{20}{25}% + \setlength\smallskipamount{6.25\p@\@plus3.125\p@\@minus1.0625\p@}% + \setlength\medskipamount{12.5\p@\@plus3.75\p@\@minus1.375\p@}% + \setlength\bigskipamount{25\p@\@plus5\p@\@minus2.5\p@}% + \setverticalskips + \def\@listi{\leftmargin\leftmargini\parsep\z@}} +\newcommand\Huge{\@setfontsize\Huge{25}{30}% + \setlength\smallskipamount{7.5\p@\@plus3.75\p@\@minus1.875\p@}% + \setlength\medskipamount{15\p@\@plus4.5\p@\@minus1.25\p@}% + \setlength\bigskipamount{30\p@\@plus6\p@\@minus\thr@@\p@}% + \setverticalskips + \def\@listi{\leftmargin\leftmargini\parsep\z@}} +%8/10 +\def\viiiONx{\@setfontsize\@footnotesize{8}{10}% + \setlength\smallskipamount{2.5\p@\@plus1.25\p@\@minus.625\p@}% + \setlength\medskipamount{5\p@\@plus1.6\p@\@minus.8\p@}% + \setlength\bigskipamount{10\p@\@plus\tw@\p@\@minus\p@}% + \setverticalskips + \def\@listi{\leftmargin\leftmargini\parsep\z@}} +%9/11 +\def\ixONxi{\@setfontsize\smallsize{9}{11}% + \setlength\smallskipamount{2.75\p@\@plus1.375\p@\@minus.6825\p@}% + \setlength\medskipamount{5.5\p@\@plus1.65\p@\@minus.825\p@}% + \setlength\bigskipamount{11\p@\@plus2.2\p@\@minus1.1\p@}% + \setverticalskips + \def\@listi{\leftmargin\leftmargini\parsep\z@}} +%10/12 +\def\xONxii{\@setfontsize\normalsize{10}{12}% + \setlength\smallskipamount{3\p@\@plus1.5\p@\@minus.75\p@}% + \setlength\medskipamount{6\p@\@plus1.8\p@\@minus.9\p@}% + \setlength\bigskipamount{12\p@\@plus2.4\p@\@minus1.2\p@}% + \setverticalskips + \def\@listi{\leftmargin\leftmargini\parsep\z@}} +%12/14 +\def\xiiONxiv{\@setfontsize\large{12}{14}% + \setlength\smallskipamount{3.5\p@\@plus1.75\p@\@minus.875\p@}% + \setlength\medskipamount{7\p@\@plus2.1\p@\@minus1.05\p@}% + \setlength\bigskipamount{14\p@\@plus2.8\p@\@minus1.4\p@}% + \setverticalskips + \def\@listi{\leftmargin\leftmargini\parsep\z@}} +%14/14 +\def\xivONxiv{\@setfontsize\Large{14}{14}% + \setlength\smallskipamount{3.5\p@\@plus1.75\p@\@minus.875\p@}% + \setlength\medskipamount{7\p@\@plus2.1\p@\@minus1.05\p@}% + \setlength\bigskipamount{14\p@\@plus2.8\p@\@minus1.4\p@}% + \setverticalskips + \def\@listi{\leftmargin\leftmargini\parsep\z@}} +%14/16 +\def\xivONxvi{\@setfontsize\Large{14}{16}% + \setlength\smallskipamount{4\p@\@plus\tw@\p@\@minus\p@}% + \setlength\medskipamount{8\p@\@plus2.4\p@\@minus1.2\p@}% + \setlength\bigskipamount{16\p@\@plus3.2\p@\@minus1.6\p@}% + \setverticalskips + \def\@listi{\leftmargin\leftmargini\parsep\z@}} +%20/20 +\def\xxONxx{\@setfontsize\huge{20}{20}% + \setlength\smallskipamount{5\p@\@plus2.5\p@\@minus1.25\p@}% + \setlength\medskipamount{10\p@\@plus\thr@@\p@\@minus1.5\p@}% + \setlength\bigskipamount{20\p@\@plus4\p@\@minus\tw@\p@}% + \setverticalskips + \def\@listi{\leftmargin\leftmargini\parsep\z@}} +% +% List environments, etc. I +% +\def\@listi {\leftmargin\leftmargini + \parsep\z@} +\def\@listii {\leftmargin\leftmarginii + \labelwidth\leftmarginii + \advance\labelwidth-\labelsep + \topsep 4\p@ \@plus2\p@ \@minus\p@ + \parsep\z@ + \itemsep \parsep} +\def\@listiii{\leftmargin\leftmarginiii + \labelwidth\leftmarginiii + \advance\labelwidth-\labelsep + \topsep 2\p@ \@plus\p@\@minus\p@ + \parsep \z@ + \partopsep\z@ + \itemsep \topsep} +\def\@listiv {\leftmargin\leftmarginiv + \labelwidth\leftmarginiv + \advance\labelwidth-\labelsep} +\def\@listv {\leftmargin\leftmarginv + \labelwidth\leftmarginv + \advance\labelwidth-\labelsep} +\def\@listvi {\leftmargin\leftmarginvi + \labelwidth\leftmarginvi + \advance\labelwidth-\labelsep} +\let\@listI\@listi +% +\normalsize +\setlength\parindent{\@ne em} +% +% Various registers +% +\setlength\headheight{9\p@} +\setlength\headsep{15\p@} +\setlength\topskip{10\p@} +\setlength\footskip{16\p@} +\setlength\maxdepth{.5\topskip} +\textwidth324\p@ +\@tempdima\baselineskip +\setlength\textheight{44\baselineskip} +\addtolength\textheight{\topskip} +\setlength\hfuzz{.5\p@} +\setlength\marginparsep{11\p@} +\setlength\marginparpush{5\p@} +\paperwidth8.5in +\setlength\@tempdima {\paperwidth} +\addtolength\@tempdima {-\textwidth} +\setlength\oddsidemargin {.5\@tempdima} +\addtolength\oddsidemargin {-1in} +\@settopoint\oddsidemargin +\evensidemargin\oddsidemargin +\setlength\marginparwidth {.5\@tempdima} +\addtolength\marginparwidth {-\marginparsep} +\addtolength\marginparwidth {-0.4in} +\ifdim \marginparwidth >2in \setlength\marginparwidth{2in} \fi +\@settopoint\marginparwidth +\paperheight11in +\setlength\topmargin{\paperheight} +\addtolength\topmargin{-2in} +\addtolength\topmargin{-\headheight} +\addtolength\topmargin{-\headsep} +\addtolength\topmargin{-\textheight} +\addtolength\topmargin{-\footskip} % this might be wrong! +\addtolength\topmargin{-.5\topmargin} +\@settopoint\topmargin +\setlength\footnotesep{7\p@} +\setlength{\skip\footins}{18.5\p@\@plus6\p@} +\setlength\lineskip{\p@} +\setlength\normallineskip{\p@} +\renewcommand\baselinestretch{} +\setlength\parskip{\z@skip} +% Penalties +\clubpenalty \@M +\widowpenalty \@M +\tolerance 1750 +\hbadness 1750 +\@lowpenalty 51 +\@medpenalty 151 +\@highpenalty 301 +\@beginparpenalty -\@lowpenalty +\@endparpenalty -\@lowpenalty +\@itempenalty -\@lowpenalty +% Demerits +\finalhyphendemerits100000000 +\doublehyphendemerits80000000 +% +% Float parameters +% +\setlength\floatsep {12\p@\@plus2.4\p@\@minus1.2\p@} +\setlength\textfloatsep{12\p@\@plus4.8\p@} +\setlength\intextsep {12\p@\@plus2.4\p@\@minus1.2\p@} +\setlength\@fptop{0\p@ \@plus 1fil} +\setlength\@fpsep{8\p@ \@plus 2fil} +\setlength\@fpbot{0\p@ \@plus 1fil} +\setcounter{topnumber}{3} +\renewcommand\topfraction{1} +\setcounter{bottomnumber}{2} +\renewcommand\bottomfraction{1} +\setcounter{totalnumber}{6} +\renewcommand\textfraction{0.085502} +\renewcommand\floatpagefraction{.9} +% +% More registers +% +\setlength\partopsep{\z@skip} +\setlength\arraycolsep{5\p@} +\setlength\tabcolsep{6\p@} +\setlength\arrayrulewidth{.5\p@} +\setlength\doublerulesep{2\p@} +\setlength\tabbingsep{\labelsep} +\skip\@mpfootins \skip\footins +\setlength\fboxsep{\thr@@\p@} +\setlength\fboxrule{.4\p@} +\setlength\columnsep{12\p@} +\setlength\columnseprule{\z@} +% +% List environments, etc. II +% +\setlength\leftmargini {2.5em} +\leftmargin \leftmargini +\setlength\leftmarginii {2.2em} +\setlength\leftmarginiii {1.87em} +\setlength\leftmarginiv {1.7em} +\setlength\leftmarginv {1em} +\setlength\leftmarginvi {1em} +\setlength\labelsep {.5em} +\setlength\labelwidth {\leftmargini} +\addtolength\labelwidth {-\labelsep} +\@beginparpenalty-\@lowpenalty +\@endparpenalty -\@lowpenalty +\@itempenalty -\@lowpenalty +\renewcommand\theenumi{\@arabic\c@enumi} +\renewcommand\theenumii{\@alph\c@enumii} +\renewcommand\theenumiii{\@roman\c@enumiii} +\renewcommand\theenumiv{\@Alph\c@enumiv} +\newcommand\labelenumi{\theenumi.} +\newcommand\labelenumii{(\theenumii)} +\newcommand\labelenumiii{\theenumiii.} +\newcommand\labelenumiv{\theenumiv.} +\renewcommand\p@enumii{\theenumi} +\renewcommand\p@enumiii{\theenumi(\theenumii)} +\renewcommand\p@enumiv{\p@enumiii\theenumiii} +\newcommand\labelitemi{\textbullet} +\newcommand\labelitemii{\normalfont\bfseries \textendash} +\newcommand\labelitemiii{\textasteriskcentered} +\newcommand\labelitemiv{\textperiodcentered} +\newenvironment{description} + {\list{}{\labelwidth\z@ \itemindent-\leftmargin + \let\makelabel\descriptionlabel}} + {\endlist} +\newcommand*\descriptionlabel[1]{\hspace\labelsep + \normalfont\bfseries #1} +\newcommand\abstractname{Abstract} +\newenvironment{abstract}{\vskip21\p@ + \rightskip1pc\leftskip1pc\parindent\z@ + \small + \begin{center}% + {\uppercase{\abstractname}\vspace{-.5em}\vspace{\z@}}% + \end{center}% + \quotation} +{\endquotation} +\newenvironment{verse} + {\let\\\@centercr + \list{}{\itemsep \z@ + \itemindent -1.5em% + \listparindent\itemindent + \rightmargin \leftmargin + \advance\leftmargin 1.5em}% + \item\relax} + {\endlist} +\newenvironment{quotation} + {\list{}{\listparindent 1.5em% + \itemindent \listparindent + \rightmargin \leftmargin + \parsep \z@ \@plus\p@}% + \item\relax} + {\endlist} +\newenvironment{quote} + {\list{}{\rightmargin\leftmargin}% + \item\relax} + {\endlist} +% +% make title +% +\newcommand\maketitle{\par + \begingroup + \renewcommand\thefootnote{\@fnsymbol\c@footnote}% + \def\@makefnmark{\rlap{\@textsuperscript{\normalfont\@thefnmark}}}% + \long\def\@makefntext##1{\parindent 1em\noindent\hb@xt@1.8em{% + \hss\@textsuperscript{\normalfont\@thefnmark}}##1}% + \newpage + \global\@topnum\z@ % Prevents figures from going at top of page. + \@maketitle + \thispagestyle{empty}\@thanks + \endgroup + \setcounter{footnote}{0}% + \global\let\thanks\relax + \global\let\maketitle\relax + \global\let\@maketitle\relax + \global\let\@thanks\@empty + \global\let\@author\@empty + \global\let\@date\@empty + \global\let\@title\@empty + \global\let\title\relax + \global\let\author\relax + \global\let\date\relax + \global\let\and\relax +} +\def\@maketitle{% + \newpage + \null + \vskip 2em% + \begin{center}% + \let \footnote \thanks + {\LARGE \@title \par}% + \vskip 1.5em% + {\large + \lineskip .5em% + \begin{tabular}[t]{c}% + \@author + \end{tabular}\par}% + \vskip 1em% + {\large \@date}% + \end{center}% + \par + \vskip 1.5em} +\newenvironment{titlepage}{\newpage\thispagestyle{empty}\setcounter{page}% + \@ne}{\newpage} +% +% Output stuff +% +\def\ps@headings{% + \let\@mkboth\markboth + \let\@oddfoot\@empty\let\@evenfoot\@empty + \def\@oddhead{\small\upshape\hfill\rightmark\hskip\tw@ em\thepage}% + \def\@evenhead{\small\upshape\thepage\hskip\tw@ em\leftmark\hfill}% + \def\chaptermark##1{\markbothsame{\ifnum\c@secnumdepth>\m@ne\@chapapp + \thechapter.\kern6\p@\fi##1}}% + \def\sectionmark##1{\markright{\ifnum\c@secnumdepth>\z@\thesection.\kern6\p@ + \fi##1}}} +\pagestyle{headings} +\def\ps@index{% + \let\@mkboth\markboth + \let\@oddfoot\@empty\let\@evenfoot\@empty + \def\@oddhead{\hfill\small\upshape\indexname\hskip\tw@ em\thepage}% + \def\@evenhead{\small\upshape\thepage\hskip\tw@ em\indexname\hfill}} +\def\clap#1{\hbox to\z@{\hss#1\hss}} +\newdimen\@crosshairrule \@crosshairrule.2\p@ +\def\@crosshairs{\vbox to\z@{\hsize\z@\baselineskip\z@\lineskip\z@ + \vss + \clap{\vrule height .125in width \@crosshairrule depth\z@} + \clap{\vrule width .25in height \@crosshairrule depth\z@ + \rlap{\vbox to\z@{\vss\hbox{This is page \thepage\strut}% + \hbox{Printer: Opaque this\strut}\vss}}} + \clap{\vrule height .125in width \@crosshairrule depth\z@} + \vss}} +\def\ps@empty{\def\@oddhead{\hfill\raise\headheight\@crosshairs}% + \let\@evenhead\@oddhead + \def\@evenfoot{}\let\@oddfoot\@evenfoot} +\mark{{}{}} +\def\markbothsame#1{\markboth{#1}{#1}} +\def\clearpage{\par\vfill\penalty-\@M\write\m@ne{}\vbox{}\penalty-\@Mi} +\def\newpage{\par\vfill\penalty-\@M} +\def\cleardoublepage{\clearpage\ifodd\c@page\else\typeout{Page \the\c@page + \space is blank}\hbox{}\thispagestyle{empty}\newpage\fi} +\def\@makecol{\ifvoid\footins \setbox\@outputbox\box\@cclv + \else\setbox\@outputbox + \vbox{\unvbox\@cclv\vskip\skip\footins\footnoterule\unvbox\footins}\fi + \xdef\@freelist{\@freelist\@midlist}\gdef\@midlist{}\@combinefloats + \setbox\@outputbox\vbox to\@colht{\boxmaxdepth\maxdepth + \@texttop + \unvbox\@outputbox + \@textbottom}\global\maxdepth\@maxdepth} +% +% Front matter +% +\setcounter{secnumdepth}{2} +\setcounter{tocdepth}{2} +\newdimen\@pnumwidth +\setbox\z@\hbox{000\quad} +\@pnumwidth\wd\z@ +\newcommand\@tocrmarg{2.55em} +\newcommand\@dotsep{4.5} +\newcommand*\l@part[2]{% + \ifnum \c@tocdepth >-2\relax + \addpenalty{-\@highpenalty}% + \addvspace{2.25em \@plus\p@}% + \begingroup + \parindent \z@ \rightskip \@pnumwidth + \parfillskip -\@pnumwidth + {\leavevmode + \large \bfseries #1\hfil \hb@xt@\@pnumwidth{\hss #2}}\par + \nobreak + \global\@nobreaktrue + \everypar{\global\@nobreakfalse\everypar{}}% + \endgroup + \fi} +\newcommand*\l@chapter[2]{% + \ifnum \c@tocdepth >\m@ne + \addpenalty{-\@highpenalty}% + \vskip 1.0em \@plus\p@ + \setlength\@tempdima{1.5em}% + \begingroup + \parindent \z@ \rightskip \@pnumwidth + \parfillskip -\@pnumwidth + \leavevmode \bfseries + \advance\leftskip\@tempdima + \hskip -\leftskip + #1\nobreak\hfil \nobreak\hb@xt@\@pnumwidth{\hss #2}\par + \penalty\@highpenalty + \endgroup + \fi} +\def\l@section{\@dottedtocline{1}{1.5em}{2.8em}} +\def\l@subsection{\@dottedtocline{2}{4.3em}{3.2em}} +\def\l@subsubsection{\@dottedtocline{3}{7.5em}{4.1em}} +\def\l@paragraph{\@dottedtocline{4}{11.1em}{5em}} +\def\l@subparagraph{\@dottedtocline{5}{12.5em}{6em}} +\def\l@figure{\@dottedtocline{1}{1.5em}{2.3em}} +\let\l@table\l@figure +\newcommand\contentsname{Contents} +\newcommand\listfigurename{List of Figures} +\newcommand\listtablename{List of Tables} +\newcommand\tableofcontents{\chapter*{\contentsname}\markbothsame + {\contentsname}\@starttoc{toc}} +\newcommand\listoffigures{\chapter*{\listfigurename}\markbothsame + {\listfigurename}\@starttoc{lof}} +\newcommand\listoftables{\chapter*{\listtablename}\markbothsame + {\listtablename}\@starttoc{lot}} +% +% Back matter +% +\newdimen\bibindent +\setlength\bibindent{1.5em} +\newcommand\newblock{\unskip\ \ignorespaces} +\newcommand\bibname{References} +\newenvironment{thebibliography}[1]% + {\chapter*{\bibname}\markbothsame{\bibname}% + \addcontentsline{toc}{chapter}{\bibname}% + \small + \itemsep\smallskipamount + \list + {[\arabic{enumiv}]}{\settowidth\labelwidth{[#1]}% + \leftmargin\labelwidth + \advance\leftmargin\labelsep + \usecounter{enumiv}% + \let\p@enumiv\@empty + \renewcommand\theenumiv{\@arabic\c@enumiv}}} + {\def\@noitemerr{\@latex@warning{Empty `thebibliography' environment}}% + \endlist} +\newcommand\indexname{Index} +\def\thebaseindex{\cleardoublepage\pagestyle{index}\columnseprule\z@ + \columnsep18\p@\twocolumn[\@makeschapterhead{\indexname}] + \addcontentsline{toc}{chapter}{\indexname}% + \@mkboth{\indexname}{\indexname}\thispagestyle{empty}% + \small\parindent\z@ + \rightskip\z@ plus6em + \parskip\z@\@plus.3\p@ + \let\item\@idxitem} +\let\theindex\thebaseindex +\def\theauthorindex{\def\indexname{Author Index}\thebaseindex} +\def\thesubjectindex{\def\indexname{Subject Index}\thebaseindex} +\def\thesymbolindex{\def\indexname{Symbol Index}\thebaseindex} +\newcommand\@idxitem{\par\hangindent\thr@@ em} +\newcommand\subitem{\@idxitem\hspace*{\@ne em}} +\newcommand\subsubitem{\@idxitem\hspace*{\tw@ em}} +\newcommand\indexspace{\par\vskip11\p@ plus2.2\p@ minus1.1\p@} +\def\endtheindex{\clearpage\onecolumn} +\let\endthesymbolindex\endtheindex +\let\endtheauthorindex\endtheindex +\let\endthesubhectindex\endtheindex +% +% heads +% +\newcommand\partname{Part} +\newcommand\chaptername{} +\newcommand\appendixname{Appendix} +\newcommand\@chapapp{\chaptername} +\newcounter{part} +\newcounter{chapter} +\newcounter{section}[chapter] +\newcounter{subsection}[section] +\newcounter{subsubsection}[subsection] +\newcounter{paragraph}[subsubsection] +\newcounter{subparagraph}[paragraph] +\renewcommand\thepart {\@Roman\c@part} +\renewcommand\thechapter {\@arabic\c@chapter} +\renewcommand\thesection {\thechapter.\@arabic\c@section} +\renewcommand\thesubsection {\thesection.\@arabic\c@subsection} +\renewcommand\thesubsubsection{\thesubsection .\@arabic\c@subsubsection} +\renewcommand\theparagraph {\thesubsubsection.\@arabic\c@paragraph} +\renewcommand\thesubparagraph {\theparagraph.\@arabic\c@subparagraph} +\newcommand\part{\cleardoublepage\thispagestyle{empty}\null\vfil\secdef\@part + \@spart} +\def\@part[#1]#2{\ifnum\c@secnumdepth>-\tw@\refstepcounter{part}% + \addcontentsline{toc}{part}{\thepart\hspace{1em}#1}\else\addcontentsline + {toc}{part}{#1}\fi\markboth{}{}{\centering\interlinepenalty\@M\normalfont + \ifnum\c@secnumdepth>-2\relax\huge\bfseries\partname~\thepart\par\vskip20\p@ + \fi\Huge\bfseries#2\par}\@endpart} +\def\@spart#1{{\centering\interlinepenalty\@M\normalfont\Huge\bfseries#1\par}% + \@endpart} +\def\@endpart{\vfil\newpage\null\thispagestyle{empty}\newpage} +\font\chnum cmr10 scaled \magstep5 +\def\chapter{\chapclear\thispagestyle{empty}\global\@topnum\z@ + \@afterindentfalse\secdef\@chapter\@schapter} +\def\@chapter[#1]#2{\ifnum\c@secnumdepth>\m@ne\refstepcounter{chapter}% + \typeout{\@chapapp\space\thechapter.}\addcontentsline{toc}{chapter}% + {\protect\numberline{\thechapter}#1}\else\addcontentsline{toc}{chapter}{#1}% + \fi\chaptermark{#1}\addtocontents{lof}{\protect\addvspace{10\p@}}% + \addtocontents{lot}{\protect\addvspace{10\p@}}\@makechapterhead{#2}% + \@afterheading} +\def\@schapter#1{\@makeschapterhead{#1}\@afterheading} +\def\@makechapterhead#1{\vbox to238\p@{{\strut\vskip20\p@\raggedright\xxONxx + \ifnum\c@secnumdepth>\m@ne{\chnum\@chapapp{}\thechapter}\fi\par\vskip10\p@ + #1\par\vfil}}} +\def\@makeschapterhead#1{\vbox to238\p@{{\strut\vskip50.5\p@\raggedright + \xxONxx#1\par\vfil}}} +\newcommand\appendix{\par\setcounter{chapter}{0}\setcounter{section}{0}% + \renewcommand\@chapapp{\appendixname}\renewcommand\thechapter{\@Alph + \c@chapter}} +\def\section{\@startsection{section}{\@ne}{\z@}{-24\p@\@plus-6\p@\@minus + -\thr@@\p@}{12\p@}{\xivONxvi\raggedright}} +\def\subsection{\@startsection{subsection}{\tw@}{\z@}{-18\p@\@plus-4.8\p@ + \@minus-2.4\p@}{6\p@}{\xiiONxiv\itshape\raggedright}} +\def\subsubsection{\@startsection{subsubsection}{\thr@@}{\z@}{-12\p@\@plus + -4.2\p@\@minus-2.1\p@}{6\p@}{\xONxii\rm\raggedright}} +\def\paragraph{\@startsection{paragraph}{4}{\z@}{-8\p@\@plus-3.8\p@\@minus + -1.7\p@}{6\p@}{\xONxii\itshape\raggedright}} +\def\subparagraph#1{\@startsection{subparagraph}{5}{\z@}{-6\p@\@plus-1.8\p@ + \@minus-.9\p@}{-.5em}{\xONxii\itshape}{#1.}} +\def\acknowledgments{\@startsection{subparagraph}{6}{\z@}{-24\p@\@plus-3.6\p@ + \@minus-1.8\p@}{-.5em}{\xONxii\itshape}*{Acknowledgments:\/}} +% +% equations +% +\@addtoreset{equation}{chapter} +\renewcommand\theequation{\ifnum\c@chapter>\z@\thechapter.\fi\@arabic + \c@equation} +% +% feetnote +% +\@addtoreset{footnote}{chapter} +\newcommand\@makefntext[1]{\parindent\@ne em\noindent\hb@xt@1.8em{\hss +\renewcommand\footnoterule{\kern-6.5\p@\hrule\@width5pc height.5\p@\vskip6\p@} + \@makefnmark}#1} +% +% Figures and Tables +% +\newcommand\figurename{Figure} +\newcounter{figure}[chapter] +\renewcommand\thefigure{\ifnum\c@chapter>\z@\thechapter.\fi\@arabic\c@figure} +\def\fps@figure{tbp} +\def\ftype@figure{1} +\def\ext@figure{lof} +\def\fnum@figure{\small\uppercase{\figurename}~\thefigure} +\newenvironment{figure}{\@float{figure}}{\end@float} +\newenvironment{figure*}{\@float{figure}}{\end@float} +\newenvironment{table*}{\@float{table}}{\end@float} +\newcommand\tablename{Table} +\newcounter{table}[chapter] +\renewcommand\thetable{\ifnum\c@chapter>\z@\thechapter.\fi\@arabic\c@table} +\def\fps@table{tbp} +\def\ftype@table{2} +\def\ext@table{lot} +\def\fnum@table{\small\uppercase{\tablename}~\thetable} +\newenvironment{table}{\@float{table}}{\end@float} +\newlength\abovecaptionskip +\newlength\belowcaptionskip +\setlength\abovecaptionskip{6\p@} +\setlength\belowcaptionskip{\z@skip} +\long\def\@makecaption#1#2{{% + \vskip\abovecaptionskip + \small + \sbox\@tempboxa{#1. #2}% + \ifdim\wd\@tempboxa>\hsize + \unhbox\@tempboxa\hfil\par + \else + \global\@minipagefalse + \hb@xt@\hsize{\hfil\box\@tempboxa\hfil}% + \fi + \vskip\belowcaptionskip}} +% +% Font commands +% +\DeclareOldFontCommand{\rm}{\normalfont\rmfamily}{\mathrm} +\DeclareOldFontCommand{\sf}{\normalfont\sffamily}{\mathsf} +\DeclareOldFontCommand{\tt}{\normalfont\ttfamily}{\mathtt} +\DeclareOldFontCommand{\bf}{\normalfont\bfseries}{\mathbf} +\DeclareOldFontCommand{\it}{\normalfont\itshape}{\mathit} +\DeclareOldFontCommand{\sl}{\normalfont\slshape}{\@nomath\sl} +\DeclareOldFontCommand{\sc}{\normalfont\scshape}{\@nomath\sc} +\DeclareRobustCommand*\cal{\@fontswitch\relax\mathcal} +\DeclareRobustCommand*\mit{\@fontswitch\relax\mathnormal} +% +% In case book.sty has been used +% +\newif\if@mainmatter \@mainmattertrue +\newcommand\frontmatter{\cleardoublepage\@mainmatterfalse\pagenumbering + {roman}} +\newcommand\mainmatter{\cleardoublepage\@mainmattertrue\pagenumbering{arabic}} +\newcommand\backmatter{\cleardoublepage\@mainmatterfalse} +% +% Last words ... +% +\def\today{\ifcase\month\or + January\or February\or March\or April\or May\or June\or + July\or August\or September\or October\or November\or December\fi + \space\number\day, \number\year} +\catcode`\^^Z 10 +\@twosidetrue +\pagenumbering{roman} +\flushbottom +\onecolumn +\frenchspacing +\endinput +
\ No newline at end of file diff --git a/Master/texmf-dist/doc/latex/mil3/template.bib b/Master/texmf-dist/doc/latex/mil3/template.bib new file mode 100644 index 00000000000..0c5a65245e2 --- /dev/null +++ b/Master/texmf-dist/doc/latex/mil3/template.bib @@ -0,0 +1,155 @@ +% Sample file: template.bib +% bibliographic template file +% Delete comments from this file + + +@ARTICLE(eM57, + author = "Ernest~T. Moynahan", + title = "On a Problem of {M. Stone}", + journal = "Acta Math. Acad. Sci. Hungar.", + pages = "455--460", + volume = 8, + year = 1957, + ) + +@ARTICLE(eM57a, + author = "Ernest~T. Moynahan", + title = "On a problem of {M. Stone}", + journal = "Acta Math. Acad. Sci. Hungar.", + pages = "455--460", + volume = 8, + year = 1957, + month = feb, + note = "Russian translation available", + language = "English", + ) + +@BOOK(gM68, + author = "George~A. Menuhin", + title = "Universal Algebra", + publisher = "D.~van Nostrand", + address = "Princeton", + year = 1968, + ) + +@BOOK(gM68a, + author = "George~A. Menuhin", + title = "Universal Algebra", + publisher = "D.~van Nostrand", + address = "Princeton", + year = 1968, + series = "University Series in Higher Mathematics", + volume = 58, + edition = "Second", + month = "March", + note = "no Russian translation", + language = "English", + ) + +@BOOK(rP68, + editor = "R. S. Prescott", + title = "Universal Algebra", + publisher = "D.~van Nostrand", + address = "Princeton", + year = 1968, + ) + +@INPROCEEDINGS(pK69, + author = "Peter~A. Konig", + title = "Composition of Functions", + booktitle = "Proceedings of the Conference on + Universal Algebra", + year = 1970, + ) + +@INPROCEEDINGS(pK69a, + author = "Peter~A. Konig", + title = "Composition of Functions", + booktitle = "Proceedings of the Conference on + Universal Algebra", + publisher = "Queen's Univ., Kingston ON", + organization = "Canadian Mathematical Society", + editor = "G.H. Birnbaum", + pages = "1--106", + volume = 7, + year = 1970, + month = dec, + note = "available from the Montreal office", + language = "English", + ) + +@INCOLLECTION(hA70, + author = "Henry~H. Albert", + title = "Free Torsoids", + booktitle = "Current Trends in Lattice Theory", + publisher = "D.~van Nostrand", + year = 1970, + ) + +@INCOLLECTION(hA70a, + author = "Henry~H. Albert", + editor = "G.H. Birnbaum", + chapter = "Third", + title = "Free Torsoids", + booktitle = "Current Trends in Lattice Theory", + publisher = "D.~van Nostrand, Princeton", + language = "German", + pages = "173--215", + volume = 7, + year = 1970, + month = jan, + note = "first volume of the series ``Current Trends''", + ) + +@PHDTHESIS(sF90, + author = "Soo-Key Foo", + title = "Lattice Constructions", + school = "University of Winnebago", + year = 1990, + ) + +@PHDTHESIS(sF90a, + author = "Soo-Key Foo", + title = "Lattice constructions", + school = "University of Winnebago", + address = "Winnebago, MN", + year = 1990, + month = dec, + note = "final revision not yet available", + language = "Chinese", + ) + +@TECHREPORT(gF86, + author = "Grant~H. Foster", + title = "Computational Complexity in Lattice Theory", + institution = "Carnegie Mellon University", + year = 1986, + ) + +@TECHREPORT(gF86a, + author = "Grant~H. Foster", + title = "Computational Complexity in Lattice Theory", + institution = "Carnegie Mellon University", + year = 1986, + type = "Research Note", + address = "Pittsburgh, PA", + number = "128A", + month = dec, + note = "research article in preparation", + language = "English", + ) + +@UNPUBLISHED(wL75, + author = "William~A. Landau", + title = "Representations of Complete Lattices", + note = "Abstract: Notices Amer. Math. Soc. \textbf{18}, 937", + ) + +@UNPUBLISHED(wL75a, + author = "William~A. Landau", + title = "Representations of Complete Lattices", + year = 1975, + note = "Abstract: Notices Amer. Math. Soc. \textbf{18}, 937", + month = dec, + language = "English", + ) diff --git a/Master/texmf-dist/doc/latex/mil3/textenv.tpl b/Master/texmf-dist/doc/latex/mil3/textenv.tpl new file mode 100644 index 00000000000..d8be2e806bc --- /dev/null +++ b/Master/texmf-dist/doc/latex/mil3/textenv.tpl @@ -0,0 +1,536 @@ +% Sample file: textenv.tpl template file + +% 3.1 List environments + +% 3.1.1 Numbered lists: enumerate + +\noindent This space has the following properties: +\begin{enumerate} + \item Grade 2 Cantor\label{Cantor} + \item Half-smooth Hausdorff\label{Hausdorff} + \item Metrizably smooth\label{smooth} +\end{enumerate} +Therefore, we can apply the Main Theorem \ldots + +% 3.1.2 Bulleted lists: itemize + +\noindent In this lecture, we set out to accomplish a variety +of goals: +\begin{itemize} + \item To introduce the concept of smooth functions + \item To show their usefulness in the differentiation + of Howard-type functions + \item To point out the efficacy of using smooth functions + in Advanced Calculus courses +\end{itemize} + +% 3.1.3 Captioned lists: description + +In this introduction, we outline the history of this concept. +The main contributors were: +\begin{description} + \item[J. Perelman,] the first to introduce smooth functions. + \item[T. Kov\'acs,] who showed their usefulness in the + differentiation of Howard-type functions. + \item[A.P. Fein,] the main advocate of using smooth + functions in Advanced Calculus courses. +\end{description} +In addition to these mathematicians \ldots + +% 3.1.4 Rule and combinations + +\begin{enumerate} + \item First item of Level 1. + \begin{enumerate} + \item First item of Level 2. + \begin{enumerate} + \item First item of Level 3. + \begin{enumerate} + \item First item of Level 4.\label{level4} + \item Second item of Level 4. + \end{enumerate} + \item Second item of Level 3. + \end{enumerate} + \item Second item of Level 2. + \end{enumerate} + \item Second item of Level 1. +\end{enumerate} +Referencing the first item of Level 4: \ref{level4} + +\begin{enumerate} + \item First item of Level 1. + \begin{itemize} + \item First item of Level 2. + \begin{enumerate} + \item First item of Level 3. + \begin{itemize} + \item First item of Level 4.\label{enums} + \item Second item of Level 4. + \end{itemize} + \item Second item of Level 3. + \end{enumerate} + \item Second item of Level 2. + \end{itemize} + \item Second item of Level 1. +\end{enumerate} +Referencing the first item of Level 4: \ref{enums} + +% 3.2 Tabbing environment + +\begin{tabbing} + Print\= Time\\ + \>Block\=[\{timing\},\\ + \>\>timing = Timing[expr];\\ + (careful with initalization)\kill + \>\>Print[ timing[[1]] ];\\ + \>]\\ + End[\,] +\end{tabbing} + +\begin{tabbing} + \hspace*{.25in}\=\hspace{2ex}\=\hspace{2ex}\=\hspace{2ex}\kill + \> $k := 1$ \\ + \> $l_k := 0$; $r_k := 1$ \\ + \> \texttt{loop} \\ + \> \> $m_k := (l_k + r_k)/2$ \\ + \> \> \texttt{if} $w < m_k$ \texttt{then} \\ + \> \> \> $b_k := 0$; $r_k := m_k$ \\ + \> \> \texttt{else if} $w > m_k$ \texttt{then} \\ + \> \> \> $b_k := 1$; $l_k := m_k$ \\ + \> \> \texttt{end if} \\ + \> \> $k := k + 1$ \\ + \> \texttt{end loop} +\end{tabbing} + +\begin{tabbing} + This is short.\=\\ + This is much longer, \> and jumps back. +\end{tabbing} + +% 3.3 Miscellaneous displayed text environments + +\begin{quote} + It's not that I'm afraid to die. I just don't want to be + there when it happens. + \emph{Woody Allen} + + Literature is news that STAYS news. \emph{Ezra Pound} +\end{quote} + +\begin{quotation} + KATH: Can he be present at the birth of his child? + + ED: It's all any reasonable child can expect if the dad + is present at the conception. + \begin{flushright} + \emph{Joe Orton} + \end{flushright} +\end{quotation} + +\begin{verse} + I think that I shall never see\\ + A poem as lovely as a tree. + + Poems are made by fools like me,\\ + But only God can make a tree. + + \begin{flushright} + \emph{Joyce Kilmer} + \end{flushright} +\end{verse} + +\begin{verbatim} +Formula (2) in section 3 should be typed as follows: +\begin{equation} + D^{\langle 2 \rangle} = \{\, \langle x_0, x_1 \rangle + \mid x_0, x_1 \in D,\ x_0 = 0 \Rightarrow x_1 = 0 \,\}. +\end{equation} +Please make the corrections. +\end{verbatim} + +Some European e-mail addresses contain \texttt{\%}; +recall that you have to type \verb+\%+ to get \texttt{\%}. + +% 3.4 Proclamations (theorem-like structures) + +\begin{definition}\label{D:prime} + \begin{enumerate} + \item $u$ is \emph{meet-irreducible} if + $u = x \wedge y$ implies that + $u = x$ or $u = x$.\label{mi1} + \item $u$ is \emph{meet-irreducible} if + $u = x \wedge y$ implies that + $u = x$ or $u = x$.\label{mi2} + \item $u$ is \emph{completely join-irreducible} if + $u = \bigvee X$ implies that $u \in X$. + \label{mi3} + \end{enumerate} +\end{definition} + +% Consecutive numbering + +\newtheorem{lemma}{Lemma} +\newtheorem{proposition}[lemma]{Proposition} + +% Numbering within a section + +\newtheorem{lemma}{Lemma}[section] + +\newtheorem{lemma}{Lemma}[section] +\newtheorem{proposition}[lemma]{Proposition} + +% 3.4.1 The full syntax + +\newtheorem}{envname}[procCounter]{Name}[secCounter] + +% 3.4.2 Proclamations with style + +\theoremstyle{plain} +\newtheorem{theorem}{Theorem} +\newtheorem{corollary}{Corollary} +\newtheorem*{main}{Main Theorem} +\newtheorem{lemma}{Lemma} +\newtheorem{proposition}{Proposition} + +\theoremstyle{definition} +\newtheorem{definition}{Definition} + +\theoremstyle{remark} +\newtheorem*{notation}{Notation} + +% Five examples + +% Example 1 + +\theoremstyle{plain} +\newtheorem{theorem}{Theorem} +\newtheorem{lemma}{Lemma} +\newtheorem{definition}{Definition} + +Example 2 + +\theoremstyle{plain} +\newtheorem{theorem}{Theorem} +\newtheorem{lemma}[theorem]{Lemma} +\newtheorem{definition}[theorem]{Definition} +\newtheorem{corollary}[theorem]{Corollary} + +Example 3 + +\theoremstyle{plain} +\newtheorem{theorem}{Theorem} +\newtheorem{proposition}{Proposition}[section] +\newtheorem{lemma}[proposition]{Lemma} +\newtheorem{definition}{Definition} + +\theoremstyle{definition} +\newtheorem*{notation}{Notation} + +Example 4 + +\theoremstyle{plain} +\newtheorem{theorem}{Theorem} +\newtheorem*{main}{Main Theorem} +\newtheorem{definition}{Definition}[section] +\newtheorem{lemma}[definition]{Lemma} + +\theoremstyle{definition} +\newtheorem*{Rule}{Rule} + +Example 5 + +\theoremstyle{plain} +\newtheorem{theorem}{Theorem} +\newtheorem{corollary}{Corollary} +\newtheorem*{main}{Main Theorem} +\newtheorem{lemma}{Lemma} +\newtheorem{proposition}{Proposition} + +\theoremstyle{definition} +\newtheorem{definition}{Definition} + +\theoremstyle{remark} +\newtheorem*{notation}{Notation} + +Exercises + +\theoremstyle{definition} +\newtheorem{xca}{Exercise} + +\begin{xca} +Prove that if $\inf H$ exists for all nonempty subsets $H$ of a +poset $P$, then $\sup \varnothing$ also exists in~$P$. +\end{xca} + +\begin{xcb}{Exercises} +\begin{enumerate} +\item A finite lattice $L$ is modular if{f} it does not +contain a pentagon.\label{E:pentagon} +\item Can the numbers of covering pairs in +Exercise~\ref{E:pentagon} be increased?\label{E:increased} +\end{enumerate} +\end{xcb} + +% 3.5 Proof environment + +\begin{proof} + This is the proof, delimited by the q.e.d. symbol. +\end{proof} + +\begin{proof}[Necessity] + This is the proof of necessity. +\end{proof} + +\begin{proof} +Now the proof follows from the equation +\[ + a^2 = b^2 + c^2.\qedhere +\] +\end{proof} + + +% 3.7 Tabular environment + +\begin{tabular}{ | l | r | r | r | } + \hline + Name & 1 & 2 & 3 \\ \hline + Peter & 2.45 & 34.12 & 1.00\\ \hline + John & 0.00 & 12.89 & 3.71\\ \hline + David & 2.00 & 1.85 & 0.71\\ \hline +\end{tabular} + +\begin{table} + \begin{center} + \begin{tabular}{ || l | r | r | r || } + \hline + Name & 1 & 2 & 3 \\ \hline + Peter & 2.45 & 34.12 & 1.00\\ \hline + John & 0.00 & 12.89 & 3.71\\ \hline + David & 2.00 & 1.85 & 0.71\\ \hline + \end{tabular} + \caption{Tabular table}\label{Ta:first} + \end{center} +\end{table} + +\begin{tabular}{r||l|l|l|l|l|l|l|l|l|l|} \hline \hline + & 0 & 1 & 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9\\\hline + +0& \symbol{0} &\symbol{1}&\symbol{2}&\symbol{3}& +\symbol{4}&\symbol{5}&\symbol{6}&\symbol{7}& +\symbol{8}&\symbol{9}\\ \hline + +......... + +120& \symbol{120} &\symbol{121}&\symbol{122}&\symbol{123}& +\symbol{124}&\symbol{125}&\symbol{126}&\symbol{127} & & \\ \hline +\end{tabular} + +% More column formatting commands + +\begin{tabular}{r @{.} l} + 3&78\\ + 4&261\\ + 4 +\end{tabular} + +\begin{tabular}{ || p{1in} | r | r | r || }\hline + Name & 1 & 2 & 3 \\ \hline + Peter & 2.45 & 34.12 & 1.00\\ \hline + John & 0.00 & 12.89 & 3.71\\ \hline + David & 2.00 & 1.85 & 0.71\\ \hline +\end{tabular} + +% Refinements + +\begin{table} + \begin{center} + \begin{tabular}{ || l | r | r | r || } \hline + Name & 1 & 2 & 3\\ \hline + Peter & 2.45 & 34.12 & 1.00\\ \hline + John & \multicolumn{3}{c ||}{\emph{absent}}\\ \hline + David & 2.00 & 1.85 & 0.71\\ \hline + \end{tabular} + \caption{Floating table with + $\backslash$\texttt{multicolumn}} + \label{Ta:cline} + \end{center} +\end{table} + +\begin{table} + \begin{center} + \begin{tabular}{ || c c | c | r || } \hline + Name & Month & Week & Amount\\ \hline + Peter & Jan. & 1 & 1.00\\ \cline{3-4} + & & 2 & 12.78\\ \cline{3-4} + & & 3 & 0.71\\ \cline{3-4} + & & 4 & 15.00\\ \cline{2-4} + & \multicolumn{2}{| l}{Total: } & 29.49\\ \hline + John & Jan. & 1 & 12.01\\ \cline{3-4} + & & 2 & 3.10\\ \cline{3-4} + & & 3 & 10.10\\ \cline{3-4} + & & 4 & 0.00\\ \cline{2-4} + & \multicolumn{2}{| l}{Total: } & 25.21\\ \hline + \multicolumn{3}{|| l}{Grand Total:} & 54.70\\ \hline + \end{tabular} + \caption{Floating table with + $\backslash$\texttt{multicolumn} and + $\backslash$\texttt{cline}} + \label{Ta:multicol} + \end{center} +\end{table} + +\begin{center} + \begin{tabular}{ | r | c | c | } \hline + & \textbf{Area} & \textbf{Students}\\ \hline + \textbf{5th Grade}: & 63.4 \mbox{m$^{2}$} & 22\\ \hline + \textbf{6th Grade}: & 62.0 \mbox{m$^{2}$} & 19 \\ \hline + \textbf{Overall}: & 62.6 \mbox{m$^{2}$} & 20\\ \hline + \end{tabular} +\end{center} + +% Style and size environments + +\begin{flushright} + The \begin{bfseries}simplest\end{bfseries} + text environments set the + printing style and size.\\ + The commands and the environments have similar names. + +\end{flushright} + +% 9.6 Custom lists + +% 9.6.2 The list environment + +\noindent Here are the most important \LaTeX\ rules about +spaces in text, sentences, and paragraphs: +\begin{list}{$\diamondsuit$}{\setlength{\leftmargin}{.5in} + \setlength{\rightmargin}{.5in}} + \item \textbf{Rule 1:} Two or more spaces in text are + the same as one. + \item \textbf{Rule 2:} A blank line (that is, two end-of-line + characters separated only by blanks and tabs) indicates + the end of a paragraph. +\end{list} +Rules 1 and~2 make typing and copying very convenient. + +\noindent Here are the most important \LaTeX\ rules about +spaces in text, sentences, and paragraphs: +\begin{list}{}{\setlength{\leftmargin}{.5in} + \setlength{\rightmargin}{.5in}} + \item[\textbf{Rule 1:}] Two or more spaces in text are + the same as one. + \item[\textbf{Rule 2:}] A blank line (that is, two + end-of-line characters separated only by blanks and tabs) + indicates the end of a paragraph. +\end{list} +Rules 1 and~2 make typing and copying very convenient. + +% Using counters + +Here are the most important \LaTeX\ rules about spaces in text, +sentences, and paragraphs: +\newcounter{spacerule} +\begin{list}{\textbf{Rule \arabic{spacerule}:}} + {\setlength{\leftmargin}{.5in} + \setlength{\rightmargin}{.5in} + \usecounter{spacerule}} +\item Two or more spaces in text are +the same as one. +\item A blank line (that is, two end-of-line +characters separated only by blanks and tabs) indicates the end +of a paragraph. + \end{list} +Rules~1 and 2 make typing and copying very convenient. + +% 9.6.3 Two complete examples + +% Example 1 + +Here are the most important \LaTeX\ rules about spaces in text, +sentences, and paragraphs: +\newcounter{spacerule} +\begin{list}{\upshape \bfseries Rule \arabic{spacerule}:} + {\setlength{\leftmargin}{1.5in} + \setlength{\rightmargin}{.6in} + \setlength{\labelwidth}{1.0in} + \setlength{\labelsep}{.2in} + \setlength{\parsep}{0.5ex plus 0.2ex minus 0.1ex} + \setlength{\itemsep}{0ex plus 0.2ex minus 0ex} + \usecounter{spacerule} + \itshape} +\item Two or more spaces in text are the same as one. +\item A blank line (that is, two end-of-line characters +separated only by blanks and tabs) indicates the end +of a paragraph. +\end{list} +Rules~1 and 2 make typing and copying very convenient. + +\newenvironment{myrules} + {\begin{list} + {\upshape \bfseries Rule \arabic{spacerule}:} + {\setlength{\leftmargin}{1.5in} + \setlength{\rightmargin}{.6in} + \setlength{\labelwidth}{1.0in} + \setlength{\labelsep}{.2in} + \setlength{\parsep}{0.5ex plus 0.2ex minus 0.1ex} + \setlength{\itemsep}{0ex plus 0.2ex minus 0ex} + \usecounter{spacerule} + \itshape} } + {\end{list}} + +% Example 2 + +\begin{list}{} + {\setlength{\leftmargin}{30pt} + \setlength{\rightmargin}{0pt} + \setlength{\itemindent}{14pt} + \setlength{\labelwidth}{40pt} + \setlength{\labelsep}{5pt} + \setlength{\parsep}{0.5ex plus 0.2ex minus 0.1ex} + \setlength{\itemsep}{0ex plus 0.2ex minus 0ex}} + \item[\textbf{sentence}\hfill] is a group of words terminated + by a period, exclamation point, or question mark. + \item[\textbf{paragraph}\hfill] is a group of sentences + terminated by a blank line or by the \com{par} command. +\end{list} + +% 9.7 Custom formats + +\input tmplatex.ltx +\documentclass{article} +\usepackage{amssymb,latexsym,amsmath} +\dump +\end{verbatim} +On the other hand, the +\doc{sampartu.tex}\amssamplefileindex{sampartu.tex} article is a +little more complex: +\begin{verbatim} +\input tmplatex.ltx +\documentclass{amsart} +\usepackage{amssymb,latexsym} +\usepackage{lattice} + +\theoremstyle{plain} +\newtheorem{theorem}{Theorem} +\newtheorem{corollary}{Corollary} +\newtheorem{lemma}{Lemma} +\newtheorem{proposition}{Proposition} + +\theoremstyle{definition} +\newtheorem{definition}{Definition} + +\theoremstyle{remark} +\newtheorem*{notation}{Notation} + +\numberwithin{equation}{section} + +\newcommand{\Prodm}[2]{\gP(\,#1\mid#2\,)} + % product with a middle +\newcommand{\Prodsm}[2]{\gP^{*}(\,#1\mid#2\,)} + % product * with a middle +\newcommand{\vct}[2]{\vv<\dots,0,\dots,\overset{#1}{#2},% +\dots,0,\dots>}% special vector +\newcommand{\fp}{\F{p}}% Fraktur p +\newcommand{\Ds}{D^{\langle2\rangle}} +\dump diff --git a/Master/texmf-dist/doc/latex/mil3/topmat.tpl b/Master/texmf-dist/doc/latex/mil3/topmat.tpl new file mode 100644 index 00000000000..cd258997649 --- /dev/null +++ b/Master/texmf-dist/doc/latex/mil3/topmat.tpl @@ -0,0 +1,153 @@ +% Sample file: topmat.tpl template file + +% 8.2.5 Examples + + +% Example 1 One author + +% Article info +\title[``Complete-simple'' distributive lattices]% + {A construction of ``complete-simple''\\ + distributive lattices} +\date{\today} + +% Author info +\author{George~A. Menuhin} +\address{Computer Science Department\\ + University of Winnebago\\ + Winnebago, MN 53714} +\email{gmen@ccw.uwinnebago.edu} +\urladdr{http://math.uwinnebago.edu/homepages/menuhin/} +\thanks{This research was supported by + the NSF under grant number 23466.} + +% AMS info +\keywords{Complete lattice, distributive lattice, + complete congruence, congruence lattice} +\subjclass[2000]{Primary: 06B10; Secondary: 06D05} + +% Abstract +\begin{abstract} + In this note we prove that there exist \emph{complete simple + distributive lattices}, that is, complete distributive + lattices in which there are only two complete congruences. +\end{abstract} + +% Example 2 Two authors + +% Article info +\title[``Complete-simple'' distributive lattices]% + {A construction of ``complete-simple''\\ + distributive lattices} +\date{\today} + +% Author info +\author{George~A. Menuhin} +\address{Computer Science Department\\ + University of Winnebago\\ + Winnebago, MN 53714} +\email{gmen@ccw.uwinnebago.edu} +\thanks{The research of the first author was + supported by the NSF under grant number 23466.} +\author{Ernest~T. Moynahan} +\address{Mathematical Research Institute\\ + of the Hungarian Academy of Sciences\\ + Budapest, P.O.B. 127, H-1364\\ + Hungary} +\email{h1175moy\%ella@relay.eu.net} +\urladdr{http://math.uwinnebago.edu/homepages/menuhin/} +\thanks{The research of the second author + was supported in part by the Hungarian National + Foundation for Scientific Research, under Grant No. 9901.} + +% AMS info +\keywords{Complete lattice, distributive lattice, + complete congruence, congruence lattice} +\subjclass[2000]{Primary: 06B10; Secondary: 06D05} + +% Abstract +\begin{abstract} + In this note we prove that there exist \emph{complete simple + distributive lattices}, that is, complete distributive + lattices in which there are only two complete congruences. +\end{abstract} + +% Example 3 Two authors, same department. + +% Article info +\title[``Complete-simple'' distributive lattices]% + {A construction of ``complete-simple''\\ + distributive lattices} +\date{\today} + +% Author info +\author{George~A. Menuhin} +\address{Computer Science Department\\ + University of Winnebago\\ + Winnebago, MN 23714} +\email[George~A. Menuhin]{gmen@ccw.uwinnebago.edu} +\urladdr{http://math.uwinnebago.edu/homepages/menuhin/} +\thanks{The research of the first author was + supported by the NSF under grant number 23466} +\author{Ernest~T. Moynahan} +\email[Ernest~T. Moynahan]{emoy@ccw.uwinnebago.edu} +\thanks{The research of the second author + was supported in part by the Hungarian National + Foundation for Scientific Research, under Grant No. 9901} + +% AMS info +\keywords{Complete lattice, distributive lattice, + complete congruence, congruence lattice} +\subjclass[2000]{Primary: 06B10; Secondary: 06D05} + +% Abstract +\begin{abstract} + In this note we prove that there exist \emph{complete simple + distributive lattices}, that is, complete distributive + lattices in which there are only two complete congruences. +\end{abstract} + +Example 4 Three authors + +% Article info +\title[``Complete-simple'' distributive lattices]% + {A construction of ``complete-simple''\\ + distributive lattices} +\date{\today} + +% Author information +\author{George~A. Menuhin} +\address[George~A. Menuhin and Ernest~T. Moynahan] + {Computer Science Department\\ + University of Winnebago\\ + Winnebago, MN 53714} +\email[George~A. Menuhin]{gmen@ccw.uwinnebago.edu} +\urladdr[George~A. Menuhin]% + {http://math.uwinnebago.ca/homepages/menuhin/} +\thanks{The research of the first author was + supported by the NSF under grant number 23466.} +\author{Ernest~T. Moynahan} +\email[Ernest~T. Moynahan]{emoy@ccw.uwinnebago.edu} +\thanks{The research of the second author was supported by + the Hungarian National Foundation for Scientific + Research, under Grant No. 9901.} +\author{Ferenc~R. Richardson} +\address[Ferenc~R. Richardson] + {Department of Mathematics\\ + California United Colleges\\ + Frasco, CA 23714} +\email[Ferenc~R. Richardson]{frich@ccu.frasco.edu} +\thanks{The research of the third author was + supported by the NSF under grant number 23466.} + +% AMS info +\keywords{Complete lattice, distributive lattice, + complete congruence, congruence lattice} +\subjclass[2000]{Primary: 06B10; Secondary: 06D05} + +% Abstract +\begin{abstract} + In this note we prove that there exist \emph{complete simple + distributive lattices}, that is, complete distributive + lattices in which there are only two complete congruences. +\end{abstract}
\ No newline at end of file diff --git a/Master/tlpkg/bin/tlpkg-ctan-check b/Master/tlpkg/bin/tlpkg-ctan-check index 71de5ffc510..7fb5af151d2 100755 --- a/Master/tlpkg/bin/tlpkg-ctan-check +++ b/Master/tlpkg/bin/tlpkg-ctan-check @@ -232,7 +232,7 @@ my @TLP_working = qw( metafont-beginners metago metalogo metaobj metaplot metatex metauml method metre mfnfss mfpic mfpic4ode mftinc mh mhchem - mhequ microtype midnight midpage miller + mhequ microtype midnight midpage mil3 miller minibox minipage-marginpar miniplot minitoc minted minutes mkgrkindex mkjobtexmf mkpattern diff --git a/Master/tlpkg/libexec/ctan2tds b/Master/tlpkg/libexec/ctan2tds index 93302a460a7..a8e0a2cf52f 100755 --- a/Master/tlpkg/libexec/ctan2tds +++ b/Master/tlpkg/libexec/ctan2tds @@ -1082,14 +1082,15 @@ $standardtex='\.(.bx|cfg|sty|clo|ldf|cls|def|fd|cmap|4ht)$'; 'mfpic', 'mfpic.tex|mfpic.sty|mfppatch.tex', 'mfpic4ode', 'mfpic4ode.tex|' . $standardtex, 'midnight', '\.tex', + 'mil3', 'NULL', 'mathabx', 'mathabx\.(dcl|tex)|' . $standardtex, 'minitoc', '\.ml[do]|' . $standardtex, 'misc', '\.sty|\.ltx|\.cls', 'mkpattern', 'mkpatter.tex', - 'montex', "(mlsgalig|mlstrans|mnhyphex)\.tex|" . $standardtex, + 'montex', '(mlsgalig|mlstrans|mnhyphex)\.tex|' . $standardtex, 'mpman-ru', 'NULL', # doc package - 'msg', "-msg\.tex|" . $standardtex, - 'msuthesis', "gb4e-compat\.tex|" . $standardtex, + 'msg', '-msg\.tex|' . $standardtex, + 'msuthesis', 'gb4e-compat\.tex|' . $standardtex, 'multirow', '^..[^s].*\.sty', # not miscdoc.sty 'mylatexformat', '.*\.ltx', 'nag', '\.nag|' . $standardtex, @@ -1687,13 +1688,14 @@ $standarddvi = 'NULL'; # rely on authors/CTAN making pdf's. $standardcsf='\.csf'; %specialcsf = ( - 'disser', 'cp1251lc.csf', # cp1251.csf dup with gost + 'disser' => 'cp1251lc.csf', # cp1251.csf dup with gost ); $standardbst='\.bst$'; %specialbst = ( - 'msuthesis', 'NULL', - 'umthesis', 'NULL', + 'mil3' => 'NULL', + 'msuthesis' => 'NULL', + 'umthesis' => 'NULL', ); # packages which need special BibTeX data files (not) installed. diff --git a/Master/tlpkg/tlpsrc/collection-documentation-english.tlpsrc b/Master/tlpkg/tlpsrc/collection-documentation-english.tlpsrc index 8ca98fac19f..fcef3412f09 100644 --- a/Master/tlpkg/tlpsrc/collection-documentation-english.tlpsrc +++ b/Master/tlpkg/tlpsrc/collection-documentation-english.tlpsrc @@ -31,6 +31,7 @@ depend mathmode depend memdesign depend metafont-beginners depend metapost-examples +depend mil3 depend patgen2-tutorial depend pdf-forms-tutorial-en depend plain-doc diff --git a/Master/tlpkg/tlpsrc/mil3.tlpsrc b/Master/tlpkg/tlpsrc/mil3.tlpsrc new file mode 100644 index 00000000000..e69de29bb2d --- /dev/null +++ b/Master/tlpkg/tlpsrc/mil3.tlpsrc |