diff options
author | Karl Berry <karl@freefriends.org> | 2009-05-19 18:46:24 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2009-05-19 18:46:24 +0000 |
commit | 52f553f21f74a82c774000be836bf856c5632a8e (patch) | |
tree | 4defb13da35e19ae4957e6bac288574e43b9f1fb /Master/texmf-dist/doc/latex/ntheorem-vn | |
parent | 71fdbcf450e3411c99c299dead39ebd5846bb383 (diff) |
move ntheorem-vn out of texmf-doc
git-svn-id: svn://tug.org/texlive/trunk@13260 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/doc/latex/ntheorem-vn')
20 files changed, 3319 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/latex/ntheorem-vn/COPYING b/Master/texmf-dist/doc/latex/ntheorem-vn/COPYING new file mode 100644 index 00000000000..81db0b038c9 --- /dev/null +++ b/Master/texmf-dist/doc/latex/ntheorem-vn/COPYING @@ -0,0 +1,401 @@ + +The LaTeX Project Public License +=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=- + +LPPL Version 1.3 2003-12-01 + +Copyright 1999 2002-03 LaTeX3 Project + Everyone is allowed to distribute verbatim copies of this + license document, but modification of it is not allowed. + + +PREAMBLE +======== + +The LaTeX Project Public License (LPPL) is the primary license under +which the the LaTeX kernel and the base LaTeX packages are distributed. + +You may use this license for any work of which you hold the copyright +and which you wish to distribute. This license may be particularly +suitable if your work is TeX-related (such as a LaTeX package), but +you may use it with small modifications even if your work is unrelated +to TeX. + +The section `WHETHER AND HOW TO DISTRIBUTE WORKS UNDER THIS LICENSE', +below, gives instructions, examples, and recommendations for authors +who are considering distributing their works under this license. + +This license gives conditions under which a work may be distributed +and modified, as well as conditions under which modified versions of +that work may be distributed. + +We, the LaTeX3 Project, believe that the conditions below give you +the freedom to make and distribute modified versions of your work +that conform with whatever technical specifications you wish while +maintaining the availability, integrity, and reliability of +that work. If you do not see how to achieve your goal while +meeting these conditions, then read the document `cfgguide.tex' +and `modguide.tex' in the base LaTeX distribution for suggestions. + + +DEFINITIONS +=========== + +In this license document the following terms are used: + + `Work' + Any work being distributed under this License. + + `Derived Work' + Any work that under any applicable law is derived from the Work. + + `Modification' + Any procedure that produces a Derived Work under any applicable + law -- for example, the production of a file containing an + original file associated with the Work or a significant portion of + such a file, either verbatim or with modifications and/or + translated into another language. + + `Modify' + To apply any procedure that produces a Derived Work under any + applicable law. + + `Distribution' + Making copies of the Work available from one person to another, in + whole or in part. Distribution includes (but is not limited to) + making any electronic components of the Work accessible by + file transfer protocols such as FTP or HTTP or by shared file + systems such as Sun's Network File System (NFS). + + `Compiled Work' + A version of the Work that has been processed into a form where it + is directly usable on a computer system. This processing may + include using installation facilities provided by the Work, + transformations of the Work, copying of components of the Work, or + other activities. Note that modification of any installation + facilities provided by the Work constitutes modification of the Work. + + `Current Maintainer' + A person or persons nominated as such within the Work. If there is + no such explicit nomination then it is the `Copyright Holder' under + any applicable law. + + `Base Interpreter' + A program or process that is normally needed for running or + interpreting a part or the whole of the Work. + A Base Interpreter may depend on external components but these + are not considered part of the Base Interpreter provided that each + external component clearly identifies itself whenever it is used + interactively. Unless explicitly specified when applying the + license to the Work, the only applicable Base Interpreter is a + "LaTeX-Format". + + + +CONDITIONS ON DISTRIBUTION AND MODIFICATION +=========================================== + +1. Activities other than distribution and/or modification of the Work +are not covered by this license; they are outside its scope. In +particular, the act of running the Work is not restricted and no +requirements are made concerning any offers of support for the Work. + +2. You may distribute a complete, unmodified copy of the Work as you +received it. Distribution of only part of the Work is considered +modification of the Work, and no right to distribute such a Derived +Work may be assumed under the terms of this clause. + +3. You may distribute a Compiled Work that has been generated from a +complete, unmodified copy of the Work as distributed under Clause 2 +above, as long as that Compiled Work is distributed in such a way that +the recipients may install the Compiled Work on their system exactly +as it would have been installed if they generated a Compiled Work +directly from the Work. + +4. If you are the Current Maintainer of the Work, you may, without +restriction, modify the Work, thus creating a Derived Work. You may +also distribute the Derived Work without restriction, including +Compiled Works generated from the Derived Work. Derived Works +distributed in this manner by the Current Maintainer are considered to +be updated versions of the Work. + +5. If you are not the Current Maintainer of the Work, you may modify +your copy of the Work, thus creating a Derived Work based on the Work, +and compile this Derived Work, thus creating a Compiled Work based on +the Derived Work. + +6. If you are not the Current Maintainer of the Work, you may +distribute a Derived Work provided the following conditions are met +for every component of the Work unless that component clearly states +in the copyright notice that it is exempt from that condition. Only +the Current Maintainer is allowed to add such statements of exemption +to a component of the Work. + + a. If a component of this Derived Work can be a direct replacement + for a component of the Work when that component is used with the + Base Interpreter, then, wherever this component of the Work + identifies itself to the user when used interactively with that + Base Interpreter, the replacement component of this Derived Work + clearly and unambiguously identifies itself as a modified version + of this component to the user when used interactively with that + Base Interpreter. + + b. Every component of the Derived Work contains prominent notices + detailing the nature of the changes to that component, or a + prominent reference to another file that is distributed as part + of the Derived Work and that contains a complete and accurate log + of the changes. + + c. No information in the Derived Work implies that any persons, + including (but not limited to) the authors of the original version + of the Work, provide any support, including (but not limited to) + the reporting and handling of errors, to recipients of the + Derived Work unless those persons have stated explicitly that + they do provide such support for the Derived Work. + + d. You distribute at least one of the following with the Derived Work: + + 1. A complete, unmodified copy of the Work; + if your distribution of a modified component is made by + offering access to copy the modified component from a + designated place, then offering equivalent access to copy + the Work from the same or some similar place meets this + condition, even though third parties are not compelled to + copy the Work along with the modified component; + + 2. Information that is sufficient to obtain a complete, unmodified + copy of the Work. + +7. If you are not the Current Maintainer of the Work, you may +distribute a Compiled Work generated from a Derived Work, as long as +the Derived Work is distributed to all recipients of the Compiled +Work, and as long as the conditions of Clause 6, above, are met with +regard to the Derived Work. + +8. The conditions above are not intended to prohibit, and hence do +not apply to, the modification, by any method, of any component so that it +becomes identical to an updated version of that component of the Work as +it is distributed by the Current Maintainer under Clause 4, above. + +9. Distribution of the Work or any Derived Work in an alternative +format, where the Work or that Derived Work (in whole or in part) is +then produced by applying some process to that format, does not relax or +nullify any sections of this license as they pertain to the results of +applying that process. + +10. a. A Derived Work may be distributed under a different license + provided that license itself honors the conditions listed in + Clause 6 above, in regard to the Work, though it does not have + to honor the rest of the conditions in this license. + + b. If a Derived Work is distributed under this license, that + Derived Work must provide sufficient documentation as part of + itself to allow each recipient of that Derived Work to honor the + restrictions in Clause 6 above, concerning changes from the Work. + +11. This license places no restrictions on works that are unrelated to +the Work, nor does this license place any restrictions on aggregating +such works with the Work by any means. + +12. Nothing in this license is intended to, or may be used to, prevent +complete compliance by all parties with all applicable laws. + + +NO WARRANTY +=========== + +There is no warranty for the Work. Except when otherwise stated in +writing, the Copyright Holder provides the Work `as is', without +warranty of any kind, either expressed or implied, including, but not +limited to, the implied warranties of merchantability and fitness for +a particular purpose. The entire risk as to the quality and performance +of the Work is with you. Should the Work prove defective, you +assume the cost of all necessary servicing, repair, or correction. + +In no event unless agreed to in writing will the Copyright Holder, or +any author named in the components of the Work, or any other party who +may distribute and/or modify the Work as permitted above, be liable to +you for damages, including any general, special, incidental or +consequential damages arising out of any use of the Work or out of +inability to use the Work (including, but not limited to, loss of +data, data being rendered inaccurate, or losses sustained by anyone as +a result of any failure of the Work to operate with any other +programs), even if the Copyright Holder or said author or said other +party has been advised of the possibility of such damages. + + +MAINTENANCE OF THE WORK +======================= + +The Work has the status `author-maintained' if the Copyright Holder +explicitly and prominently states near the primary copyright notice in +the Work that the Work can only be maintained by the Copyright Holder +or simply that is `author-maintained'. + +The Work has the status `maintained' if there is a Current Maintainer +who has indicated in the Work that they are willing to receive error +reports for the Work (for example, by supplying a valid e-mail +address). It is not required for the Current Maintainer to acknowledge +or act upon these error reports. + +The Work changes from status `maintained' to `unmaintained' if there +is no Current Maintainer, or the person stated to be Current +Maintainer of the work cannot be reached through the indicated means +of communication for a period of six months, and there are no other +significant signs of active maintenance. + +You can become the Current Maintainer of the Work by agreement with +any existing Current Maintainer to take over this role. + +If the Work is unmaintained, you can become the Current Maintainer of +the Work through the following steps: + + 1. Make a reasonable attempt to trace the Current Maintainer (and + the Copyright Holder, if the two differ) through the means of + an Internet or similar search. + + 2. If this search is successful, then enquire whether the Work + is still maintained. + + a. If it is being maintained, then ask the Current Maintainer + to update their communication data within one month. + + b. If the search is unsuccessful or no action to resume active + maintenance is taken by the Current Maintainer, then announce + within the pertinent community your intention to take over + maintenance. (If the Work is a LaTeX work, this could be + done, for example, by posting to comp.text.tex.) + + 3a. If the Current Maintainer is reachable and agrees to pass + maintenance of the Work to you, then this takes effect + immediately upon announcement. + + b. If the Current Maintainer is not reachable and the Copyright + Holder agrees that maintenance of the Work be passed to you, + then this takes effect immediately upon announcement. + + 4. If you make an `intention announcement' as described in 2b. above + and after three months your intention is challenged neither by + the Current Maintainer nor by the Copyright Holder nor by other + people, then you may arrange for the Work to be changed so as + to name you as the (new) Current Maintainer. + + 5. If the previously unreachable Current Maintainer becomes + reachable once more within three months of a change completed + under the terms of 3b) or 4), then that Current Maintainer must + become or remain the Current Maintainer upon request provided + they then update their communication data within one month. + +A change in the Current Maintainer does not, of itself, alter the fact +that the Work is distributed under the LPPL license. + +If you become the Current Maintainer of the Work, you should +immediately provide, within the Work, a prominent and unambiguous +statement of your status as Current Maintainer. You should also +announce your new status to the same pertinent community as +in 2b) above. + + +WHETHER AND HOW TO DISTRIBUTE WORKS UNDER THIS LICENSE +====================================================== + +This section contains important instructions, examples, and +recommendations for authors who are considering distributing their +works under this license. These authors are addressed as `you' in +this section. + +Choosing This License or Another License +---------------------------------------- + +If for any part of your work you want or need to use *distribution* +conditions that differ significantly from those in this license, then +do not refer to this license anywhere in your work but, instead, +distribute your work under a different license. You may use the text +of this license as a model for your own license, but your license +should not refer to the LPPL or otherwise give the impression that +your work is distributed under the LPPL. + +The document `modguide.tex' in the base LaTeX distribution explains +the motivation behind the conditions of this license. It explains, +for example, why distributing LaTeX under the GNU General Public +License (GPL) was considered inappropriate. Even if your work is +unrelated to LaTeX, the discussion in `modguide.tex' may still be +relevant, and authors intending to distribute their works under any +license are encouraged to read it. + +A Recommendation on Modification Without Distribution +----------------------------------------------------- + +It is wise never to modify a component of the Work, even for your own +personal use, without also meeting the above conditions for +distributing the modified component. While you might intend that such +modifications will never be distributed, often this will happen by +accident -- you may forget that you have modified that component; or +it may not occur to you when allowing others to access the modified +version that you are thus distributing it and violating the conditions +of this license in ways that could have legal implications and, worse, +cause problems for the community. It is therefore usually in your +best interest to keep your copy of the Work identical with the public +one. Many works provide ways to control the behavior of that work +without altering any of its licensed components. + +How to Use This License +----------------------- + +To use this license, place in each of the components of your work both +an explicit copyright notice including your name and the year the work +was authored and/or last substantially modified. Include also a +statement that the distribution and/or modification of that +component is constrained by the conditions in this license. + +Here is an example of such a notice and statement: + + %% pig.dtx + %% Copyright 2003 M. Y. Name + % + % This work may be distributed and/or modified under the + % conditions of the LaTeX Project Public License, either version 1.3 + % of this license or (at your option) any later version. + % The latest version of this license is in + % http://www.latex-project.org/lppl.txt + % and version 1.3 or later is part of all distributions of LaTeX + % version 2003/12/01 or later. + % + % This work has the LPPL maintenance status "maintained". + % + % This Current Maintainer of this work is M. Y. Name. + % + % This work consists of the files pig.dtx and pig.ins + % and the derived file pig.sty. + +Given such a notice and statement in a file, the conditions +given in this license document would apply, with the `Work' referring +to the three files `pig.dtx', `pig.ins', and `pig.sty' (the last being +generated from `pig.dtx' using `pig.ins'), the `Base Interpreter' +referring to any "LaTeX-Format", and both `Copyright Holder' and +`Current Maintainer' referring to the person `M. Y. Name'. + +To prevent the Maintenance section of LPPL from allowing someone else +to become the Current Maintainer without your agreement, you could +change "maintained" above into "author-maintained". + + +Important Recommendations +------------------------- + + Defining What Constitutes the Work + + The LPPL requires that distributions of the Work contain all the + files of the Work. It is therefore important that you provide a + way for the licensee to determine which files constitute the Work. + This could, for example, be achieved by explicitly listing all the + files of the Work near the copyright notice of each file or by + using a line such as: + + % This work consists of all files listed in manifest.txt. + + in that place. In the absence of an unequivocal list it might be + impossible for the licensee to determine what is considered by you + to comprise the Work and, in such a case, the licensee would be + entitled to make reasonable conjectures as to which files comprise + the Work. diff --git a/Master/texmf-dist/doc/latex/ntheorem-vn/FILELIST b/Master/texmf-dist/doc/latex/ntheorem-vn/FILELIST new file mode 100644 index 00000000000..41e4cfaff15 --- /dev/null +++ b/Master/texmf-dist/doc/latex/ntheorem-vn/FILELIST @@ -0,0 +1,22 @@ +./FILELIST +./README +./COPYING +./ntheorem-doc-vn.pdf +./test.tex +./test.pdf + +./src/TODO +./src/README.src +./src/Makefile +./src/ntheorem-doc-vn.tex +./src/example.tex +./src/license.tex +./src/intro.tex +./src/test.tex +./src/user-interface.tex +./src/help.tex +./src/thanks.tex +./src/endmarks.tex +./src/interference.tex +./src/preamble.tex +./src/title-abstract.tex diff --git a/Master/texmf-dist/doc/latex/ntheorem-vn/README b/Master/texmf-dist/doc/latex/ntheorem-vn/README new file mode 100644 index 00000000000..673202540d9 --- /dev/null +++ b/Master/texmf-dist/doc/latex/ntheorem-vn/README @@ -0,0 +1,23 @@ +Bundle: + ntheorem-doc-vn + +License: + LPPL + +Title: + User's Manual for `ntheorem' package + (Vietnamese version) + +Author: + Wolfgang May + Andreas Schlechte + +Translator: + kyanh <kyanh@o2.pl> + +URLs: + http://download.viettug.org/mirror1.php?files=ntheorem + http://download.viettug.org/mirror2.php?files=ntheorem + +CTAN: + <texmf>/doc/latex/ntheorem-doc-vn diff --git a/Master/texmf-dist/doc/latex/ntheorem-vn/ntheorem-doc-vn.pdf b/Master/texmf-dist/doc/latex/ntheorem-vn/ntheorem-doc-vn.pdf Binary files differnew file mode 100644 index 00000000000..a4ea8b6b6d3 --- /dev/null +++ b/Master/texmf-dist/doc/latex/ntheorem-vn/ntheorem-doc-vn.pdf diff --git a/Master/texmf-dist/doc/latex/ntheorem-vn/src/Makefile b/Master/texmf-dist/doc/latex/ntheorem-vn/src/Makefile new file mode 100644 index 00000000000..ca3e648d8fd --- /dev/null +++ b/Master/texmf-dist/doc/latex/ntheorem-vn/src/Makefile @@ -0,0 +1,60 @@ +DOC = ntheorem-doc-vn +SRC = ntheorem-doc-vn-src + +VERSION = `gawk -F '=' '{print $$2}' $(DOC).ktvnum` + +default: + @echo x + +latex: + @latex -src-specials $(DOC) + +clean: + @clean + @0texclean + @rm -fv *.thm + +index: + @sed -e 's/|hyperpage//g' $(DOC).idx > $(DOC).jdx + @makeindex -s gind.ist -o $(DOC).ind $(DOC).jdx + +doc: $(DOC) + +$(DOC): + @rm -fv printctl.tex + @latex $@ + @latex $@ + @sed -e 's/|hyperpage//g' $@.idx > $@.jdx + @makeindex -s gind.ist -o $@.ind $@.jdx + @latex $@ + @dvips $@.dvi -o$@.ps + @ps2pdf $@.ps + +ps: + @dvips $(DOC).dvi + +pdf: + @ps2pdf $(DOC).ps + +pdflatex: + @pdflatex $(DOC) + +dist: + @mkdir -p {src,distro} + @rm -fv src/* + @rm -f distro/*$(VERSION).* + @cp *.tex TODO README.src Makefile src/ + @zip -9r distro/$(DOC)-$(VERSION).zip \ + README FILELIST COPYING \ + $(DOC).pdf \ + test.tex \ + test.pdf \ + src/* \ + -x src/test.tex + @unzip -t distro/$(DOC)-$(VERSION).zip + +example: + @latex test + @latex test + @dvips test.dvi + @ps2pdf test.ps diff --git a/Master/texmf-dist/doc/latex/ntheorem-vn/src/README.src b/Master/texmf-dist/doc/latex/ntheorem-vn/src/README.src new file mode 100644 index 00000000000..1bcb6e0f423 --- /dev/null +++ b/Master/texmf-dist/doc/latex/ntheorem-vn/src/README.src @@ -0,0 +1,16 @@ +Below +`$@': stands for `ntheorem-doc-vn', +`$': stands for shell prompt. + +Preparing cross-references: + $ latex $@ + $ latex $@ + +If you're a *nix user: + $ sed -e 's/|hyperpage//g' $@.idx > $@.jdx + $ makeindex -s gind.ist -o $@.ind $@.jdx + +Finally: + $ latex $@ + $ dvips $@.dvi -o$@.ps + $ ps2pdf $@.ps diff --git a/Master/texmf-dist/doc/latex/ntheorem-vn/src/TODO b/Master/texmf-dist/doc/latex/ntheorem-vn/src/TODO new file mode 100644 index 00000000000..7f7733b9e0e --- /dev/null +++ b/Master/texmf-dist/doc/latex/ntheorem-vn/src/TODO @@ -0,0 +1,2 @@ +* fix hyperref problem (wrong links) +(`thref' doesnot work with `hyperref' packgage) diff --git a/Master/texmf-dist/doc/latex/ntheorem-vn/src/endmarks.tex b/Master/texmf-dist/doc/latex/ntheorem-vn/src/endmarks.tex new file mode 100644 index 00000000000..e85f82cd1f5 --- /dev/null +++ b/Master/texmf-dist/doc/latex/ntheorem-vn/src/endmarks.tex @@ -0,0 +1,149 @@ +%% \section{The End Mark Algorithm} +\section{Thuật toán đặt dấu kết thúc} + + +%% \subsection{The Idea} +\subsection{Ý tưởng} + + +%% The handling of endmarks with |thmmarks.sty| is based on the same +%% two-pass principle as the handling of labels: the necessary information +%% about endmarks is contained in the |.aux| file. +Thuật toán xử lý dấu kết thúc của |ntheorem| được xây dựng cùng ý tưởng +với việc xử lý các nhãn của \LaTeX{}: các thông tin cần thiết về dấu kết thúc +sẽ được để trong tập tin |.aux|. + +\medskip +%% With |thmmarks.sty|, \TeX\ is always aware whether it is in +%% some theorem-like environment. +%% There, potential positions for endmarks can be +Với gói |thmmarks|, \TeX{} luôn cẩn thận quan sát xem liệu nó có đang +ở trong một môi trường |THM| hay không. Vị trí tương lai của +dấu kết thúc có thể là + \begin{enumerate} + \item\label{elist:1} %at the end of simple text lines in open text, + cuối dòng văn bản đơn giản, + \item\label{elist:2}% at the end of displaymaths, + cuối một biểu thức toán, + \item\label{elist:3} %at the end of equations or equationarrays, or + cuối môi trường phương trình hoặc dãy phương trình, + \item\label{elist:4} %at the end of text lines at the end of lists (or, more general, +%% |trivlists|, such as |verbatim| or |center|). + hoặc cuối dòng cuối của một danh sách (tổng quát hơn, của danh sách |\trivlist|, + như |verbatim| hoặc |center|). + \end{enumerate} + +%% The problem is, that in the cases (\ref{elist:2})--(\ref{elist:4}), the endmarks has to +%% be placed in a box which is already shipped out, when +%% |\end{...}| is processed. +%% Thus, in those situations, \TeX\ needs to know from the |.aux| +%% file, whether is has to put an endmark. + Vấn đề là, trong các trường hợp (\ref{elist:2})--(\ref{elist:4}), + dấu kết thúc phải được đặt trong một |box| đã được thể hiện xong (|shipped out|), + khi gặp kết thúc môi trường |THM| bởi |\end{...}|. + Vì vậy, ở các trường hợp này, \TeX{} cần đọc thông tin từ tập tin từ |.aux| + xem, liệu nó có phải đặt dấu kết thúc hay không. + +%% When \TeX\ is in a theorem-like environment and comes to one of +%% the points mentioned in (\ref{elist:2})--(\ref{elist:4}), +%% and the |.aux| file says that there is an endmark, then +%% it is put there. +\medskip + Khi \TeX{} đang ở trong môi trường |THM| và gặp một trong + các thời điểm nói ở (\ref{elist:2})--(\ref{elist:4}), + đồng thời tập tin |.aux| cho biết rằng đến lúc đặt dấu kết thúc, + \TeX{} sẽ làm công việc đó. + +%% Anyway, it maintains a counter of the potential positions of an end +%% mark in the current theorem-like environment. + + When it comes to an |\end{theorem}|, it looks if it is in + situation (\ref{elist:1}) (then the endmark is simply put at the end of the + current line). + Otherwise, the last horizontal box is already shipped out + (thus it contains a situation (\ref{elist:2})--(\ref{elist:4})) and the endmark must be + set in it. + In this case, a note is written in the |.aux| file, where the + endmark actually has to be set (ie, at the latest potential point for + setting an endmark inside the theorem). + + \subsection{The Realization} + + Let \env\ be a theorem-like environment. Then, additional to + the counter \env, \TeX\ maintains two counters + |curr|\env|ctr| and |end|\env|ctr|. + In the $i$th environment of type \env, |curr|\env|ctr|$=i$ + (the \LaTeX\ counter \env\ cannot be used since a) + environments can use the counter of other environments, and b) + often counters are reinitialized inside a document). + |end|\env|ctr| counts the potential situations for + putting an endmark inside an environment. + It is set to 1 when starting an environment. Each time, when + a situation (\ref{elist:2})--(\ref{elist:4}) is reached, the command + \begin{quote} + |\mark|$<$|\roman{curr|env|ctr}|$>$\env + $<$|\roman{end|\env|ctr}|$>$ + \end{quote} + is called + ($<$|\roman{curr|\env|ctr}|$>$\env + $<$|\roman{end|\env|ctr}|$>$ + uniquely identifies all situations (\ref{elist:2})--(\ref{elist:4}) in a document). + + If at this position an endmark has to be set, + \begin{quote} + |\mark|$<$|\roman{curr|\env|ctr}|$>$\env + $<$|\roman{end|\env|ctr}|$>$ + \end{quote} + is defined in the |.aux| file to be |\end|\env|Symbol|, + otherwise it is undefined and simply ignored. + + When \TeX\ comes to an |\end{|\env|}|, it looks if it is in + situation (\ref{elist:1}). If so, the endmark is simply put at the end of the + current line. + Otherwise, + \begin{quote} + |\def\mark|$<$|\roman{curr|env|ctr}|$>$\env|%|\\ + $<$|\roman{end|\env|ctr}|$>$|{|\env|Symbol}| + \end{quote} + is written to the |.aux| file for setting the endmark + at the latest potential position inside the theorem in the next run. + + \begin{Theorem}[Correctness] + \begin{enumerate} + \item For a |.tex| file, which does not contain nested theorem-like + environments of the same type, in the above situation, the following + holds: + When compiling, at the $i$th situation in the $j$th environment of type + \env, |mark|$\;j\,$\env$\;i$ is handled. + + For |.tex| files which contain nested theorem-like environments of + the same type, |mark|$\;k\,$\env$\;l$ is handled, where + $k$ is the number of the latest environment of type \env\ which + has been called at this moment, and $l$ is the number of situations + (\ref{elist:2})--(\ref{elist:4}) which have occurred in + environments of type \env\ since + the the $k$th |\begin{|\env|}|. + + \item When finishing an environment, either an endmark is set directly + (when in a text line) or an order to put the end symbol at the latest + potential position is written to the |.aux| file. + \end{enumerate} + \end{Theorem} + + \begin{Theorem}[Completeness] + The handling of endmarks is complete wrt.\ plain text, |displaymath|, + |equation|,\\ |eqnarray|, |eqnarray*|, and all environments + ended by |endtrivlist|, including |center| and + |verbatim|. + \end{Theorem} + + So, where can be bugs ? + \begin{itemize} + \item in the plain \TeX\ handling of endmarks, + \item in some special situations which have not been tested yet, + \item in some special environments which have not been tested yet. + \item in the |amsmath| environments. We seldom use them, so we do not + know their pitfalls, and we ran only general test cases. + \end{itemize} + +\endinput diff --git a/Master/texmf-dist/doc/latex/ntheorem-vn/src/example.tex b/Master/texmf-dist/doc/latex/ntheorem-vn/src/example.tex new file mode 100644 index 00000000000..4fa82d6b516 --- /dev/null +++ b/Master/texmf-dist/doc/latex/ntheorem-vn/src/example.tex @@ -0,0 +1,691 @@ +%% \section{Examples} +\section{\texorpdfstring{Ví dụ}{Vi du}} + +\label{sec:examples} + +%% The setting is as follows. +Các thiết lập được dùng như sau đây. +Chú ý rằng, các thiết lập tuân theo nguyên tắc thừa kế. Ví dụ, +thiết lập |font| không được khởi tạo về trạng thái bình thường khi ta +khai báo môi trường |Lemma|, vì thế |Lemma| sẽ thừa kế các thiết lập +của môi trường |Theorem|. + +\medskip +Một số ví dụ có dùng lệnh |\color| được cung cấp bởi gói |xcolor.sty|. + +\medskip +%% \begin{itemize} +%% \item For Theorems: +%% \item +Định lý: +\begin{command} + \theoremstyle{marginbreak} + \theoremheaderfont{\normalfont\bfseries}\theorembodyfont{\slshape} + \theoremsymbol{\ensuremath{\diamondsuit}} + \theoremseparator{:} + \newtheorem{Theorem}{Theorem}\end{command} +%% \item For Lemmas: +%% \item +Bổ đề: +\begin{command} + \theoremstyle{changebreak} + \theoremsymbol{\ensuremath{\heartsuit}} + \theoremindent0.5cm + \theoremnumbering{greek} + \newtheorem{Lemma}{Lemma}\end{command} +%% \item For Corollaries: +%% \item + Hệ quả: +\begin{command} + \theoremindent0cm + \theoremsymbol{\ensuremath{\spadesuit}} + \theoremnumbering{arabic} + \newtheorem{Corollary}[Theorem]{Corollary} +\end{command} +%% \item For Examples: +%% \item +Ví dụ: +\begin{command} + \theoremstyle{change} + \theorembodyfont{\upshape} + \theoremsymbol{\ensuremath{\ast}} + \theoremseparator{} + \newtheorem{Example}{Example}\end{command} +%% \item For Definitions: +%% \item + Định nghĩa +\begin{command} + \theoremstyle{plain} + \theoremsymbol{\ensuremath{\clubsuit}} + \theoremseparator{.} + \newtheorem{Definition}{Definition}\end{command} +%% \item For Proofs: +Chứng minh: +\begin{command} + \theoremheaderfont{\sc}\theorembodyfont{\upshape} + \theoremstyle{nonumberplain} + \theoremseparator{} + \theoremsymbol{\rule{1ex}{1ex}} + \newtheorem{Proof}{Proof} +\end{command} +%% \end{itemize} +%% Note, that parts of the setting are inherited. For instance, the +%% fonts are not reset before defining ``Lemma'', so the font setting +%% of ``Theorem'' is used. + +%% \begin{thmbox} +{\color{-red!75!green!50} +\begin{Example}[Ví dụ đơn giản] +%% The first example is just a text. +Một chiều đi trên con đường này, Hoa điệp vàng trải dưới chân tôi,\ldots + +%% In the next examples, it is shown how an endmark is put at a +%% displaymath, a single equation and both types of eqnarrays. + Các ví dụ tiếp theo minh họa cho việc đặt các dấu kết thúc + ở các biểu thức toán, phương trình đơn lẻ và các dãy phương trình. +\end{Example} +%% \end{thmbox} +} + +%% \begin{thmbox} +{%\color{red!60} +\begin{Theorem}[Định lý dài] +\label{thm:verylong} +%% The examples are put into this theorem environment. +Ví dụ về môi trường |Theorem|, lồng bên trong nó là +các môi trường khác như |Example|, |Lemma|,\ldots Khi đang +ở ngay trong môi trường |Theorem|, chữ có màu đen; khi ở trong +các môi trường sâu hơn, màu của môi trường sẽ đổi khác để dễ phân biệt. + +\medskip +%% The next example will not appear in the list of examples since +%% it is written as +Ví dụ tiếp theo sẽ không xuất hiện trong danh sách |Example|, +vì nó được dùng với dạng sao: +\begin{command} + \begin{Example*} + ... + \end{Example*} +\end{command} +{\color{red!60} +\begin{Example*}%[Ending with a displayed formula] +[kết thúc với biểu thức toán] +%% Look, the endmark is really at the bottom of the line: +Hãy để ý vị trí dấu kết thúc ở dưới dòng biểu diễn công thức +\[ f^{(n)}(z) = + \frac{n!}{2\pi i} \int \limits _{\partial D} + \frac{f(\zeta)}{(\zeta-z)^{n+1}} d\zeta \] +\end{Example*}} +%% At this point, we add an additional entry without number +%% in the Example list: +Bây giờ, ta sẽ ghi vài thông tin bổ sung vào danh sách |THM| (|Example|); +thông tin được ghi sẽ không gồm chỉ số |THM|: +\begin{command} + \addtheoremline*{Example}{Extra Entry} +\end{command} +\addtheoremline*{Example}{Extra Entry} +{\color{red!75!green} +\begin{Lemma}%[Display with array] +[Biểu thức trong mảng (dãy) phương trình] +%% Lemmata are indented and numbered with greek symbols. +%% Also for displayed arrays of this form, it looks good: +Bổ để (|Lemma|) được thụt đầu dòng và đánh chỉ số với chữ số Hy Lạp. + +\medskip +%% Ngoài ra, các biểu thức như sau đây trông có vẻ như ý: +Xét ví dụ sau đây, trông có vẻ tốt: +\begin{command} + \[\begin{array}{l} + a = \begin{array}[t]{l} + first\ line \\ + second\ line + \end{array}% + \mbox{\color{green}{try to put this text in the lowest line}} + \end{array} + \] +\end{command} +%% Just try to get this with the presented array structure ... without +%% using dirty tricks, you can position the outer array either [t], [c], +%% or [b], and you will not get the desired effect. +Nhưng biểu diễn như trên mà không sử dụng các mẹo đặc biệt nào +(thử để lựa chọn các vị trí |[t]|, |[c]|, |[b]|), +kết quả có thể không như ý: +\[\begin{array}{l} + a = \begin{array}[t]{l} + first\ line \\ + second\ line + \end{array}% + \mbox{\color{green}{try to put this text in the lowest line}} + \end{array}\] +\end{Lemma}} +{\color{green!75!red} +\begin{Lemma}[Phương trình] +%% For |equation|s, we decided to put the endmark after the equation +%% number, which is vertically centered. +%% Currently, we do not know, how to get the equation number centered and +%% the endmark at the bottom (one has to know the internal height of the +%% math material) ... If anyone knows, please inform us. +Với các phương trình có đánh số, dấu kết thúc sẽ được đặt sau chỉ số +phương trình, và được canh giữa theo chiều đứng. Hiện tại, chưa có thuật +toán để bố trí chỉ số phương trình canh giữa (theo chiều đứng), +còn dấu kết thúc lại được đặt vào cuối phương trình --- việc này đỏi hòi +phải biết chiều cao của nội dung phương trình. Nếu ai đó biết, +vui lòng báo cho tác giả của |ntheorem|. +\begin{equation} + \int_{\gamma} f(z)\, dz := \int_a^b f(\gamma (t)) \gamma'(t) \, dt +\end{equation} +\end{Lemma}} + +%% With the |break|-theoremstyles, if the environment is labeled and +%% written as +Với kiểu |break|, nếu sử dụng việc đánh nhãn như sau +\begin{command} + \begin{Lemma}[Breakstyle]\label{breakstyle} +\end{command} +{\color{red!75!green!50!blue} +\begin{Lemma}[Breakstyle]\label{breakstyle} +%% you see, there is a leading space \dots \\ +%% If a percent (comment) (or an explicit |\ignorespaces|) is put directly +%% after the label, e.g. +thì như bạn thấy, xuất hiện các khoảng trắng thừa \ldots \\ +Nếu dấu phần trăm (chú thích) được đặt ngay sau lệnh tạo nhãn +(hoặc dùng lệnh |\ignorespaces|), ví dụ +\begin{command} + \begin{Lemma}[Breakstyle]\label{breakstyle}% +\end{command} +%% the space disappears. +thì khoảng trắng thừa sẽ mất. + +%% From the predefined styles, this is exactly the case for the break-styles. +%% That's no bug, it's \LaTeX-immanent. +\medskip +Với các kiểu đã được định nghĩa bởi |ntheorem|, điều này chỉ xảy ra +chỉ với kiểu |break|. Đây không phải là lỗi, mà chính là cách xử lý của \LaTeX{}. + +\medskip +%% The example goes on with an |eqnarray|: +Ví dụ với |eqnarray|: +\begin{eqnarray} +f(z) &=& + \frac{1}{2\pi i} + \int \limits_{\partial D} \frac{f(\zeta)}{\zeta-z} d\zeta \\ +&= & + \frac{1}{2\pi} + \int \limits_0^{2\pi} + f(z_0 + re^{it}) dt +\end{eqnarray} +\end{Lemma}} + +{\color{green} +\begin{Proof}[of nothing] +\begin{eqnarray*} +f(z) &=& + \frac{1}{2\pi i} + \int \limits_{\partial D} \frac{f(\zeta)}{\zeta-z} d\zeta \\ +&= & + \frac{1}{2\pi} + \int \limits_0^{2\pi} + f(z_0 + re^{it}) dt +\end{eqnarray*} +\end{Proof}} +%% That's it (the end of the Theorem). +Đến đây là kết thúc Định lý~\ref{thm:verylong}. +\end{Theorem} +%% \end{thmbox} +} + +%% If there are some environments in the same thm-environment, +%% the last gets the endmark: +Nếu có nhiều môi trường cùng bên trong một môi trường |THM|, +môi trường cuối cùng mới có dấu kết thúc +\begin{Definition}[với danh sách] +\begin{equation} + \int_{\gamma} f(z)\, dz := \int_a^b f(\gamma (t)) \gamma'(t) \, dt +\end{equation} +\begin{itemize} +%% \item you've seen, how it works for text and +%% \item math environments, +%% \item and it works for lists. +\item như vậy, bạn đã thấy dấu kết thúc làm việc thế nào với văn bản +\item với biểu thức toán +\item và với danh sách. +\end{itemize} +\end{Definition} + +\begin{Corollary}[Q.E.D.] +%% And here is a trivial corollary, which is ended by +Đây là hệ quả tầm thường, kết thúc bởi +|\qedsymbol{\textrm{q.e.d}}| và |\qed|. +\qedsymbol{q.e.d}\qed +\end{Corollary} + +\begin{Example} +\[ f^{(n)}(z) = + \frac{n!}{2\pi i} \int \limits _{\partial D} + \frac{f(\zeta)}{(\zeta-z)^{n+1}} d\zeta \] +%% If there is some text after an environment, the endmark is put +%% after the text. +Nếu có văn bản theo sau môi trường, dấu kết thúc sẽ đặt sau văn bản đó. +\end{Example} + +%% The next one is done by the following sequence. Note, that +%% |~\hfill~| is inserted to prevent \LaTeX\ from using its nested list +%% management (a verbatim is also a trivlist), +%% i.e.\ this causes \LaTeX\ to start the |verbatim|-Part in a new line. +\medskip +Ví dụ tiếp theo được cho bởi mã nguồn sau đây. Chú ý rằng, +lệnh |~\hfill~| được chèn vào để ngăn cản \LaTeX{} quản lý danh sách lồng nhau +theo cách của chính \LaTeX{} (môi trường |verbatim| là danh sách |\trivlist|). +Có nghĩa là, việc này sẽ khiến \LaTeX{} bắt đầu môi trường |verbatim| +với một dòng mới. +\begin{command} + \begin{Example} + ~\hfill~ + \begin{verbatim} + And, it also works for verbatim + ... when the \end{verbatim} is in the + same line as the text ends. \end{verbatim} + ^ this space is important !! + \end{Example} +\end{command} + +\begin{Example}[dùng `verbatim'] +~\hfill~ +\begin{verbatim} +And, it also works for verbatim +... when the end{verbatim} is in the +same line as the text ends. \end{verbatim} +\end{Example} + +%% There must be no empty line in the input before the |\end{theorem}| +%% (since then, the end mark is ignored) \\ +Không được chừa dòng trắng trước |\end{theorem}|, bởi làm thế +sẽ bỏ qua dấu kết thúc. +\begin{command} + \begin{Theorem} + some text ... but no end mark + + \end{Theorem} +\end{command} + +\begin{Theorem}\label{ex-empty-line} +some text ... but no end mark + +\end{Theorem} + + +%% Now, there is a corollary which should appear with a different +%% name in the list of corollaries: +Bây giờ là hệ quả sẽ xuất hiện với tên riêng hơi khác +trong danh sách |Corollary|: +\begin{command} + \begin{Corollary*}[title in text]\label{otherlabel} + ... + \end{Corollary*} + \addtheoremline{Corollary}{title in list} +\end{command} +\begin{Corollary*}[title in text]% +\label{otherlabel}\ignorespaces +\begin{center} + Thể hiện trong \\ + môi trường \\ + canh giữa. +\end{center} +\end{Corollary*} +\addtheoremline{Corollary}{title in list} + +\begin{Theorem}[trích dẫn] +\begin{quote} +%% In quote environments, the text is normally indented from left +%% and right by the same space. The endmark is not indented from the +%% right margin, i.e., it is typeset to the right margin of the +%% surrounding text. +Trong môi trường trích dẫn |quote|, nội dung thường được thụt vào ở tất +cả các dòng ở cả bên trái và bên phải. Tuy nhiên, dấu kết thúc sẽ không +vẫn được đặt đúng vào lề bên phải. +\end{quote} +\end{Theorem} + +%% Here is an example for turning off the endmark automatics and +%% manual handling: +Dưới đây là ví dụ về việc tắt/bật việc đặt dấu kết thúc tự động. + +\begin{command} + \begin{Theorem}[Manual End Mark]\label{somelabel} + a line of text with a manually set endmark \hfill\TheoremSymbol\\ + some more text, but no automatic endmark set. \NoEndMark + \end{Theorem} +\end{command} + +\begin{Theorem}[Manual End Mark]\label{somelabel} +a line of text with a manually set endmark \hfill\TheoremSymbol \\ +some more text, but no automatic endmark set. \NoEndMark +\end{Theorem} + +%% Also, one should note, that |\hfill| is inserted to set +%% the endmark at the right margin. +Để ý rằng, lệnh |\hfill| được chèn vào trước dấu kết thúc +để đặt dấu đó vào lề bên phải. + +\begin{Example}[nhanh hơn] +%% It also works for short one's. +Dấu kết thúc được tự động đặt trở lại... +\end{Example} + +%% If you are tired of the greek numbers and the indentation for lemmata ... +%% you can redefine it: +Nếu bạn không thích dùng chỉ số là chữ số Hy Lạp và cách thụt đầu dòng cho +|Lemma|, bạn có thể định nghĩa lại: +\theoremstyle{changebreak} +\theoremheaderfont{\normalfont\bfseries}\theorembodyfont{\slshape} +\theoremsymbol{\ensuremath{\heartsuit}} +\theoremsymbol{\ensuremath{\diamondsuit}} +\theoremseparator{:} +\theoremindent0cm +\theoremnumbering{arabic} +\renewtheorem{Lemma}{Lemma} +\begin{command} + \theoremstyle{changebreak} + \theoremheaderfont{\normalfont\bfseries}\theorembodyfont{\slshape} + \theoremsymbol{\ensuremath{\heartsuit}} + \theoremsymbol{\ensuremath{\diamondsuit}} + \theoremseparator{:} + \theoremindent0.5cm + \theoremnumbering{arabic} + \renewtheorem{Lemma}{Lemma} +\end{command} +\begin{Lemma} +%% another lemma, with arabic numbering ... note that the numbering +%% continues. + Bây giờ là bổ đề khác, với cách đánh số dùng chữ số Ả Rập. Chú ý rằng + chỉ số vẫn tiếp tục tăng. +\end{Lemma} + +%% the optional argument (i.e.\ the `theorem'-name) can be accessed by +%% |\|\meta{env}|name|. +Tham số bổ sung xác định tên riêng của |THM| có thể lấy được nhờ +chẳng hạn |\Theoremname| hoặc |Examplename|,\ldots --- điều này chỉ +có thể làm bên trong môi trường |THM| hiện tại mà thôi. + +\begin{command} + \begin{Theorem}[\color{red}{some name}\normalcolor] + Obviously, we are in Theorem~\Theoremname. + \end{Theorem} +\end{command} +\begin{Theorem}[\color{red}{some name}\normalcolor] +Obviously, we are in Theorem~\Theoremname. +\end{Theorem} + +%% This feature can e.g.\ be used for automatically generating +%% executable code and a commented solution sheet: +Tính năng có thể dùng, chẳng hạn để sinh ra tự động các mã +cho môi trường chú thích, |verbatim|,\ldots: +\begin{command} + \begin{exercise}[quicksort] + `\meta{the exercise text}' + \begin{verbatimwrite}{solutions/\exercisename.c} + `\meta{C-code}' + \end{verbatimwrite} + \verbatiminput{solutions/\exercisename.c} + \end{exercise} +\end{command} +%% This will write the C-code to a file |solutions/quicksort.c| and +%% type it also on the solution sheet. +Đoạn mã trên sẽ viết mã \meta{C-code} vào tập tin |solutions/quicksort.c|, +và sau đó nạp vào nhờ lệnh |\verbatiminput|. + +%% Now, we define an environment |KappaTheorem| which uses the same +%% style parameters as Theorems and is numbered together with +%% Corollaries (Theorems are also numbered with Corollaries). +%% Note that we define a complex header text and a complex end mark. +\medskip +Bây giờ, ta định nghĩa môi trường |KappaTheorem| sử dụng cùng kiểu +như môi trường |Theorem|, được đánh số tiếp theo các Hệ quả (|Corollary|) +(các |Theorem| cũng được đánh số theo |Corollary|). Để ý rằng, +ta sẽ đưa ra phần |header| và phần dấu kết thúc khá phức tạp. + +\begin{command} + \theoremclass{Theorem} + \theoremsymbol{\ensuremath{a\atop b}} + \newtheorem{KappaTheorem}[Theorem]{\(\kappa\)-Theorem} +\end{command} + +\theoremclass{Theorem} +\theoremsymbol{\ensuremath{a\atop b}} +\newtheorem{KappaTheorem}[Theorem]{\(\kappa\)-Theorem} + +\begin{KappaTheorem}[1st \(\kappa\)-Theorem]\label{kappatheorem1} +Đây là định lý |kappa| đầu tiên. +\end{KappaTheorem} + +% ===================================================================== + +%% \subsection{Extended Referencing Features} +\subsection{\texorpdfstring{Tham khảo mở rộng}{Tham khao mo rong}}% +\label{sec-ExtRef}[Mục] + +%% The standard |\label| command is extended by an optional argument +%% which is intended to contain the ``name'' of the structure which +%% is labeled, allowing more comfortable referencing; e.g., this +%% section has been started with +Lệnh |\label| chuẩn được mở rộng: bây giờ nó có thể nhận thêm tham số +bổ sung dùng để xác định tên cấu trúc dùng để đánh nhãn -- nhờ đó +việc tham khảo chéo được linh hoạt hơn. +Ví dụ, mục này được đánh nhãn như sau: +\begin{command} + \subsection*{....}% + \label{sec-ExtRef}[Mu.c] +\end{command} + +%% As already stated, for theorem-like environments the optional +%% argument is filled in automatically, i.e., +Như đã nói, với môi trường |THM|, phần tham số bổ sung của |\label| +sẽ được tự động thêm vào. Do đó, +\begin{command} +|\begin{Theorem}[Manual End Mark]\label{somelabel}| +\end{command} +%% (cf.\ page~\pageref{somelabel}) is equivalent to +tương đương với (xem \vpageref{somelabel}) +\begin{command} +|\begin{Theorem}[Manual End Mark]\label{somelabel}[Theorem]| +\end{command} + +%% |\thref{|\meta{label}|}| additionally outputs the contents +%% of the optional argument which has been associated with \meta{label}: +Lệnh |\thref{|\meta{label}|}| sẽ sinh ra thông tin bổ sung, cho biết +tên |THM| tương ứng với tham số bổ sung của |\label|. Ví dụ: + +\begin{command} + This is \thref{sec-ExtRef} + ... \thref{somelabel} + ... \thref{otherlabel} + ... \thref{kappatheorem1} +\end{command} +sẽ cho ta +%% generates +\begin{quote} +This is \thref{sec-ExtRef}. + ... \thref{somelabel} + ... \thref{otherlabel} + ... \thref{kappatheorem1} +\end{quote} + +%% Here one must be careful that the handling of the optional +%% argument is automated +%% only for environments defined by |\newtheorem|, i.e., \emph{not} +%% for sectioning, equations, or enumerations. +Phải cẩn thận: việc xử lý tham số bổ sung +được tiến hành tự động chỉ cho các môi trường được định nghĩa nhờ |\newtheorem|, +nghĩa là sẽ không có sự quản lý cho các Mục (|\section|), +phương trình (|equation|) hay danh sách (|enumerate|). + +%% Calling |\thref{|\meta{label}|}| for a label which has been +%% set without an optional argument can result in different unintended +%% results: If \meta{label} is not inside a theorem-like environment, an +%% error message is obtained, otherwise the type of the surrounding +%% theorem-like environment is output, e.g., calling |\thref{label}| +%% then results in ``Theorem~\meta{number}''! +Việc gọi |\thref{|\meta{label}|}| cho các nhãn chưa được thiết lập với +phần tham số bổ sung sẽ sinh ra các kết quả khó tưởng tượng: nếu \meta{label} +không ở bên trong môi trường |THM|, lỗi sẽ sinh ra; ngược lại, tên |THM| +hiện tại sẽ được dùng, ví dụ việc gọi |\thref{xxxlabel}| +sẽ sinh ra chẳng hạn ``Định lý~\meta{number}''! + +\medskip +Chú ý rằng không có hỗ trợ cho các tham khảo chéo phức, như ``xem Định lý~5 và~7''.% +\footnote{This would require plural-forms +for different languages and handling of \texttt{\bslash ref}-lists, probably +splitting into different sublists for different environments. If +someone is interested in programming this, please contact us; +\color{red}{it seems to be algorithmically easy, but tedious.}} + +%% Additionally, currently there is no support for multiple references +%% such as ``see Theorems~5 and~7'' (this would require plural-forms +%% for different languages and handling of |\ref|-lists, probably +%% splitting into different sublists for different environments)\footnote{If +%% someone is interested in programming this, please contact us; it +%% seems to be algorithmically easy, but tedious.}. + +%% \subsection{List of Theorems and Friends} +\subsection{\texorpdfstring{Danh sách THM}{Danh sach THM}} + +%% Note, that we put the following lists into the |quote|-environment +%% to emphazise them from the surrounding text. So the lists +%% are indented slightly at the margin. +%% Chú ý rằng, ở đây các danh sách được bố trí trong các môi trường đặc biệt +%% để nhấn mạnh kết quả, còn thực tế, chúng sẽ được thể hiện với lề trái +%% khác ở đây một chút!. + +%% With +\medskip +Với +\begin{command} + \addtotheoremfile{Added into all theorem lists} +\end{command} +%% in every list, an additional line of text would be inserted. +%% But it isn't actually done in this documentation since we want +%% to use different list formats. +thì ở mọi danh sách, dòng ``|Added into all theorem lists|'' +sẽ được chèn vào. Tuy nhiên, trong tài liệu này, ta không làm như thế, +vì ta dùng định dạng khác của danh dách |THM|. + +%% Only for the list of Examples, this one is added: +\medskip Để chèn chỉ danh sách các ví dụ (|Example|), có thể làm chẳng hạn +\begin{command} + \addtotheoremfile[Example]{% + \color{blue}{Only concerning Example lists}} +\end{command} +\addtotheoremfile[Example]{\color{blue}{Only concerning Example lists}} + +%% With +\medskip +Với +\begin{command} + \theoremlisttype{all} + \listtheorems{Lemma} +\end{command} +%% all lemmas are listed: +mọi bổ đề sẽ được liệt kê + +\bigskip +{\color{red!75!green!50!blue} + \theoremlisttype{all} + \listtheorems{Lemma}} +\bigskip + +%% From the examples, only those are listed which have an optional name: +Như ta thấy trong kết quả trên, xuất hiện dòng chỉ toàn dấu chấm. +Ta sử dụng kiểu danh sách |opt| để liệt kê chỉ các bổ đề có tên riêng: +\begin{command} + \theoremlisttype{opt} + \listtheorems{Example} +\end{command} +%% leads to +cho ta kết quả + +\bigskip +{\color{red!75!green!50!blue} + \theoremlisttype{opt} + \listtheorems{Example} +} + +\bigskip +%% One should note the line \emph{Only concerning example lists}, which +%% was added by the |\addtotheoremfile|-statement above. +Như ta thấy, dòng chữ ``\color{blue}{Only concerning Example lists}\normalcolor'' +xuất hiện ở cuối danh sách --- ta đã thêm dòng này nhờ |\addtotheoremfile| +ở ví dụ trên. + +\medskip +%% For the next list, another layout, using the |tabular|-environment, +%% is defined: +Bây giờ ta định nghĩa kiểu danh sách mới, sử dụng môi trường |tabular|: +\begin{command} + \newtheoremlisttype{tab}% + {\begin{tabular*}{\linewidth}% + {@{}lrl@{\extracolsep{\fill}}r@{}}}% + {##1&##2&##3&##4\\}% + {\end{tabular*}} +\end{command} +%% Thus, by saying +Sử dụng kiểu mới |tab| như sau: +\begin{command} + \theoremlisttype{tab} + \listtheorems{Theorem,Lemma} +\end{command} +%% theorems and lemmata are listed: +Các định lý và bổ đề sẽ được liệt kê theo kiểu mới: + +\bigskip +{\color{red!75!green!50!blue} +%% \begin{quote} + \DeleteShortVerb{\|} + \newtheoremlisttype{tab}% + {\begin{tabular*}{\linewidth}{@{}lrl@{\extracolsep{\fill}}r@{}}}% + {##1&##2&##3&##4\\}% + {\end{tabular*}} + \theoremlisttype{tab} + \listtheorems{Theorem,Lemma} + \MakeShortVerb{\|}% +%% \end{quote}% +} + +\vskip-12pt + +%% \LaTeX-lists can also be used to format the theoremlist. +%% The input +Cũng có thể sử dụng môi trường tạo danh sách của \LaTeX{} +để tạo kiểu mới như sau đây: +\begin{command} + \newtheoremlisttype{list}% + {\begin{trivlist}\item} + {\item[##2 ##1:]\ ##3\dotfill ##4}% + {\end{trivlist}} + \theoremlisttype{list} + \listtheorems{Corollary} +\end{command} +%% leads to% +Kết quả với kiểu mới bây giờ là + +{\color{red!75!green!50!blue} +%% \begin{quote}% +\DeleteShortVerb{\|}% + \newtheoremlisttype{list}% + {\begin{trivlist}\item}% + {\item[##2 ##1:]\ ##3\dotfill ##4}% + {\end{trivlist}}% + \theoremlisttype{list} + \listtheorems{Lemma}% + \MakeShortVerb{\|}% +%% \end{quote}% +} + +%% In this example, after the item, \verb*!\ ! is used instead of +%% \verb*! !, because in the latter case, |\dotfill| will produce an +%% error if the optional argument (|##3|) +%% is missing. +Trong ví dụ này, sau mỗi phần tử |\item| của danh sách, +lệnh \verb*#\ # được dùng thay cho \verb*# #, vì trong trường hợp sau, +lệnh |\dotfill| sẽ báo lỗi nếu phần tham số bổ sung |##3| không có. + +\endinput diff --git a/Master/texmf-dist/doc/latex/ntheorem-vn/src/help.tex b/Master/texmf-dist/doc/latex/ntheorem-vn/src/help.tex new file mode 100644 index 00000000000..eb948ec4106 --- /dev/null +++ b/Master/texmf-dist/doc/latex/ntheorem-vn/src/help.tex @@ -0,0 +1,225 @@ +%% \section{Problems and Questions} +\section{\texorpdfstring{Vấn đề thường gặp}{Van de thuong gap}} + +%% \subsection{Known Limitations} +\subsection{\texorpdfstring{Giới hạn của gói}{Gioi han cua goi} ntheorem} + + +\begin{itemize} + \item +%% Since |ntheorem.sty| uses the |.aux| file for storing +%% information about the positions of endmarks, \LaTeX\ must be +%% run twice for correctly setting the endmarks. + |ntheorem| dùng tập tin |.aux| để lưu thông tin về dấu kết thúc, + do đó, cần biên dịch tài liệu ít nhất hai lần để các dấu + kết thúc được đặt đúng vị trí. + \item +%% Since |ntheorem.sty| uses the |.aux| file for storing +%% information about lists in the |.thm| file, a minimum of +%% two runs is needed. If theorems move in any of these +%% runs up to five runs can be needed to generate correct lists. + Cũng do sử dụng tập tin |.aux| để lưu thông tin về danh sách + trong tập tin |.thm|, cần thêm ít nhất hai lần biên dịch nữa. + Việc di chuyển các |THM| có thể cần tới 5 lần biên dịch + để có danh sách |THM| đúng đắn. + \item +%% Since we need to expand the optional argument of theorems +%% in various ways for the lists, we decided to copy the text verbatim +%% into the |.thm| file. Thus, if you use things like |\thesection| +%% etc., the list won't show the correct text. Therefore you shouldn't +%% use any command that needs to be expanded. + Gói xử lý phần tên riêng của |THM| (tham số bổ sung khi gọi môi trường) + theo vài cách khác nhau trong danh sách, do đó, đã sao chép nguyên xi, + không triển khai (|expand|) phần tham số bổ sung đó vào tập tin |.thm|. + Hệ quả là, nếu bạn dùng chẳng hạn lệnh |\thesection| bên trong phần tên + riêng thì kết quả sẽ không như ý. Bạn không nên dùng bất kỳ lệnh gì + trong phần tên riêng |THM|! + \item +%% In nested environments ending at the same time, +%% only the endmark for the inner environment is set, as the following +%% example shows: + Nếu các |THM| lồng nhau kết thúc ở cùng thời điểm, + |ntheorem| chỉ lập dấu kết thúc cho môi trường sâu nhất (|level| cao nhất) + Chẳng hạn +\begin{example} + \begin{Lemma} + Some text. + \begin{Proof} + The Proof + \end{Proof} + \end{Lemma} +\end{example} +%% yields to +sẽ đưa tới kết quả sau + +\begin{thmbox} + \begin{Lemma} + Some text. + \begin{Proof} The Proof \end{Proof} + \end{Lemma} +\end{thmbox} + +%% You can handle this by specifying something invisible after the end +%% of the inner theorem. Then the endmark for the outer theorem is +%% set in the next line: +Bạn có thể vượt qua nhược điểm này, bằng cách thêm một nội dung ẩn +sau khi kết thúc |THM| bên trong, khi đó, |THM| bên ngoài sẽ có dấu +kết thúc như ý. Quan sát ví dụ sau đây: +\begin{example} + \begin{Lemma} + Some text. + \begin{Proof} + The Proof + \end{Proof}~ + \end{Lemma} +\end{example} +%% yields to +kết quả là + +\begin{thmbox} + \begin{Lemma} + Some text. + \begin{Proof} The Proof \end{Proof}~ + \end{Lemma} +\end{thmbox} + + \item +%% Document option |fleqn| is problematic: |fleqn| handles +%% equations not by |$$| but by lists (check what happens for + Sử dụng tùy chọn |fleqn| khi gọi lớp tài liệu có thể sinh ra + rắc rối. Lý do là tuỳ chọn |fleqn| điều khiển các phương trình + không phải bởi |$$| mà bởi danh sách (thử kiểm tra xem điều + gì xảy ra nếu bạn dùng +\begin{example} + \begin{theorem} \[ displaymath \] \end{theorem} +\end{example} +%% in standard \LaTeX: +%% The displaymath is \emph{not} set in an own line). + trong \LaTeX{} chuẩn: nội dung |displaymath| sẽ không được đặt ở dòng riêng. +%% Also, for long formulas, the equation number and the endmark are +%% smashed into the formula at the right text margin. + Cũng như vậy, với công thức dài, chỉ số phương trình và dấu kết thúc + có thể sẽ gần công thức hơn so với bình thường. + \item +%% Naturally, |ntheorem.sty| will not work correctly in +%% combination with other styles which change the handling +%% of + Một cách tự nhiên, |ntheorem| không làm việc cùng với các kiểu (gói) + liên quan đến + \begin{enumerate} +%% \item theorem-like environments, or +%% \item environments concerned with the handling of endmarks, e.g. +%% |\[...\]|, |eqnarray|, etc. + \item xử lý môi trường |THM| tựa định lý, + \item xử lý dấu kết thúc (ví dụ |\[...\]|, |eqnarray|,\ldots) + \end{enumerate} + \item +%% |ntheorem.sty| is compatible with Frank Mittelbach's +%% |theorem.sty|, which is the most widespread style for setting +%% theorems. + |ntheorem| không tương thích với gói |theorem| của Frank Mittelbach, + là một gói dùng để biểu diễn |THM| rất phổ biến. + +%% It cannot be used \emph{with} |theorem.sty|, but it can be +%% used instead of it. + Gói |ntheorem| không thể dùng chung với gói |theorem|, + nhưng có thể dùng thay cho gói |theorem|. +\end{itemize} + +%% \subsection{Known ``Bugs'' and Problems} +\subsection{\texorpdfstring{Các BUG đã biết}{Cac BUG da biet}} + + +\begin{itemize} +%% \item Ending a theorem \emph{directly} after the text, e.g. + \item Khi kết thúc môi trường |THM| ngay sau nội dung, + dấu kết thúc sẽ bị bỏ qua. Ví dụ +\begin{example} + \begin{Lemma} Lemma\end{Lemma} +\end{example} +%% suppresses the endmark: +sẽ sinh ra + +\begin{thmbox} + \begin{Lemma} Lemma\end{Lemma} +\end{thmbox} + +%% Therefore a space or a newline should be inserted +%% before |\end{...}|. + Vì vậy, ít nhất một khoảng trắng hoặc dấu ngắt dòng + cần phải có trước |\end{...}|. + Ngoài ra, trước |\end{...}| không được là dòng trắng. +%% \item With theoremstyle break, if the linebreak would cause +%% ugly linebreaking in the following text, it is suppressed. +\item + Với kiểu |THM| |break|, nếu việc ngắt dòng sau |header| làm + cho phần nội dung tiếp theo ``xấu xí'' (theo cách hiểu của \LaTeX{}), + thì việc ngắt dòng đó sẽ bị bỏ qua. +\end{itemize} + +%% \subsection{Open Questions} +\subsection{\texorpdfstring{Câu hỏi mở}{Cau hoi mo}} + +Các câu hỏi này liên quan chủ yếu đến việc phát triển +gói |ntheorem| --- nghĩa là không có ích lắm với người dùng bình thường. +%% If someone has a solution to one of those questions, please inform us. +%% (You can be sure to be mentioned in the Acknowledgements.) +Nếu ai đó có câu trả lời cho một trong các câu hỏi dưới đây, +vui lòng thông báo cho tác giả gói |ntheorem|; tác giả của câu +trả lời sẽ có mặt trong |Acknowledgements|. + +\begin{itemize} +\item +%% For |equation|s, we decided to put the endmark after the equation +%% number, which is vertically centered. +%% Currently, we do not know, how to get the equation number centered and +%% the endmark at the bottom (one has to know the internal height of the +%% math material). +Với các phương trình (biểu diễn nhờ môi trường |equation|), dấu kết thúc +sẽ được đặt sau chỉ số phương trình (được canh giữa theo chiều đứng). +Hiện tại, vẫn chưa có thuật toán để canh giữa chỉ số phương trình +đồng thời đặt dấu kết thúc ở bên dưới (việc này đòi hỏi phải biết +chiều cao của nội dung phương trình) +\item +%% The placement of endmarks is mainly based on a check whether \LaTeX\ +%% is in an ordinary text line when encountering an end-of-environment. +%% This question is \emph{partially} answered by |\ifhmode|: In a text +%% line, \LaTeX\ is always in |\hmode|. +Thuật toán đặt dấu kết thúc dựa trên kết quả của việc kiểm tra xem liệu phần nội +dung bình thường đã hết chưa (khi gặp kết thúc môi trường |\end{...}|). +Việc kiểm tra này có câu trả lời \emph{một phần} (|partially|) +nhờ |\ifhmode|: trong một dòng, \LaTeX{} luôn ở chế độ |\hmode|. +Nhưng sau các biểu thức toán, \LaTeX{} cũng ở chế độ |\hmode|. Vì thế, +%% But, after an displaymath, \LaTeX\ is also in |\hmode|. Thus, +%% additionally |\lastskip| is checked: after a displaymath, +%% |\lastskip|=0 holds. +phải kiểm tra thêm về |\lastkip|: sau biểu thức toán thì |\lastskip=0|. +%% In most situations, when text has been written into a line, +%% |\lastskip| $\neq$ 0. But, this does not hold, if the source code +%% is of the following form: |...text\label{bla}|: then, |\lastskip|=0. +%% In those situations, the endmark is suppressed. \\ +%% ?? How can it be detected whether \LaTeX\ has just ended a displaymath? +Trong hầu hết trường hợp, khi nội dung vừa ghi xong vào một dòng, thì |\lastskip| $\neq0$. +Nhưng điều này không luôn chắc chắn: nếu mã nguồn có dạng +|...text\label{bla}|, thì (sau đó) |\lastskip=0|. Và khi đó, dấu kết thúc bị bỏ qua. + +\medskip +Câu hỏi đặt ra là, làm thế nào để xác định thời điểm \LaTeX{} vừa kết thúc +việc biểu diễn công thức toán? +\item +%% The above problem with the label: The break style enforces a linebreak +%% by |\hfill\penalty-8000| after the |\trivlist|-item. Thus, \TeX\ +%% gets back into the horizontal mode. The label places a ``whatsit'' +%% somewhere ... and, it seems that the ``whatsit'' makes \TeX\ think +%% that there is a line of text. +Trong vấn đề trên về nhãn: kiểu |break| sẽ gắng ngắt dòng sau phần |header| +bằng cách dùng |\hfill\penalty-8000| đằng sau |item| của |\trivlist|. +Vì vậy, \TeX{} sẽ chuyển vào chế độ |horizontal|. +The label places a ``whatsit'' +somewhere ... and, it seems that the ``whatsit'' makes \TeX\ think +that there is a line of text.\footnote{\texttt{kyanh:} ``whatsit'', đó là cái dzì vậy?} +\end{itemize} +%% If someone has a solution to one of those questions, please inform us. +%% (You can be sure to be mentioned in the Acknowledgements.) + +\endinput diff --git a/Master/texmf-dist/doc/latex/ntheorem-vn/src/interference.tex b/Master/texmf-dist/doc/latex/ntheorem-vn/src/interference.tex new file mode 100644 index 00000000000..1c92c96bc73 --- /dev/null +++ b/Master/texmf-dist/doc/latex/ntheorem-vn/src/interference.tex @@ -0,0 +1,183 @@ +%% \section{Possible Interferences} +\section{\texorpdfstring{Ảnh hưởng đến các gói khác}{Anh huong den goi khac}} + +%% Since |ntheorem| reimplements the handling of theorem-environments +%% completely, it is incompatible with every package also concerning +%% those macros. +Vì |ntheorem| xây dựng lại hoàn toàn cách xử lý |THM|, nên nó không tương thích +với mọi gói có liên quan đến cách xử lý |THM|. + +%% Additionally, the |thmmarks| algorithm for placing endmarks +%% requires modifications of several environments (cf.\ Section +%% \ref{sec:code}). +\medskip +Ngoài ra, thuật toán đặt dấu kết thúc |thmmarks| đòi hỏi phải thay +đổi vài môi trường (xem tài liệu về mã nguồn của |ntheorem|). +%% Thus, environments which are reimplemented or additionally defined +%% by document options or styles are not covered by the endmark +%% algorithm of |ntheorem.sty|. +Vì vậy, những môi trường được thay đổi, xây dựng lại bởi các lớp tài liệu +hay các gói sẽ không chịu ảnh hưởng bởi thuật toán cung cấp bởi gói |ntheorem|. + +%% The |[thref]| option changes the |\label| command and the treatment +%% of labels when reading the |.aux| file. Thus it is potentially +%% incompatible with all packages also changing |\label| (or +%% |\newlabel|). Compatibility with babel's |\newlabel| isa +%% achieved if babel is loaded before ntheorem. +\medskip +Tùy chọn |thref| sẽ định nghĩa lại lệnh |\label| và sẽ xử lý các nhãn +trong khi đọc tập tin |.aux|. Chính vì thế, việc dùng tùy chọn này sẽ +gây ra sự không tương thích với mọi gói có thay đổi lệnh |\label| +hoặc |\newlabel|. Với gói |babel|, sự không tương thích được giải +quyết chỉ khi gói |ntheorem| được nạp sau gói |babel|. + +%% \subsection{Interfering Document Options.} +\subsection{\texorpdfstring{Ảnh hưởng đến tuỳ chọn lớp tài liệu}{Anh huong den tuy chon lop}} + +%% |ntheorem.sty| also copes with the usual document options +%% |leqno| and |fleqn|\footnote{although for \texttt{fleqn} and +%% long formulas +%% reaching to the right margin, equation numbers and endmarks can +%% be smashed over the formula since \texttt{fleqn} does not use +%% \texttt{\bslash eqno} for controlling the setting of the equation +%% number.}. +%% If one of those options is used in the |\documentclass| +%% declaration, it is automatically recognized by the |thmmarks| part +%% of |ntheorem.sty|. +Gói |ntheorem| cũng đụng độ với các các tuỳ chọn |leqno| và |fleqn| cho +lớp tài liệu. Nếu một trong hai tùy chọn đó được chỉ ra khi nạp lớp, +gói |ntheorem| (với tùy chọn |thmmarks|) sẽ phát hiện được. + +\medskip +%% If one of those options is not used in |\documentclass|, but +%% with |amsmath| (see next section), it must not be specified +%% for |ntheorem|, since all |amsmath| environments detect this option +%% by themselves. +Nếu các tuỳ chọn đó không được chỉ ra khi gọi lớp, mà khi nạp gói |amsmath| +(xem mục tiếp theo), thì tùy đó phải không được chỉ ra khi nạp gói |ntheorem|, +bởi vì chính mọi môi trường của gói |amsmath| sẽ nhận ra tuỳ chọn ấy. + +%% \subsection{Combination with amslatex.} +\subsection{\texorpdfstring{Với gói}{Voi goi} amslatex} +\label{sec:amslatex} + +%% |ntheorem.sty| interferes with |amsmath.sty| and |amsthm.sty|. +Gói |ntheorem| ảnh hưởng đến gói |amsmath| và |amsthm|. + +%% Note, that the LaTeX amstex package |amstex.sty| (\LaTeX2.09) is +%% obsolete and you should use |amsmath| and |amstext| for +%% \LaTeXe\ instead. Up to |ntheorem-1.18|, it is compatible with +%% |amsmath-1.x|. Since |ntheorem-1.19|, it is (hopefully) compatible +%% with |amsmath-2.x|. +\medskip +Chú ý rằng, gói |amstex.sty| của \LaTeX{}2.09 đã cũ và bạn nên thay thế +bởi hai gói |amsmath| và |amstext| của \LaTeXe{}. Gói |ntheorem| các phiên +bản từ 1.18 về trước tương thích với |amsmath-1.x|, và các phiên bản từ 1.19 +tương thích với |amsmath-2.x| (hy vọng vậy ;) + +%% We would be happy if someone knowing and using |amsmath| would +%% join the development and maintenance of this style. +\medskip +Tác giả |ntheorem| hy vọng có ai đó dùng và hiểu gói |amsmath| có thể +tham gia đội phát triển và bảo dưỡng |ntheorem| để bảm đảm sự tương thích này. + +\subsubsection{\texorpdfstring{Với gói}{Voi goi} amsmath} + +%% Compatibility with amsmath (end marks for math environments, and +%% handling of labels in math environments) is provided in the option +%% |[amsmath]|, (i.e., if |\usepackage{amsmath}| is used then +Sự tương thích với gói |amsmath| (ở các điểm: đặt dấu kết thúc, +xử lý nhãn trong môi trường toán) được bảo đảm nhờ tuỳ chọn |amsmath| +khi nạp lớp |ntheorem|. +\begin{itemize} +\item |\usepackage[thmmarks]{ntheorem}| +%% must be completed to \\ +cẩn phải được thay bởi\\ +|\usepackage[amsmath,thmmarks]{ntheorem}|), và tương tư%%and also +\item |\usepackage[thref]{ntheorem}| +%% must be completed to \\ +cần thay bởi \\ +|\usepackage[amsmath,thref]{ntheorem}|). +\end{itemize} +%% Note, that |amsmath| has to be loaded \emph{before} |ntheorem| +%% since the definitions have to be overwritten. +Cũng cần lưu ý rằng, gói |amsmath| cần phải nạp trước gói |ntheorem|, +để đảm bảo rằng các định nghĩa của |amsmath| sẽ được |ntheorem| xử lý lại. + +\subsubsection{\texorpdfstring{Với gói}{Voi goi} amsthm} + +%% |amsthm.sty| conflicts with the definition of theorem +%% layouts in |theorem.sty|, some features of |amsthm.sty| +%% have been incorporated into option |[amsthm]| which has +%% to be used \emph{instead of} |\usepackage{amsthm}|. +Gói |amsthm| xung đột với gói |theorem| (về kiểu |THM|). +Thay vì dùng gói |amsthm|, +bạn hãy dùng tùy chọn |amsthm| khi nạp gói |ntheorem|. + +%% The Option provides theoremstyles |plain|, |definition|, and +%% |remark|, and a |proof| environment as in |amsthm.sty|. +\medskip +Tùy chọn đó cung cấp các kiểu |THM| là |plain|, |definition|, +|remark| và |proof| đúng như của gói |amsthm|. + +%% The |\newtheorem*| command is defined even without this +%% option. Note that |\newtheorem*| always switches to the +%% nonumbered version of the current theoremstyle which +%% thus must be defined. +\medskip +Lệnh |\newtheorem*| được cung cấp bởi |ntheorem| ngay cả khi +bạn không dùng tùy chọn |amsthm|. Chú ý rằng, |\newtheorem*| +luôn tương ứng với bản không đánh số của kiểu |THM| hiện tại; +do đó, khi dùng |\newtheorem*| thì kiểu |THM| là kiểu đã có. + +%% The command |\newtheoremstyle| is not taken over from +%% |amsthm.sty|. Also, |\swapnumbers| is not implemented. +%% Here, the user has to express his definitions by the +%% |\newtheoremstyle| command provided by |ntheorem.sty|, +%% including the use of |\theoremheaderfont| and |\theorembodyfont|. +%% The options |[amsthm]| and |[standard]| are in conflict +%% since they both define an environment |proof|. +\medskip +Lệnh |\newtheoremstyle| và |\swapnumbers| của gói |amsthm| không +được |ntheorem| xây dựng lại. Vì vậy, +bạn phải định nghĩa các lệnh này (như gói |amsthm| định nghĩa), +cộng thêm các thay đổi nhờ dùng các lệnh |\theoremheaderfont| +và |\theorembodyfont|. + +\medskip +%% Thus, we recommend not to use +%% |amsthm|, since the features for defining theorem-like +%% environments in |ntheorem.sty|---following +%% |theorem.sty|---seem to be more intuitive and user-friendly. +Tóm lại, bạn không nên dùng gói |amsthm|, vì các tính năng +cung cấp bởi |ntheorem| trực quan và thân thiện hơn. + +\subsection{\texorpdfstring{Với gói babel}{Voi goi babel}} +\label{sec:babel} + +%% The |[thref]| option interferes with the |babel| package, thus in +%% case that |babel| is used, |ntheorem| has to be loaded \emph{after} +%% |babel|. +Khi dùng tùy chọn |thref|, gói |babel| phải được nạp trước gói |babel|. + +\subsection{\texorpdfstring{Với gói}{Voi goi} hyperref} +\label{sec:hyperref} + +%% Since |hyperref| redefines the \LaTeX\ |\contentsline|-command, it breaks +%% with |ntheorem| below version 1.17. Since version 1.17, the option +%% |[hyperref]| makes |ntheorem| work with |hyperref|. +%% Theoremlists will then get linked list. +Vì gói |hyperref| định nghĩa lại lệnh |\contentsline| của \LaTeX{}, +nên gói này sẽ trục trặc với |ntheorem| phiên bản 1.17 về trước. +Từ bản 1.17 của |nthereom|, có thêm tùy chọn |hyperref| bảo đảm +sự tương thích: trong danh sách |THM| bạn sẽ có liên kết đến các |THM| tương ứng. + +%% WARNING: The definition and redefinition of Theorem List Layouts +%% (see Section~\ref{sec:listtypes}) isn't yet working with +%% the |hyperref|-package. +\medskip +Chú ý rằng, +nếu bạn định nghĩa (lại) kiểu danh sách |THM| như ở Mục~\vref{sec:listtypes}), +kiểu mới đó sẽ không làm việc tốt với |hyperref|. + +\endinput diff --git a/Master/texmf-dist/doc/latex/ntheorem-vn/src/intro.tex b/Master/texmf-dist/doc/latex/ntheorem-vn/src/intro.tex new file mode 100644 index 00000000000..89798c1893c --- /dev/null +++ b/Master/texmf-dist/doc/latex/ntheorem-vn/src/intro.tex @@ -0,0 +1,79 @@ +\section{\texorpdfstring{Giới thiệu. Ghi chú}{Gioi thieu. Ghi chu}} + +%% For our purposes here, ``theorems'' are labelled enunciations, +%% often set off from the main text by extra space and a font change. +%% Theorems, corollaries, conjectures, definitions, examples, +%% remarks, and proofs are all instances of ``theorems''. +%% The ``header'' of +%% these structures is composed of the type of the structure +%% (such as \textsc{Theorem} or \textsc{Remark}), a number +%% which serializes the instances of the same type throughout the +%% document, and an optional name (such as ``Correctness Theorem''). +Một môi trường tựa định lý, ta gọi tắt là (môi trường) |THM|, +được minh họa như ở Hình~\vref{fig:THM}. +Với mỗi |THM|, các tên |định lý|, |hệ quả|, |bổ đề|, |tiên đề|, +|định nghĩa|, |ví dụ|, |ghi chú|, |chứng minh|,\ldots +được gọi là \emph{tên của} |THM|. +Phần |header| của |THM| bao gồm tên của |THM|, chỉ số của |THM|, +tên tuỳ chọn (hay tên riêng) của |THM|. Phần nội dung của |THM| +còn gọi là \emph{thân} (|body|) của |THM|. Để ý rằng, tên của |THM| khác +với tên của môi trường |THM|.\footnote{Trong thực tế, thường tên +của môi trường \texttt{THM} và tên của \texttt{THM} có sự tương ứng +1-1, ví dụ \texttt{menhde} ứng với \texttt{Mệnh đề}, +\texttt{dinhly} ứng với \texttt{Định lý}. Do đó, trong đa số trường hợp, +sự phân biệt này không có ý nghĩa quan trọng\ldots --- kyanh} +Trong ví dụ sau, +\begin{example} + \newtheorem{foobar}{Menh de} +\end{example} +ta có |THM| |foobar|, với tên là |Menh de|, nhưng tên của môi trường +tương ứng là |foobar|. Đôi khi, ta sẽ gọi \emph{môi trường} |THM| thay cho +\emph{tên của môi trường} |THM|. +%% dùng để chỉ loại của cấu trúc (ví dụ định lý hay +%% định nghĩa), chỉ số của cấu trúc và tên tuỳ chọn (ví dụ |Tiên đề chọn|). +%% Các (tựa) định lý thường phải được trình bày rõ ràng, tách biệt +%% với các phần khác cùa tài liệu, bằng cách thêm các khoảng trắng +%% thích hợp, thay đổi kiểu chữ. + +%% The layout of theorems can be changed by parameters as the fonts +%% of the header and the body, the way how to arrange the headers, +%% the indentation, and the way of numbering it. +%% Confronted with these requirements, |theorem.sty|, a style for +%% dealing with theorem layout was developed by Frank Mittelbach +%% which was the standard theorem-environment for long time. +\medskip +Cách thể hiện |THM| có thể được thay đổi nhờ các tham số về +kiểu chữ cho |header|, cho thân |THM|, các bố trí |header|, khoảng trắng +thụt đầu dòng, cách đánh số,\ldots Để thỏa mãn các yêu cầu thay đổi này, +gói |theorem.sty| của Fran Mittelbach đã được viết và trở thành +gói chuẩn của \LaTeX{} từ rất lâu. + +%% But then the desire for additional features like ``endmarks'' +%% and ``theorem-lists'' arose. +%% Two extensions of |theorem.sty| were developped: One for handling +%% endmarks, |thmmarks.sty| and one for generating lists, |newthm.sty|. +%% Thus, Frank Mittelbach suggested to combine the new features into +%% one ``standard-to-be'' package. +%% And now, here it is. +\medskip +Tuy nhiên, các tính năng khác nhưng dấu kết thúc |endmarks|, danh sách +các |theorem| vẫn chưa được hỗ trợ bởi gói chuẩn đó. Giải quyết vấn đề này, +có hai mở rộng của gói |theorem.sty| được phát triển: một gói chuyên về +điều khiển |endmarks|, gói |thmmarks.sty|, và một gói chuyên về liệt +kê danh sách |THM|, gói |newthm.sty|. Sau đó, Frank Mittelbach đề nghị +kết hợp các hỗ trợ của hai gói này vào cùng một gói mới (sẽ là chuẩn). +Đó chính là gói |ntheorem.sty| ;) + +\begin{figure}[bht] +\begin{center} + \ifpdf + \includegraphics[scale=.6]{thm.png} + \else + \includegraphics[scale=.6]{thm.ps} + \fi +\end{center} +\caption{Môi trường THM} +\label{fig:THM} +\end{figure} + +\endinput diff --git a/Master/texmf-dist/doc/latex/ntheorem-vn/src/license.tex b/Master/texmf-dist/doc/latex/ntheorem-vn/src/license.tex new file mode 100644 index 00000000000..0aacf545d85 --- /dev/null +++ b/Master/texmf-dist/doc/latex/ntheorem-vn/src/license.tex @@ -0,0 +1,35 @@ +\section*{License \& Copyright Information} + +\vskip1cm + +\begin{example} + This is part of `ntheorem-doc-vn' bundle. + + ---------------------------------------------------------- + Copyright (C) 2005 kyanh <kyanh at o2 dot pl> + ---------------------------------------------------------- + + This work may be distributed and/or modified under the + conditions of the LaTeX Project Public License, either version 1.3 + of this license or (at your option) any later version. + The latest version of this license is in + http://www.latex-project.org/lppl.txt + and version 1.3 or later is part of all distributions of LaTeX + version 2003/12/01 or later. + + This work has the LPPL maintenance status "maintained". + + Current maintainer of this work is kyanh <kyanh at o2 dot pl>. + + List of files of this bundle can be found in FILELIST. + These files *MUST* be distributed as a whole. +\end{example} + +\bigskip + +\textbf{FILELIST} +{\small +\verbatiminput{FILELIST} +} + +\endinput diff --git a/Master/texmf-dist/doc/latex/ntheorem-vn/src/ntheorem-doc-vn.tex b/Master/texmf-dist/doc/latex/ntheorem-vn/src/ntheorem-doc-vn.tex new file mode 100644 index 00000000000..9694247922f --- /dev/null +++ b/Master/texmf-dist/doc/latex/ntheorem-vn/src/ntheorem-doc-vn.tex @@ -0,0 +1,161 @@ +\newif\ifpdf +\ifx\pdfoutput\undefined\relax +\else\ifnum\pdfoutput>0\relax +\pdftrue\fi\fi + +\def\filedate{2002/01/07} +\def\docdate{2001/01/13} +\def\fileversion{1.203} +\def\basename{ntheorem} + +\documentclass[11pt,oneside]{ltxdoc} + +% ===================================================================== + +\usepackage{latexsym} +\usepackage[utf8x]{vietnam} +\usepackage{indentfirst} +\usepackage{ktv-buildnum} +\usepackage{verbatim} +\ifpdf +\usepackage[ + ps2pdf, + naturalnames=true, + hypertexnames=false, + colorlinks,draft=false, + pdftitle={ntheorem Manual, Vietnamese edition}, + pdfauthor={Wolfgang May - Andreas Schlechte. Translator: kyanh <kyanh@o2.pl>}, + pdfsubject={displaymath}, + pdfkeywords={typesetting, displaymath, theorem}]{hyperref} +\else + \def\texorpdfstring#1#2{#1} +\fi +\usepackage{url} +\usepackage{varioref} +\usepackage[varioref]{vnhook} +\usepackage[dvips]{graphicx} +%% \usepackage{hyperref} +\usepackage[thmmarks,thref,noconfig]{ntheorem} + +\ifpdf +\input pd1supp.def +\fi + +% ===================================================================== + +\newif\ifprint +\include{preamble} + +% ===================================================================== + +\parindent0pt +\hfuzz2000pt +\setlength{\textwidth}{360pt} + +\setlength{\hoffset}{1cm} +\setlength{\voffset}{-1cm} +\setlength{\textwidth}{13.5cm} +\setlength{\textheight}{23cm} + +\MakeShortVerb{\|} + +\def\envfont{\normalfont\ttfamily} +\def\deflabel#1{\ttfamily #1\hfill} +\def\deflist#1{\begin{list}{}{\settowidth\labelwidth{\ttfamily #1}% + \setlength\leftmargin\labelwidth + \addtolength\leftmargin\labelsep + \let\makelabel\deflabel}} +\def\enddeflist{\end{list}} + +\def\packedlist#1{% + \begin{list}{}{\settowidth\labelwidth{#1}\setlength\leftmargin\labelwidth + \addtolength\leftmargin\labelsep + \topsep=0pt\itemsep=0.05cm\parsep=0.05cm + \let\makelabel\nlabel}} +\def\endpackedlist{\end{list}} +\makeatletter +\def\packeddescr{% + \begin{list}{}{\leftmargin0.5cm + \labelwidth\z@\itemindent-\leftmargin + \topsep=0pt\itemsep=0.05cm\parsep=0.05cm + \let\makelabel\nlabel}} +\def\endpackeddescr{\end{list}} + +\def\Codelabel#1{\@bsphack + \protected@write\@auxout{}{\string\newlabel{#1}{{\number\the + \c@CodelineNo}{\thepage}}}\@esphack} +\newcounter{tmpcount} +\def\Coderef#1#2{\setcounter{tmpcount}{0}\@ifundefined{r@#1}\relax + {\setcounter{tmpcount}{\ref{#1}}}\relax + \addtocounter{tmpcount}{#2}\arabic{tmpcount}} +\makeatother + +\def\nlabel#1{#1\hfill} +\def\nlist#1{\begin{list}{}{\settowidth\labelwidth{#1}% + \setlength\leftmargin\labelwidth + \addtolength\leftmargin\labelsep + \let\makelabel\nlabel}} +\def\endnlist{\end{list}} +\def\DANGER{{\LARGE\textbf{! }\rule{0pt}{2ex}}} +\def\env{\meta{env}} +\def\envx{\meta{env'}} + +% ===================================================================== + +\theoremstyle{marginbreak} +\theoremheaderfont{\normalfont\bfseries}\theorembodyfont{\slshape} +\theoremsymbol{\ensuremath{\diamondsuit}} +\theoremseparator{:} +\newtheorem{Theorem}{Định lý} + +\theoremstyle{changebreak} +\theoremsymbol{\ensuremath{\heartsuit}} +\theoremindent0.5cm +\theoremnumbering{greek} +\newtheorem{Lemma}{Bổ đề} + +\theoremindent0cm +\theoremsymbol{\ensuremath{\spadesuit}} +\theoremnumbering{arabic} +\newtheorem{Corollary}[Theorem]{Hệ quả} + +\theoremstyle{change} +\theorembodyfont{\upshape} +\theoremsymbol{\ensuremath{\ast}} +\theoremseparator{} +\newtheorem{Example}{Ví dụ} + +\theoremstyle{plain} +\theoremsymbol{\ensuremath{\clubsuit}} +\theoremseparator{.} +\newtheorem{Definition}{Định nghĩa} + +\theoremheaderfont{\sc}\theorembodyfont{\upshape} +\theoremstyle{nonumberplain} +\theoremseparator{} +\theoremsymbol{\rule{1ex}{1ex}} +\newtheorem{Proof}{Chứng minh}% + +% ===================================================================== + +\begin{document} + +\input title-abstract % // +\newpage +\input license +\newpage +\tableofcontents +\pagebreak +\input thanks +\input intro % // +\input user-interface % // +\input interference % // +%% %% %% %% \input endmarks % // for devels only +\input help % // almost for devels only +\input example + +\newpage +\PrintIndexX +\end{document} + +% ===================================================================== diff --git a/Master/texmf-dist/doc/latex/ntheorem-vn/src/preamble.tex b/Master/texmf-dist/doc/latex/ntheorem-vn/src/preamble.tex new file mode 100644 index 00000000000..369cbe28b23 --- /dev/null +++ b/Master/texmf-dist/doc/latex/ntheorem-vn/src/preamble.tex @@ -0,0 +1,177 @@ +%% taken from `pdpream.ble' generated from `powerdot.dtx'. +\usepackage{url} +\usepackage{xcolor} +\usepackage{enumitem} +\usepackage{pst-char} +\usepackage{listings} +\usepackage{array} +\usepackage{xkeyval} + +\newbox\yaktmpbox + +\newenvironment{thmbox}{% + \setbox\yaktmpbox=% + \hbox\bgroup% + \kern-\leftmargin % + \kern-6.45pt % value found by try-and-error. What is the exact one? + \vbox\bgroup% + \kern-6pt + \ignorespaces% +}{% + \kern-8pt + \egroup% + \egroup% + \fcolorbox{black}{yellow!20}{\box\yaktmpbox}% + \ignorespacesafterend% +} + +\lstnewenvironment{command}{% + \lstset{columns=flexible,frame=single,backgroundcolor=\ifprint\color{white}\else\color{blue!20}\fi,% + xleftmargin=\fboxsep,xrightmargin=\fboxsep,escapeinside=`',gobble=1}\ttfamily\color{black}}{} +\lstnewenvironment{example}[1][]{% + \lstset{basicstyle=\footnotesize\ttfamily,columns=flexible,frame=single,% + backgroundcolor=\ifprint\color{white}\else\color{yellow!20}\fi,xleftmargin=\fboxsep,% + xrightmargin=\fboxsep,gobble=1,% + }\lstset{#1}\color{black}}{} +\def\option#1{% + \ifprint + \fcolorbox{black}{white}{\texttt{#1}}\vspace*{.2cm}% + \else + \fcolorbox{black}{red!20}{\texttt{#1}}\vspace*{.2cm}% + \fi% +} +\def\exmacro#1{ + \ifprint + \fcolorbox{black}{white}{\texttt{\bslash#1}}\vspace*{.2cm}% + \else + \fcolorbox{black}{blue!20}{\texttt{\bslash#1}}\vspace*{.2cm}% + \fi% +} +\def\macro#1{ + \ifprint + \fcolorbox{black}{white}{\texttt{\bslash#1}}\vspace*{.2cm}% + \else + \fcolorbox{black}{red!20}{\texttt{\bslash#1}}\vspace*{.2cm}% + \fi% +} +\def\mktitledecor{% + \rput[tl]{90}(-5.5,-25.51){% + \psline[linewidth=1pt](0,1.5)(\paperheight,1.5)% + \rput[lB](.075\paperheight,.5){\pscharpath[linecolor=blue!50,% + fillcolor=yellow!20,fillstyle=solid,linewidth=.5pt]% + {\Huge\bfseries\sffamily VietTUG, \url{http://viettug.org/}}% + }% + %\rput[rB](.925\paperheight,.5){\pscharpath[linecolor=blue!50,% + % fillcolor=yellow!20,fillstyle=solid,linewidth=.5pt]% + % {\Huge\bfseries Documentation}% + %}% + \psline[linewidth=1pt](0,0)(\paperheight,0)% + }% +} +\makeatletter +\def\tableofcontents{\@starttoc{toc}} +\renewenvironment{theglossary}{% + \section*{Version history}% + \GlossaryParms \let\item\@idxitem \ignorespaces +}{}% +\def\DescribeMacros{\leavevmode\@bsphack + \begingroup\MakePrivateLetters\Describe@Macros} +\def\Describe@Macros#1{\endgroup\strut + \marginpar{\raggedleft + \def\@tempa{#1}\count@\z@ + \XKV@for@o\@tempa\@tempa{% + \ifnum\count@>\z@\\\fi\advance\count@\@ne + \MacroFont\expandafter\string\@tempa + \expandafter\SpecialUsageIndex\expandafter{\@tempa}% + }}% + \@esphack\ignorespaces +} +\def\DescribeOption#1{\leavevmode\@bsphack + \marginpar{\raggedleft\PrintDescribeOption{#1}}% + \SpecialOptionIndex{#1}\@esphack\ignorespaces} +\def\PrintDescribeOption#1{\MacroFont #1\ } +\def\SpecialOptionIndex#1{\@bsphack + \index{#1\actualchar{\protect\ttfamily#1} + (option)\encapchar usage}\@esphack} +\def\DescribeOptions#1{\leavevmode\@bsphack + \marginpar{\raggedleft%\strut\emph{options}% + \@for\@tempa:=#1\do{% + \strut\MacroFont\@tempa\\\SpecialOptionIndex\@tempa + }}\@esphack\ignorespaces} +\def\SpecialEnvIndex#1{\@bsphack + \index{#1\actualchar{\protect\ttfamily#1} + (environment)\encapchar usage}\@esphack} +\def\changes@#1#2#3{% + \protected@edef\@tempa{% + \noexpand\glossary{\textbf{#1}\hfill\emph{(#2)}% + \levelchar + \ifx\saved@macroname\@empty + \space\actualchar\generalname + \else + \expandafter\@gobble\saved@macroname + \actualchar\string\verb\quotechar*% + \verbatimchar\saved@macroname\verbatimchar + \fi + :\levelchar #3}% + }% + \@tempa\endgroup\@esphack +} +\makeatother +\def\PrintChangesX{% + \begingroup + \let\efill\relax + \PrintChanges + \endgroup +} +\def\PrintIndexX{% + \begingroup + \setcounter{IndexColumns}{2} + \setlength{\columnsep}{18pt}% + \setlength{\columnseprule}{.4pt}% + \PrintIndex + \endgroup +} +\def\larg#1{{\ttfamily\char`\<}\meta{#1}{\ttfamily\char`\>}} +\let\pf\textsf +\newcolumntype{d}{c|l} +\newcolumntype{e}{c|c|c|c} +\RecordChanges +\CodelineIndex +\newcounter{FAQ} +\def\question{% + \stepcounter{FAQ}% + \parskip4pt plus 2pt minus 1pt + \itemsep4pt plus 2pt minus 1pt + \parsep4pt plus 2pt minus 1pt + \item[\textbf{Q\arabic{FAQ}}]% +} +\def\answer{% + \parskip0pt + \itemsep0pt + \parsep0pt + \item[\ding{42}]%[\textbf{A\arabic{FAQ}}]% +} +\AtBeginDocument{ +\def\reftextfaceafter {% +{\ohorn} trang \reftextvario{\dj\'\ocircumflex{}i di\d{\ecircumflex}n}{k\'\ecircumflex{} ti\'\ecircumflex{}p}}% +\def\reftextfacebefore{% +{\ohorn} trang \reftextvario{\dj{}\'\ocircumflex{}i di\d{\ecircumflex}n}{k\'\ecircumflex{} tr\uhorn\'\ohorn{}c}}% +\def\reftextafter{trang \reftextvario{li\`\ecircumflex{}n sau}{sau}}% +\def\reftextbefore{trang \reftextvario{li\`\ecircumflex{}n tr\uhorn\'\ohorn{}c}{tr\uhorn\'\ohorn{}c}}% +\def\reftextcurrent{trang \reftextvario{n\`ay}{hi\d{\ecircumflex}n t\d{a}i}}% +\def\reftextfaraway#1{trang~\pageref{#1}}% +\def\reftextpagerange#1#2{c\'ac trang \pageref{#1}--\pageref{#2}}% +\def\reftextlabelrange#1#2{\ref{#1} \dj\'\ecircumflex{}n \ref{#2}}% +} +\makeatletter +%<code>sty +\def\index@prologue{% +\section*{Index}% +\addcontentsline{toc}{section}{Index} +\markboth{Index}{Index}% +} +\makeatother + +\endinput +%% +%% End of file `pdpream.ble'. diff --git a/Master/texmf-dist/doc/latex/ntheorem-vn/src/thanks.tex b/Master/texmf-dist/doc/latex/ntheorem-vn/src/thanks.tex new file mode 100644 index 00000000000..eca71011e31 --- /dev/null +++ b/Master/texmf-dist/doc/latex/ntheorem-vn/src/thanks.tex @@ -0,0 +1,19 @@ +\section{Acknowledgements} + +This place is dedicated to all those, who helped us developing +our separate styles and this combined package. Thanks to +(listed in alphabetical order): +\begin{quote} + Donald Arseneau, + Giovanni Dore, + Oliver Karch, + Frank Mittelbach, + Gerd Neugebauer, + Heiko Oberdiek, + Boris Piwinger, + Bernd Raichle, + Rainer Sch\"opf, + Didier Verna. +\end{quote} + +\endinput diff --git a/Master/texmf-dist/doc/latex/ntheorem-vn/src/title-abstract.tex b/Master/texmf-dist/doc/latex/ntheorem-vn/src/title-abstract.tex new file mode 100644 index 00000000000..8a4bd050143 --- /dev/null +++ b/Master/texmf-dist/doc/latex/ntheorem-vn/src/title-abstract.tex @@ -0,0 +1,86 @@ +\def\thanks#1{ $\langle$#1$\rangle$} + +\font\ftitle=vnrsc1728 +\font\fsign=vnrsc1200 + +\title{%An Extension of the \LaTeX-Theorem Evironment% + %\thanks{This + % file has version number \fileversion{}, last revised \filedate.} + \ftitle Mở rộng môi trường định lý% của \LaTeX{} + \vskip5mm +} +\author{% + \fsign + Wolfgang May\thanks{\url{may@informatik.uni-freiburg.de}} + \\[2mm] + \fsign Andreas Schlechte\thanks{\url{ntheorem@andreas-schlechte.de}}\\[3mm] + \emph{\fsign \underline{Biên dịch:}} \fsign kyanh\thanks{\url{kyanh@o2.pl}}% +} +\date{% + \vskip5mm + Bản dịch số \textbf{\the\buildnum} (\the\year/\the\month/\the\day)\\[2mm] + \fcolorbox{black}{red!20}{cho \textbf{ntheorem} bản \textbf{1.24} (2004/09/20)}} +\maketitle + +% ===================================================================== + +\begin{abstract} +%\noindent +%% |ntheorem.sty| is a package for handling theorem-like environments. +%% Aditionally to several features for defining the layout of +%% theorem-like environments which can be regarded to be standard +%% requirements for a theorem-package, it provides solutions for +%% two related problems: placement of endmarks and generation of +%% lists of theorem-like environments. +|ntherem.sty| là gói thể hiện các môi trường (tựa) định lý. +Bên cạnh các tính năng giúp thay đổi cách thể hiện môi trường (tựa) định lý, +gói còn giúp giải quyết vài vấn đề liên quan: đặt dấu kết thúc (|endmarks|), +tạo bảng liệt kê các định lý. + +%% In contrast to former approaches, it solves the problem of +%% setting endmarks of theorem-like environments (theorems, +%% definitions, examples, and proofs) \emph{automatically} at the +%% right positions, even if the environment ends with a |displaymath| +%% or (even nested) list environments, it also copes with the +%% |amsmath| package. +%% This is done in the same manner as the handling of labels by +%% using the |.aux| file. +\medskip +Trái với các cách tiếp cận trước đây, gói giải quyết vấn đề đặt dấu +kết thúc (|endmarks|) cho các môi trường tựa định lý (|theorem|, +|definition|, |example|, |proof|) một cách tự động, chính xác, ngay cả +đối với môi trường kết thúc bởi môi trường |displaymath| hoặc môi trường +danh sách (thậm chí các môi trường này có thể lồng nhau -- |nested|); +nhờ đó giải quyết được hoàn toàn các trục trặc khi dùng gói |amsmath|. +Nguyên lý làm việc của gói giống như cách \LaTeX{} điều khiển việc +đặt nhãn, bằng cách sử dụng các tập tin |.aux|. + +%% It also introduces the generation of lists of theorem-like +%% environments in the same manner as |listoffigures|. Additionally, +%% more comfortable referencing is supported. +\medskip +Gói cung cấp lệnh để tạo danh sách các môi trường tựa định lý, +tương tự như khi liệt kê các hình vẽ bằng |\listoffigures|. +% Ngoài ra, gói hỗ trợ + +%% After running \LaTeX\ several times (depending on the complexity +%% of references, in general, three runs are sufficient), the endmarks +%% are set correctly, and theoremlists are generated. +\medskip +Sau khi biên dịch tài liệu vài lần (số lần tuỳ thuộc vào sự phức tạp +của các tham khảo chéo; thường thì ba lần là đủ), các dấu kết thúc (|endmarks|) +sẽ được đặt đúng chỗ, và danh sách các định lý sẽ được tạo ra. + +%% Since |ntheorem.sty| uses the standard \LaTeX\ |\newtheorem| +%% command, existing documents can be switched to +%% |ntheorem.sty| without having to change the |.tex| file. +%% Also, it is compatible with \LaTeX\ files using |theorem.sty| +%% written by Frank Mittelbach. +\medskip +Do gói |ntheorem.sty| sử dụng lệnh |\newtheorem| của \LaTeX{} chuẩn, +các tài liệu cũ có thể chuyển qua dùng gói mà không cần thay đổi nội +dung. Ngoài ra, gói còn tương thích với các tài liệu dùng gói |theorem.sty| +của Frank Mitterbach. +\end{abstract} + +\endinput diff --git a/Master/texmf-dist/doc/latex/ntheorem-vn/src/user-interface.tex b/Master/texmf-dist/doc/latex/ntheorem-vn/src/user-interface.tex new file mode 100644 index 00000000000..c92c8c685c1 --- /dev/null +++ b/Master/texmf-dist/doc/latex/ntheorem-vn/src/user-interface.tex @@ -0,0 +1,900 @@ +%\section{The User-Interface} +\section{\texorpdfstring{Sử dụng gói}{Su dung goi}} + +% ===================================================================== + +%\subsection{How to include the package} +\subsection{\texorpdfstring{Nạp gói}{Nap goi}} + +%The package |ntheorem.sty| is included by +Gói |ntheorem.sty| có thể nạp như sau +\begin{command} + \usepackage[`\meta{options}']{ntheorem} +\end{command} +%% where the optional parameter \meta{options} selects predefined +%% configurations and special requirements. +với \meta{options} là danh sách các tuỳ chọn và các yêu cầu đặc biệt. + +%% The following \meta{options} are available by now, concerning three +%% independent issues: +\medskip +Các tuỳ chọn được cho nhờ \meta{options} như sau: % liên quan đến ba vấn đề độc lập: +\begin{description} +%% \item[Predefining environments:] (see Section~\ref{sec:standard}) +%% With [standard] and [noconfig], it can be chosen, if and what +%% file is used for activating a (user-defined) standard set of +%% theorem environments. +\item\DescribeOptions{standard,noconfig}\option{standard} \option{noconfig}\\ + xem Mục~\vref{sec:standard} và Mục~\vref{sec:private.thm}. + Với một trong hai tùy chọn |standard| và |noconfig|, + bạn có thể lựa chọn việc sử dụng hoặc không tập hợp + các môi trường |THM| đã được định nghĩa sẵn. +%% Mặc định là tùy chọn |noconfig|. +%% \item[Compatibility with amsthm:] option [amsthm] provides +%% compatibility with the theorem-layout +%% commands of the |amsthm|-package (see Section~\ref{sec:amslatex}). +\item\DescribeOption{amsthm}\option{amsthm}\\ + tùy chọn |amsthm| khi được dùng sẽ bảo đảm tính tương thích với các môi trường + |THM| cung cấp bởi gói |amsthm|. Xem Mục~\vref{sec:amslatex}. +%\item[Activation of endmarks:] +\item\DescribeOption{thmmarks}\option{thmmarks}\\ +%% [thmmarks] enables the automatical placement of endmarks +%% (see \ref{sec:general}); when using the |amsmath|-package, +%% [thmmarks] must be complemented by [amsmath] +%% (see Section~\ref{sec:amslatex}). + tuỳ chọn |thmmarks| đồng ý để gói |ntheorem.sty| tự động đặt dấu kết thúc + (|endmarks|) (xem Mục~\ref{sec:general}); khi dùng với gói |amsthm|, + tùy chọn |thmmarks| phải được dùng kèm với tuỳ chọn |amsmath|. + Xem thêm ở Mục~\ref{sec:amslatex}. +%% \item[Activation of extended reference features:] +%% [thref] enables the extended reference features +%% (see Section~\ref{sec-ExtRef}); when using the |amsmath|-package, +%% [thref] must be complemented by [amsmath] +%% (see Section~\ref{sec:amslatex}). +\item\DescribeOption{thref}\option{thmref}\\ + tuỳ chọn |thref| cho phép mở rộng khả năng tham khảo chéo. Xem Mục~\vref{sec-ExtRef}; + khi dùng với gói |amsthm|, tuỳ chọn này phải đi kèm với tuỳ chọn |amsmath|. + Xem thêm ở Mục~\ref{sec:amslatex}. +%% \item[Compatibility with hyperref:] option [hyperref] provides +%% compability with the |hyperref|-package +%% (see section~\ref{sec:hyperref}). +\item\DescribeOption{hyperref}\option{hyperref}\\ + tuỳ chọn |hyperref| bảo đảm tương thích với gói |hyperref|. + Xem Mục~\vref{sec:hyperref}. +\end{description} + +Dưới đây là một ví dụ: +\begin{example} + \usepackage{hyperref} + \usepackage[hyperref,thmmarks,noconfig]{ntheorem} +\end{example} +Với cách nạp gói như trên, bạn sẽ phải tự định nghĩa các môi trường |THM|, +các dấu kết thúc sẽ được định vị tự động. Vì ta dùng gói |hyperref|, +ta phải bảo đảm tính tương thích nhờ tuỳ chọn |hyperref|. + +% ===================================================================== + +%\subsection{Defining New Theorem Sets} +\subsection{\texorpdfstring{Định nghĩa THM mới}{Dinh nghia THM moi}} + +\DescribeMacro{\newtheorem}\macro{newtheorem}\\ +%% The syntax and semantics is exactly the same as in standard +%% \LaTeX{}: the command |\newtheorem| defines a new ``theorem set'' +%% or ``theorem-like structure''. +%% Two required arguments name the new environment set and give the +%% text to be typeset with each instance of the new ``set'', while +%% an optional argument determines how the ``set'' is enumerated: +Cú pháp của lệnh hoàn toàn giống như của lệnh chuẩn |\newtheorem|. +Lệnh sẽ định nghĩa một |THM| mới. Có hai tham số bắt buộc là tên +của môi trường và tên của |THM|. Tham số bổ sung chỉ ra cách đánh số +môi trường. +\begin{description} + \item\exmacro{newtheorem\{vidu\}\{Ví dụ\}}\\ +%% The theorem set {\envfont foo} (whose name is \texttt{bar}) +%% uses its own counter. + Định nghĩa môi trường |vidu|, với tên là |Ví dụ| + (như vậy, bạn sẽ có |Ví dụ 1|, |Ví dụ 2|, \ldots). Môi trường + này sử dụng bộ đếm riêng |vidu|, và bạn có thể thay đổi giá trị + giá trị bộ đếm này, chẳng hạn |\setcounter{vidu}0|. + \item\exmacro{newtheorem\{vidu2\}{[vidu]}\{Ví dụ khác\}}\\ +%% The theorem set {\envfont foo2} (printed name \texttt{bar2}) +%% uses the same counter as the theorem set \texttt{foo}. + Định nghĩa môi trường |vidu2|, với tên là |Ví dụ khác|. + Môi trường này sẽ sử dụng cùng bộ đếm của môi trường |vidu| + trong ví dụ trước. + \item\exmacro{newtheorem\{baitap\}\{Bài tập\}{[section]}}\\ +%% The theorem set {\envfont foo3} (printed name \texttt{bar}) is +%% enumerated within the counter \texttt{section}, i.e.\ with every +%% new |\section| the enumeration begins again with 1, and +%% the enumeration is composed from the section-number and the +%% theorem counter itself. + Định nghĩa môi trường |baitap| (với tên là |Bài tập|), sử + dụng bộ đếm thay đổi theo mục (|section|). Nếu bạn đang ở Mục số 5 chẳng hạn, + bạn sẽ có |Bài tập 5.1|, |Bài tập 5.2|, \ldots Mỗi khi chuyển qua mục mới, + bộ đếm sẽ được đặt về không, nghĩa là bạn sẽ có |Bài tập 6.1|, |Bài tập 6.2|, \ldots, + |Bài tập 7.1|, |Bài tập 7.2|, \ldots +\end{description} + +%% For every environment \meta{name}\ defined by |\newtheorem|, +%% \emph{two} enviroments \meta{name} and \meta{name|*|}\ are defined. +%% In the main document, they have exactly the same effect, but +%% the latter causes no entry in the respective list of theorems +%% (cf.\ |\section| and |\section*|), see also Section +Khi gọi lệnh |\newtheorem| để tạo môi trường \meta{name}, thực ra sẽ có hai môi +trường được tạo ra, là \meta{name} và \meta{name|*|}. Điểm khác biệt duy nhất +giữa hai môi trường này, cũng giống như sự khác biệt duy nhất giữa hai lệnh +|\section| và |\section*|, là môi trường \meta{name|*|} sẽ không đưa |THM| +vào trong danh sách liệt kê các |THM|. Trong các ví dụ ở trên, bạn sẽ có chẳng hạn +hai môi trường |baitap| và |baitap*|. Xem thêm Mục~\vref{sec:thmlists}. + +\medskip +\DescribeMacro\renewtheorem\macro{renewtheorem}\\ +%% +%% Theorem sets can be redefined by |\renewtheorem|, with the same arguments +%% as explained for |\newtheorem|. When redefining a theorem set, the +%% counter is not re-initialized. +Định nghĩa lại môi trường đã có. Cách dùng tương tự như của |\newtheorem|. +Bộ đếm sẽ được khởi tạo lại. + +% ===================================================================== + +%% \subsection{Defining the Layout of Theorem Sets} +\subsection{\texorpdfstring{Thay đổi kiểu dáng}{Thay doi kieu dang}} + +\label{sec:general} + +%% For theorem-like environments, the user can set parameters +%% by setting several switches and then calling |\newtheorem|. +%% The layout of a theorem set is defined with the values of the switches +%% at the time |\newtheorem| is called. +Với các môi trường tựa định lý, bạn có thể thay đổi vài tham số (tuỳ chọn) trước +khi gọi lệnh |\newtheorem| để tinh chỉnh cách thể hiện môi trường +như ý bạn; các cài đặt nhờ tham số đó sẽ có tác dụng mỗi khi bạn +sử dụng môi trường. + +% ===================================================================== + +%% \subsubsection{Common Parameters for all Theorem Sets} +\subsubsection{\texorpdfstring{Các tham số chung}{Cac tham so chung}} + +\DescribeMacro\theorempreskipamount +\DescribeMacro\theorempostskipamount +\macro{theorempreskipamount} \macro{theorempreskipamount}\\ +%% These additional parameters affect the vertical space around +%% theorem environments: +%% |\theorempreskipamount| and |\theorempostskipamount| define, +%% respectively, the spacing before and after such an environment. +%% These parameters apply for all theorem sets and can be manipulated +%% with the ordinary length macros. They are rubber lengths, +%% (`\textsf{skips}'), and therefore can contain \texttt{plus} and +%% \texttt{minus} parts. +Các tham số bổ sung này ảnh hưởng đến khoảng cách theo chiều đứng -- +trên (|\theorempreskipamount|) và dưới (|\theorempostskipamount|) môi trường |THM|. +Hai tham số này ảnh hưởng đến mọi môi trường |THM| và có thể điều chỉnh +nhờ các lệnh thông thường điều khiển biến độ dài. Chúng là các chiều dài +dạng |rubber|, vì thế có thể chứa các phần với dấu cộng hoặc trừ. + +%\subsubsection{Parameters for Individual Sets} +\subsubsection{\texorpdfstring{Cho từng THM cụ thể}{Cho tung THM cu the}} + +%% The layout of individual theorem sets can be further determined +%% by switches controlling the appearance of the headers and the +%% header-body-layout: +Cách thể hiện của mỗi |THM| có thể tinh chỉnh nhờ các lệnh điều khiển sau đây. + +\begin{description} +\item +\DescribeMacro\theoremstyle + \exmacro{theoremstyle\{\meta{style}\}}\\ +%% The general structure of the +%% theorem layout is defined via its |\theoremstyle|. |\ntheorem| +%% provides several predefined styles including those of +%% Frank Mittelbach's |theorem.sty| + Xác định kiểu dáng của |THM|. Các kiểu được cung cấp với với |\ntheorem| + bao gồm cả kiểu có trong gói |theorem.sty|. Xem liệt kê các kiểu + ở Mục~\vref{sec:predefdstyles}. +% Additional styles can be defined by |\newtheoremstyle| + Ở Mục~\vref{sec:newtheoremstyle} có nói về cách định nghĩa kiểu mới. +\item +\DescribeMacro\theoremheaderfont + \exmacro{theoremheaderfont\{\meta{fontcmds}\}}\\ + %% The theorem header is set + %%in the font specified by \meta{fontcmds}. + Dùng \meta{fontcmds} để xác định |font| cho phần |header| của |THM| + +%% In contrast to |theorem.sty|, |\theoremheaderfont| can be set +%% individually for each environment type. + Không như |theorem.sty|, lệnh |\theoremheaderfont| cho phép đổi + |font| cho từng kiểu |THM|. +\item +\DescribeMacro\theorembodyfont + \exmacro{theorembodyfont\{\meta{fontcmds}\}}\\ + %The theorem body is set + %%in the font specified by \meta{fontcmds}. + Xác định |font| cho phần thân (nội dung) |THM|. +\item +\DescribeMacro\theoremseparator + \exmacro{theoremseparator\{\meta{sep}\}}\\ +%%\meta{thing} %%separates the +%% header from the body of the theorem-environment. +%% E.g., \meta{thing} can be +%% ``:'' or ``.''. + Dùng \meta{sep} để ngăn cách phần |header| và phần thân của |THM|. + Thường thì \meta{sep} là dấu hai chấm (|:|) hoặc chấm (|.|). +\item +\DescribeMacro\theoremindent +%% |\theoremindent{|\meta{dimen}|}| can be used to indent the theorem wrt.\ +%% the surrounding text. + \exmacro{theoremindent\{\meta{dimen}\}}\\ + dùng để xác định |indent| (khoảng cách so với lề bên trái). + +\DANGER +%% It's a `\textsf(dimen)', so the user shouldn't try to specify a +%% \texttt{plus} or \texttt{minus} part, cause this leads to an error. + Ở đây, \meta{dimen} là kích thước thật sự. Nếu bạn dùng kiểu |rubber| + với các dấu |plus| hoặc |minus| trong phần \meta{dimen}, bạn sẽ gặp lỗi. +\item +\DescribeMacro\theoremnumbering + \exmacro{theoremnumbering\{\meta{style}\}}\\ +%% specifies the appearance of +%% the numbering of the theorem set. Possible \meta{styles} are + Kiểu đánh số cho |THM|. Các giá trị có thể là: + |arabic| (default), |alph|, |Alph|, |roman|, + |Roman|, |greek|, |Greek| và |fnsymbol|. + +%% Clearly, if a theorem-environment uses the counter of another +%% environment type, also the numbering style of that environment +%% is used. + Rõ ràng, nếu môi trường |THM| sử dụng bộ đếm từ môi trường |XYZ| khác, + thì kiểu đánh số của môi trường |THM| sẽ thừa hưởng từ |XYZ|. +\item +\DescribeMacro\theoremsymbol + \exmacro{theoremsymbol\{\meta{thing}\}}\\ +%% This is only active if +%% |ntheorem.sty| is loaded with option |[thmmarks]|. +%% \meta{thing} is set as an endmark at the end of every instance +%% of the environment. +%% If no symbol should appear, say |\theoremsymbol{}|. + Lệnh này chỉ các tác dụng khi gói |ntheorem.sty| được nạp với tuỳ chọn |thmmarks|. + Ở đây, \meta{thing} sẽ được dùng như |endmark|, tức dấu kết thúc cho |THM|. + Nếu không muốn dùng |endmark| cho riêng môi trường |THM| nào, + dùng lệnh |\theoremsymbol{}|. +\end{description} + +%% The flexibility provided by these command should relieve the +%% users from the ugly hacking in |\newtheorem| to fit most of +%% the requirements stated by publishers or supervisors. +Nhờ các lệnh điều khiển trên, bạn có thể linh hoạt tạo ra các |THM| như ý, +mà không phải nhọc công và phải quan tâm nhiều đến yếu tố kỹ thuật. + +\medskip +\DescribeMacro\theoremclass\exmacro{theoremclass\{\meta{theorem-type}\}}\\ +With the command |\theoremclass{|\meta{theorem-type}|}| +(where \meta{theorem-type} must be an already defined theorem type), +these parameters can be set to the values which were used when +|\newtheorem| was called for \meta{theorem-type}. +%% Với lệnh này, \meta{theomrem-type} là kiểu |THM| đã được định nghĩa. +%% Với cách gọi này, các thiết lập về kiểu dáng ????????? + +%% With |\theoremclass{LaTeX}|, the standard \LaTeX\ layout can be +%% chosen. +Với |\theoremclass{LaTeX}|, kiểu dáng chuẩn của \LaTeX{} cho các |THM| +sẽ được dùng. + +%\subsubsection{Font Selection} +\subsubsection{\texorpdfstring{Lựa chọn font}{Lua chon font}} + +%% From the document structuring point of view, theorem environments +%% are regarded as special parts inside a document. Furthermore, +%% the theorem header is only a distinguished part of a theorem +%% environment. +Xét về mặt cấu trúc, mỗi |THM| là một phần đặc biệt +của tài liệu, trong đó, phần |header| được thiết kế để dễ dàng +phân biệt với phần còn lại của môi trường. +%% Thus, |\theoremheaderfont| inherits characteristics of +%% |\theorembodyfont| which also inherits in characteristics of +%% the font of the surrounding environment. +%% Thus, if for example |\theorembodyfont| is |\itshape| and +%% |\theoremheaderfont| is |\bfseries| the font selected for the +%% header will have the characteristics `bold extended italic'. +%% If this is not desired, the corresponding property has to be +%% explicitly overwritten in |\theoremheaderfont|, e.g. +%% by |\theoremheaderfont{\normalfont\bfseries}| +Vì vậy, lệnh |\theoremheaderfont| thừa hưởng các đặc trưng của |\theorembodyfont|, +và đến lượt mình, |\theorembodyfont| thừa hưởng các thuộc tính của phần +tài liệu bên ngoài |THM| đang xét. + +\medskip +Ví dụ: +nếu |\theorembodyfont| là |\itshape| và |\theoremheaderfont| là |\bfseries|, +thì phần |header| thực tế có kiểu \textbf{\textit{đậm và nghiêng}}. + +\medskip +Nếu điều này làm bạn không vừa ý, cụ thể là bạn muốn phần |header| +chỉ được in đậm, có thể làm như sau: +\begin{example} + \theoremheaderfont{\normalfont\bfseries} +\end{example} + + +%% \subsubsection{Predefined theorem styles} +\subsubsection{\texorpdfstring{Các kiểu đã định nghĩa}{Cac kieu da dinh nghia}} + +\label{sec:predefdstyles} + +%% The following theorem styles are predefined, covering those +%% from |theorem.sty|: +Các kiểu dáng định lý sau đã có sẵn (như trong gói |theorem.sty|): +\begin{deflist}{nonumberbreak:} + \item[plain] +%% This theorem style emulates the original \LaTeX{} definition, +%% except that additionally the parameters +%% |\theorem...skipamount| are used. + Như kiểu dáng của \LaTeX{} chuẩn, + ngoại trừ tham số bổ sung |\theorem...skipamount| được dùng. + \item[break] +%% In this style, the theorem header is followed by a line break. + Phần |header| ngăn cách với phần thân |THM| bởi dòng mới\footnote{thực ra là một dấu ngắt dòng}. + \item[change] +%% Header number and text are interchanged, without a line break. + Chỉ số và tên |THM| hoán đổi vị trí. Tuy nhiên, phần + |header| sẽ theo sau ngay bởi phần thân |THM| (so sánh với kiểu + \item[changebreak] +%% Like \texttt{change}, but with a line break after the header. + Là sự kết hợp hai kiểu |change| và |break|. + \item[margin] +%% The number is set in the left margin, without a line break. + Chỉ số được bố trí ở lề trái, không ngắt dòng sau phần |header|. + \item[marginbreak] +%% Like \texttt{margin}, but with a line break after the header. + Như |margin|, nhưng ngắt dòng sau phần |header|. + \item[nonumberplain] +%% Like \texttt{plain}, without number (e.g.\ for proofs). + Như |plain|, nhưng không đánh số (dùng cho chứng minh,\ldots) + \item[nonumberbreak] +%% Like \texttt{break}, without number. + Tổ hợp |break| và |nonumberplain|. + \item[empty] +%% No number, no name. Only the optional argument is typeset. + Phần |header| chỉ gồm tên riêng (nếu có), còn chỉ số và tên của + |THM| được bỏ qua. +\end{deflist} + +%\subsubsection{Default Setting} +\subsubsection{\texorpdfstring{Thiết lập mặc định}{Thiet lap mac dinh}} + +%% If no option is given, i.e.\ |ntheorem.sty| is loaded by +%% |\usepackage{ntheorem.sty}|, the following default is set up: +Khi không có tùy chọn nào được chỉ ra, nghĩa là gói |ntheorem.sty| +được nạp đơn giản nhờ |\usepackage{ntheorem}|, các thiết lập sau +sẽ được dùng: +\begin{example} + \theoremstyle{plain} + \theoremheaderfont{\normalfont\bfseries} + \theorembodyfont{\itshape} + \theoremseparator{} + \theoremindent0cm + \theoremnumbering{arabic} + \theoremsymbol{} +\end{example} +%% Thus, by only saying |\newtheorem{...}{...}|, the user gets +%% the same layout as in standard \LaTeX. +Vì vậy, bằng cách dùng |\newtheorem{...}{...}|, bạn thu được +cách thể hiện giống hệt trong \LaTeX{} chuẩn. + +%% \subsubsection{A Standard Set of Theorems} +\subsubsection{\texorpdfstring{Các THM chuẩn}{Cac THM chuan}} +\label{sec:standard} + +%% A standard configuration of theorem sets is provided within +%% the file |ntheorem.std|, which will be included by the option +%% |[standard]|. It uses the |amssymb| and |latexsym| (automatically +%% loaded) packages and defines the following sets: +Các |THM| chuẩn (được định nghĩa sẵn) có trong tập tin |ntheorem.std|, +được nạp nhờ tùy chọn |standard| của gói. Khi dùng tuỳ chọn này, +các gói phụ thuộc |amssymb| và |latexsymb| được nạp tự động. +Danh sách các |THM| như sau đây, là các |THM| hay dùng nhất +trong các tài liệu tiếng Anh và tiếng Đức: +\begin{nlist}{Definitions:} + \item[Theorems:] |Theorem|, |Lemma|, |Proposition|, + |Corollary|, |Satz|, |Korollar|, + \item[Definitions:] |Definition|, + \item[Examples:] |Example|, |Beispiel|, + \item[Remarks:] |Anmerkung|, |Bemerkung|, |Remark|, + \item[Proofs:] |Proof| and |Beweis|. +\end{nlist} +%% These theorem sets seem to be the most frequently used environments +%% in english and german +%% documents. + +%% The layout is defined to be theoremstyle |plain|, bodyfont |\itshape|, +%% Headerfont |\bfseries|, and endmark (theoremsymbol) +%% |\ensuremath{_\Box}| for all theorem-like environments\footnote{Note, +%% that mathmode is ensured for the symbol.}. +Với các |THM| thuộc họ `|Theorems|', kiểu |THM| đưọc dùng là |plain|, +với |font| của phần thân |THM| là |\itshape|, của phần |header| +là |\bfseries|, dấu kết thúc môi trường là |\ensuremath{_\Box}|. +%% For the definition-, remark- and example-like sets, +%% the above setting is used, except bodyfont |\upshape|. + +Với họ `|Definitions|', `|Remarks|' và `|Examples|', các thiết lập cũng +tương tự, ngoại trừ phần |body| có |font| là |\upshape|. +%% The proof-like sets are handled a bit differently. There, the layout +%% is defined as theoremstyle |nonumberplain|, bodyfont |\upshape|, +%% headerfont |\scshape| and endmark |\ensuremath{_\blacksquare}|. + +\medskip +Riêng họ `|Proofs|' thì có vài điểm khác biệt nhỏ: họ này sử dụng +kiểu |nonumberplain|, |font| cho phần thân là |\upshape|, +cho phần |header| là |\scshape|, còn dấu kết thúc là |\ensuremath{_\blacksquare}|. + +\medskip +Để biết thêm chi tiết, bạn có thể đọc trực tiếp mã nguồn +các định nghĩa trong tập tin |ntheorem.std|. +%% For a more detailed information look at +%% |ntheorem.std| or at the code-section. + +%% \subsubsection{Customization and Local Settings} +\subsubsection{\texorpdfstring{THM chuẩn cá nhân}{THM chuan ca nhan}} +\label{sec:private.thm} + +%% Since the user should not change |ntheorem.std|, +%% we've added the possibility to use an own configuration-file. +%% If one places the file |ntheorem.cfg| in the path searched by +%% \TeX, this file is read automatically (if |[standard]| +%% is not given). The usage of |ntheorem.cfg| can be prevented by the +%% |[noconfig]| option. Thus, just +%% a copy of |ntheorem.std| to |ntheorem.cfg| must be made +%% which then can freely be modified by the user. Note, that if a +%% configuration-file exists, this will always be used (I.e.\ with +%% option |standard| and an existing configuration-file, the |.cfg| +%% file will be used and the |.std| file won't. +Rõ ràng, mỗi người dùng có thể muốn có riêng mình các |THM| +chuẩn, tương tự như các |THM| được cung cấp trong |ntheorem.std|. +Tuy nhiên, không nên thay đổi tập tin |ntheorem.std|. +Có cách khác, hay hơn, là dùng tập tin |ntheorem.cfg|. +Nội dung của |ntheorem.cfg| cũng tương tự như |ntheorem.std|, +nơi đặt định nghĩa các môi trường |THM| hay dùng nhất (chuẩn) +của người dùng. + +\medskip +Nơi để tập tin |ntheorem.cfg| là bất kỳ đâu mà \TeX{} có thể tìm +thấy. Điều đáng lưu ý là, tập tin này được nạp tự động, +trừ khi bạn chỉ ra tuỳ chọn |noconfig| khi nạp gói |ntheorem|; +và khi tập tin |ntheorem.cfg| được dùng, thì tập tin |ntheorem.std| +sẽ bị bỏ qua, kể cả khi bạn dùng tùy chọn |standard| cho gói. + +%\subsection{Generating Theoremlists} +\subsection{\texorpdfstring{Danh sách THM}{Danh sach THM}} +\label{sec:thmlists} + +\DescribeMacro\listtheorems +%% Similar to the \LaTeX\ command |\listoffigures|, +%% any theorem set defined with a |\newtheorem| statement +%% may be listed at any place in your document by +Tương tự, như lệnh \LaTeX{} chuẩn |\listoffigures|, +danh sách các |THM| được định nghĩa với |\newtheorem| +có thể được liệt kê nhờ lệnh |\listtheorems|: +\begin{command} + \listtheorems{`\meta{list}'} +\end{command} +%% The argument \meta{list} is a comma-separated list +%% of the theorem sets to be listed. +%% For a theorem set \meta{name}, only the instances are listed +%% which are instantiated by |\begin{|\meta{name}|}|. Those +%% instantiated by |\begin{|\meta{name}|*}| are omitted +%% (cf.\ |\section| and |\section*|). +Đối số của lệnh là \meta{list}, danh sách các |THM| cần +được liệt kê, trong đó các |THM| cách nhau bởi dấu phảy: +%% For example, +%% |\listtheorems{Corollary,Lemma}| +\begin{example} + \listheorems{theorem,thm,dinhly} +\end{example} +%% leads to a list of all instances of one of the theorem sets +%% ``Corollary'' or ``Lemma''. +Trong ví dụ trên, các |THM| sẽ được liệt kê gồm |theorem|, |thm|, +|dinhly| --- ở đây, |theorem|, |thm| và |dinhly| tương ứng +với các môi trường |\begin{theorem}...|, |\begin{thm}...|, +|\begin{dinhly}...| --- là các (môi trường) |THM| được tạo nhờ |\newtheorem|. +Để ý rằng, các |THM| sao, ví dụ |\begin{dinhly*}...|, sẽ không +có trong danh sách trên. Điều này cũng tương tự như +các xử lý của |\section| và |\section*| trong lệnh |\tableofcontents|. + +%% Note, that the set name given to the command is the first +%% argument which is specified by |\newtheorem| which is also +%% the one to be used in |\begin{theorem} ... \end{theorem}|. + +%% If |\listtheorems| is called for a set name which is not defined +%% via |\newtheorem|, the user is informed that a list is generated, +%% but there will be no typeset output at all. +\medskip +Nếu trong trong danh sách \meta{list} có |THM| nào đó chưa được định +nghĩa (có thể do bạn gõ sai chính tả), danh sách |THM| vẫn được tạo ra, +nhưng có thể trong kết quả xuất bạn không thấy gì cả! Gói sẽ cảnh +báo bạn điều này. + +%% \subsubsection{Defining the List Layout} +\subsubsection{\texorpdfstring{Thay đổi kiểu danh sách THM}{Thay doi kieu danh sach THM}} + +\DescribeMacro\theoremlisttype +%% Theoremlists can be formatted in different ways. Analogous to +%% theorem layout, there are several predefined types which can be +%% selected by +Danh sách các |THM| có thể thay đổi cách thể hiện. +Điều này có thể làm được nhờ chọn kiểu cho danh sách: +\begin{command} + \theoremlisttype{`\meta{type}'} +\end{command} +%% The following four \meta{type}s are available (for examples, the +%% user is referred to section \ref{sec:examples}). +Các giá trị có thể của \meta{type} như sau đây. Bạn có thể +xem thêm ở Mục~\vref{sec:examples} về ví dụ: +\begin{deflist}{allname} + \item[all] +%% List any theorem of the specified set by number, +%% (optional) name and pagenumber. This one is also the +%% default value. + Liệt kê các |THM| với các thông tin gồm chỉ số |THM|, + tên riêng (nếu có) của |THM| và số trang. Đây là kiểu mặc định. + \item[allname] +%% Like |all|, additionally with leading theoremname. + Tương tự |all|, nhưng có kèm theo tên |THM|. + \item[opt] +%% Analogous to |all|, but only the theorems which have an +%% optional name are listed. + Tương tự |all|, nhưng chỉ các |THM| có tên riêng mới được liệt kê. + \item[optname] +%% Like |opt|, with leading theoremname. + Tương tự |opt|, nhưng kèm theo tên |THM|. +\end{deflist} + +%% \subsubsection{Writing Extra Stuff to Theorem File} +\subsubsection{\texorpdfstring{Ghi thông tin vào danh sách THM}{Ghi thong tin vao danh sach THM}} + +%% Similar to |\addcontentsline| and |\addtocontents|, +%% additional entries to theoremlists are supported. +%% Since entries to theoremlists are a bit more intricate than +%% entries to the lists maintained by standard \LaTeX\, +%% |\addcontentsline| and |\addtocontents| cannot be used in a +%% straightforward way\footnote{for a theorem, its number has +%% to be stored explicitly since different theorem sets can use +%% the same counter. Also, it is optional to reset the counter for +%% each section.}. +Tương tự hai lệnh |\addcontentsline| và |\addtocontents|, +bạn có thể ghi thêm các thông tin bổ sung vào danh sách |THM|.% +\footnote{% + Không thể dùng lệnh \texttt{\bslash addcontentsline} và \texttt{\bslash addtocontents} + một cách trực tiếp để ghi thông tin vào tập tin \texttt{.thm}, + lý do là, so với các phần tử của bảng Mục lục, phần tử của danh sách \texttt{THM} + phức tạp hơn nhiều.% +} + +\medskip +\DescribeMacro\addtheoremline +%% Analogous to |\addcontentsline|, an extra entry for a theorem +%% list can be made by +Tương tự lệnh |\addtocontentsline|: +\begin{command} + \addtheoremline{`\meta{name}'}{`\meta{text}'} +\end{command} +%% where \meta{name} is the name of a valid theorem set and \meta{text} +%% is the text, which should appear in the list. For example, +với \meta{name} là |THM| (đã được định nghĩa) và \meta{text} +là phần nội dung bạn muốn sẽ xuất hiện trong danh sách. Ví dụ +\begin{example} + \addtheoremline{Example}{Extra Entry with number} +\end{example} + \addtheoremline{Example}{Extra Entry with number} +%% generates an entry with the following characteristics: +sẽ sinh ra trong danh sách |THM| một phần tử với các thông tin sau: +\begin{itemize} +%% \item The Label of the theorem ``Example'' is used. +%% \item The current value of the counter for ``Example'' is used +%% \item The current pagenumber is used. +%% \item The specified text is the optional text for the theorem. +\item Nhãn của môi trường ``Example'', +\item Chỉ số hiện tại của ``Example'', +\item Số trang nơi lệnh trên xuất hiện +\item Đoạn |Extra Entry with number| như là tên riêng của |THM|. +\end{itemize} +%% Thus, the above command has the same effect as it would be for +Và như thế, kết quả ở trên giống hệt như khi bạn dùng +\begin{example} + \begin{Example}[Extra Entry with number] + ... + \end{Example} +\end{example} +%% except, that there would be no output of the theorem, and the counter +%% isn't advanced. +ngoại trừ rằng không có nội dung nào của |THM| xuất hiện, và chỉ số +|THM| vẫn giữ nguyên, không tăng. + +\medskip +\DescribeMacro{\addtheoremline*} +%% Alternatively you can use +Bạn cũng có thể dùng +\begin{command} + \addtheoremline*{Example}{Extra Entry} +\end{command} + \addtheoremline*{Example}{Extra Entry} +%% which is the same as above, except that the entry appears without +%% number. +với kết quả tương tự khi dùng |\addtheoremline|, nhưng +thông tin xuất hiện trong danh sách |THM| sẽ không có chỉ số |THM|. + +\medskip +\DescribeMacro\addtotheoremfile +%% Sometimes, e.g.\ for long lists, special control sequences +%% (e.g.\ a pagebreak) or additional text should be inserted into a +%% list. This is done by +Có vài trường hợp, ví dụ khi danh sách |THM| quá dài, bạn có thể +muốn thêm vài lệnh điều khiển, hoặc nội dung nào đó vào danh sách. +Điều này có thể đạt được nhờ +\begin{command} + \addtotheoremfile[`\meta{name}']{`\meta{text}'} +\end{command} +%% where \meta{name} is the name of a theorem set and +%% \meta{text} is the text to be written into the theorem file. +%% If the optional argument \meta{name} is omitted, the given +%% text is inserted in every list, otherwise it is only inserted +%% for the given theorem set. +với \meta{name} là |THM| nào đó, \meta{text} là mã lệnh hay đoạn văn,\ldots +bạn muốn thêm vào danh sách |THM| \meta{name}. +Tham số \meta{name} có thể bỏ qua, và khi đó, +\meta{text} sẽ được chèn vào mọi danh sách. + +%% \subsection{For Experts: Defining Layout Styles} +\subsection{\texorpdfstring{Định nghĩa kiểu (danh sách) THM}{Dinh nghia kieu (danh sach) THM}} + +Chỉ đọc phần này nếu bạn có khả năng lập trình với \LaTeX{}. + +%% \subsubsection{Defining New Theorem Layouts} +\subsubsection{\texorpdfstring{Định nghĩa kiểu THM}{Dinh nghia kieu THM}} + +\label{sec:newtheoremstyle} + +\DescribeMacro\newtheoremstyle +%% Additional layout styles for theorems can be defined by +Kiểu |THM| có thể định nghĩa như sau: +\begin{command} + \newtheoremstyle{`\meta{name}'}{`\meta{head}'}{`\meta{opt-head}'} +\end{command} +%% After this, |\theoremstyle{|\meta{name}|}| is a valid +%% |\theoremstyle|. +Sau lệnh trên, kiểu \meta{name} sẽ hợp lệ, và bạn có thể dùng \meta{name} +làm đối só của lệnh |\theoremstyle|. + +\medskip +%% Here, \meta{head} has to be a statement using two arguments, +%% |##1|, containing the keyword, and |##2|, containing the number. +%% \meta{opt-head} has to be a statement using three arguments where +%% the additional argument |##3| contains the optional parameter. +Ở đây, \meta{head} là nhóm các lệnh điều khiển, +phải sử dụng hai tham số, |##1| (chứa từ khóa) và |##2| +(chứa chỉ số). Phần \meta{opt-head} phải dùng tham số thứ ba |##3|, +chứa phần tham số bổ sung. + +%% Since \LaTeX\ implements theorem-like environments by |\trivlist|s, +%% both header declarations must be of the form +%% |\item[... \theorem@headerfont ...]...|, where +%% the dotted parts can be formulated by the user. +%% If there are some statements producing +%% output after the |\item[...]|, you have to care about implicit +%% spaces. +\medskip +Vì \LaTeX{} tạo các |THM| nhờ |\trivlist|, cả hai phần khai báo \meta{head} +và \meta{opt-head} phải có dạng |\item[... \theorem@headerfont ...]...|, ở đó phần |...| +được thiết lập tuỳ ý bởi người dùng. Nếu nhóm lệnh nào đó sinh ra các +nội dung (|output|) đằng sau |\item[...]|, bạn cần cẩn thận với các khoảng trắng. + +\medskip +%% Because of the |@|, if |\newtheoremstyle| is used in a +%% |.tex| file, it has to be put between |\makeatletter| and +%% |\makeatother|. +Nếu phần khai báo có sử dụng tới các lệnh |@|, và nếu |\newtheoremstyle| +sẽ được dùng trong tập tin |.tex|, bạn cần đặt lệnh |@| vào cặp |\makeatletter| +và |\makeatother|. + +\medskip +%% For details, look at the code documentation or the +%% definitions of the predefined theoremstyles. +Để biết thêm chi tiết, bạn xem tài liệu về mã nguồn của |ntheorem.sty|. + +\medskip +\DescribeMacro\renewtheoremstyle +%% Theorem styles can be redefined by |\renewtheoremstyle|, with the +%% same arguments as explained for |\newtheoremstyle|. +Kiểu |THM| có thể định nghĩa lại, nhờ |\renewtheoremstyle|. +Các dùng cũng tương tự như |\newtheoremstyle|. + +%% \subsubsection{Defining New Theorem List Layouts} +\subsubsection{\texorpdfstring{Định nghĩa kiểu danh sách THM}{Dinh nghia kieu danh sach THM}} + +\label{sec:listtypes} + +\DescribeMacro\newtheoremlisttype +%% Analogous, additional layouts for theorem lists can be defined by +Kiểu danh sách |THM| có thể tinh chỉnh nhờ +\begin{command} + \newtheoremlisttype{`\meta{name}'}{`\meta{start}'}{`\meta{line}'}{`\meta{end}'} +\end{command} +%% The first argument, \meta{name}, is the name of the listtype, +%% which can the be used as a valid |\theoremlisttype|. +%% \meta{start} is the sequence of commands to be executed at +%% the very beginning of the list. +%% Corresponding, \meta{end} will be executed at the end of the list. +%% These two are set to do nothing in the standard-types. +%% \meta{line} is the part to be called for every entry of the list. +%% It has to be a statement using four arguments: |##1| will be +%% replaced with the name of the theorem, |##2| with the number, +%% |##3| with the theorem's optional text and |##4| with the pagenumber. +Tham số đầu tiên \meta{name} là tên của kiểu danh sách, sẽ được dùng +cho làm đối số cho lệnh |\theoremlisttype|. Tham số \meta{start} (tương ứng, \meta{end}) +là chuỗi lệnh sẽ được thi hành mỗi khi bắt đầu (tương ứng, kết thúc) danh sách. +(Trong các kiểu chuẩn, cả hai phần này đều rỗng.) +Tham số \meta{line} là chuỗi lệnh được thực thi cho mỗi phần tử của danh sách; +trong chuỗi lệnh này có thể sử dụng bốn tham số: |##1| sẽ đại diện cho +tên |THM|, |##2| cho chỉ số, |##3| cho tên riêng và |##4| cho số trang. + +\medskip +%% +%% WARNING: Self-defined Layouts will break with the |hyperref|-package. +\underline{\textsc{Chú ý:}} Các kiểu do người dùng định nghĩa có thể +đụng độ với gói |hyperref|. +%% + +\medskip +\DescribeMacro\renewtheoremlisttype +%% Theorem list types can be redefined by |\renewtheoremlisttype|, with +%% the same arguments as explained for |\newtheoremlisttype|. +Dùng để định nghĩa lại kiểu đã có. + +%% \subsection{Setting End Marks} +\subsection{\texorpdfstring{Dấu kết thúc}{Dau ket thuc}} + +%% The automatic placement of endmarks is activated by calling +%% |ntheorem.sty| with the option |[thmmarks]|. +%% Since then, the endmarks are set automatically, there are only +%% a few commands for dealing with very special situations. +Các dấu kết thúc sẽ tự động đặt vào cuối thân |THM| khi dùng tuỳ chọn +|thmmarks| cho gói |ntheorem|. Vì sự tự động đó, +một vài lệnh dưới đây dùng để xử lý +các dấu kết thúc trong vài trường hợp rất đặc biệt. + +\medskip +\DescribeMacro\qed +\DescribeMacro\qedsymbol\macro{qed} \macro{qedsymbol}\\ +%% If in a single environment, the user wants to replace the standard +%% endmark by some other, this can be done by saying |\qed|, +%% if |\qedsymbol| has been defined by |\qedsymbol{|\meta{something}|}| +%% (in option standard, |\qedsymbol| is defined to be the symbol +%% used for proofs, since a potential use of this features is to +%% close trivial corollaries without explicitly proving them). +Trong một môi trường đơn lẻ,\footnote{% +Điều này có nghĩa, bạn muốn thay đổi dấu kết thúc cho +một \texttt{THM} cụ thể nào đó mà thôi!} +bạn có thể muốn thay dấu kết thúc chuẩn +bởi dấu khác, theo ý bạn. Khi đó, hãy dùng |\qed|, nếu trước đó bạn +đã định nghĩa dấu kết thúc bằng |\qedsymbol{|\meta{something}|}| +(trong kiểu chuẩn ứng với tùy chọn |standard| của gói, |\qedsymbol| được +định nghĩa là ký hiệu dùng cho môi trường |proof|, các hệ quả đơn giản +không đi kèm với chứng minh tường minh). + +%% Additionally, if in a single environment of a theorem set, that +%% is defined without an endmark, the user wants to set an endmark, +%% this is done with |\qedsymbol| and |\qed| as described above. +%% |\qedsymbol| can be redefined everywhere in the document. +\medskip +Ngoài ra, với một môi trường |THM| đơn lẻ mà khi định nghĩa bạn đã không chỉ +ra dấu kết thúc cho |THM| đó, bạn vẫn có thể đặt dấu kết thúc +nhờ |\qedsymbol| và |\qed| như vừa nói trên. + +\medskip +\DescribeMacro\NoEndMark +\DescribeMacro\TheoremSymbol +\macro{NoEndMark} \macro{TheoremSymbol}\\ +%% On the other hand, if in some situation, the user decides to set +%% the endmark manually (e.g.\ inside a figure or a minipage), the +%% automatic handling can be turned off by |\NoEndMark| for the +%% current environment. +Trong một số trường hợp khác, bạn có thể muốn đặt dấu kết thúc vào vị trí +đúng như bạn chỉ ra, ví dụ bên trong môi trường |figure| hay |minipage|. +Khi đó, tính năng tự động đặt dấu kết thúc cho |THM| hiện tại +có thể tắt nhờ |\NoEndMark|. +%% Then -- assumed that he current environment is of type \meta{name}, +%% the endmark can manually be set by just saying +%% |\|\meta{name}|Symbol|. +Sau khi gọi lệnh đó cho |THM| \meta{name}, bạn có thể đặt dấu kết thúc vào bất kỳ đâu, +bằng cách gọi lệnh |\|\meta{name}|Symbol| --- chẳng hạn |\dinhlySymbol|. +Đối với tài liệu này, việc gọi |\TheoremSymbol| sẽ cho \TheoremSymbol. + +\medskip +%% Note that there must be no empty line in the input before the +%% |\end{theorem}|, since then, the end mark is ignored (cf.\ +%% Theorem~\ref{ex-empty-line} in Section~\ref{sec:examples}). +Chú ý rằng, dòng cuối cùng trước khi kết thúc môi trường |THM|, +ví dụ trước |\end{dinhly}|, không được là dòng trắng; bởi nếu không, +dấu kết thúc sẽ bị bỏ qua. +Xem thêm ví dụ \ref{ex-empty-line} về điều này ở Mục~\vref{sec:examples}. + +%% \subsection{Extended Referencing Features} +\subsection{\texorpdfstring{Tham khảo mở rộng}{Tham khao mo rong}} + +%% The extended referencing features are activated by calling +%% |ntheorem.sty| with the option |[thref]|. +Tính năng tham khảo mở rộng có thể kích hoạt nhờ tuỳ chọn +|thref| khi nạp lớp |ntheorem|. + +\medskip +%% Often, when writing a paper, one changes propositions into +%% theorems, theorems into corollaries, lemmata into remarks +%% an so on. Then, it is necessary to adjust also the references, +%% i.e., from ``|see Proposition~\ref{completeness}|'' to +%% ``|see Theorem~\ref{completeness}|''. For relieving the user +%% from this burden, the type of the respective labeled entities +%% can be associated with the label itself: +Thường thì khi soạn tài liệu, ta có thể thay đổi\footnote{Thay đổi ở đây, +không có nghĩa là thay đổi nội dung, mà là thay đổi về tên gọi.} +từ mệnh đề +sang định lý, từ định lý sang hệ quả, từ bổ đề sang chú ý, +\ldots. Khi sự thay đổi đó xảy ra, các tham khảo chéo cần phải +phải đổi theo. Ví dụ, nếu trước đây bạn dùng +``|xem Mệnh đề~\ref{completeness}|'', thì bây giờ bạn có thể phải đổi +thành ``|xem Bổ đề~\ref{completeness}|''. Rõ ràng, công việc đó +quả là tỉ mỉ! Gói |ntheorem| cung cấp tính năng +tham khảo chéo mở rộng, giúp bạn giải quyết vấn đề này. +Lệnh +\begin{command} + \label{`\meta{label}'}[`\meta{type}'] +\end{command} +%% associates the type \meta{type} with \meta{label}. +sẽ gán kiểu \meta{type} với nhãn \meta{label}. +%% +%% \\ +%% This task is automated for theorem-like environments: +%% \medskip +Việc này được thực hiện tự động với các môi trường |THM|: +\begin{command} + \begin{Theorem}[`\meta{name}']\label{`\meta{label}'} +\end{command} +%% is equivalent to +tương đương với +\begin{command} + \begin{Theorem}[`\meta{name}']\label{`\meta{label}'}[Theorem] +\end{command} + +\medskip +%% The additional information is used by +\DescribeMacro\thref\macro{thref} +\begin{command} + \thref{`\meta{label}'} +\end{command} +Bây giờ, lệnh gọi như trên sẽ sinh ra, chẳng hạn ``Định lý~42''. +Để ý rằng, cần phải biên dịch tài liệu ít nhất hai lần sau khi có +sự thay đổi về nhãn, để các tham khảo chéo được chính xác. +%% which outputs the respective environment-type \emph{and} the number, +%% e.g., ``Theorem~42''. Note that \LaTeX\ has to be run twice after +%% changing labels (similar to getting references OK; in the +%% intermediate run, warnings about undefined reference types can +%% occur). + +%% The |[thref]| option interferes with the |babel| package, thus in +%% this case, |ntheorem| has to be loaded \emph{after} |babel|. It also +%% interferes with |amsmath|; see Section~\ref{sec:amslatex}. +\medskip +Tuỳ chọn |thmref| ảnh hưởng tới gói |babel|, do đó, khi tuỳ chọn này +được dùng, gói |ntheorem| cần phải nạp \underline{sau} gói |babel|. +Tuỳ chọn cũng ảnh hưởng tới gói |amsmath|. Xem Mục~\vref{sec:amslatex}. + + +%% \subsection{Miscellaneous} +\subsection{Linh tinh} + +%% Inside a theorem-like environment \meta{env}, the name given as optional +%% argument is accessible by |\|\meta{env}|name|. +\underline{Bên trong} môi trường |THM| \meta{env}, tên riêng của |THM| +có thể lấy được nhờ |\|\meta{env}|name|. Chẳng hạn |\dinhlyname| +sẽ cho tên riêng của |THM| |dinhly|. + +\endinput diff --git a/Master/texmf-dist/doc/latex/ntheorem-vn/test.pdf b/Master/texmf-dist/doc/latex/ntheorem-vn/test.pdf Binary files differnew file mode 100644 index 00000000000..7ccb3af66bd --- /dev/null +++ b/Master/texmf-dist/doc/latex/ntheorem-vn/test.pdf diff --git a/Master/texmf-dist/doc/latex/ntheorem-vn/test.tex b/Master/texmf-dist/doc/latex/ntheorem-vn/test.tex new file mode 100644 index 00000000000..88f3ef6a67d --- /dev/null +++ b/Master/texmf-dist/doc/latex/ntheorem-vn/test.tex @@ -0,0 +1,90 @@ +\documentclass[12pt]{article} + +% ===================================================================== + +\usepackage[utf8x]{vietnam} + +\usepackage{amsmath} +%\usepackage{varioref} +\usepackage[thref,thmmarks,standard,amsmath,hyperref]{ntheorem} +\usepackage[]{hyperref} + +% ===================================================================== + +\makeatletter +%% \def\thref#1{% +%% \csname r@#1@type\endcsname +%% \expandafter\ifx\csname r@#1@type\endcsname\None +%% \PackageWarning{\basename}{thref: Reference Type of `#1' on page +%% \thepage \space undefined}\G@refundefinedtrue +%% \else\csname r@#1@type\endcsname~\fi% +%% \csname r@#1@type\endcsname +%% %% \expandafter\@setref\csname r@#1\endcsname\@firstoftwo{#1} +%% \ref{#1}} +\makeatother + +% ===================================================================== + +\let\:\overline +\def\cW{\mathrm{W}} + +% ===================================================================== + +\theoremstyle{marginbreak} +\newtheorem{thm}{Định lý} + +\theoremstyle{plain} +\newtheorem{thm2}[thm]{Mệnh đề} + +\theoremstyle{changebreak} +\newtheorem{thm3}[thm]{Định lý} + +% ===================================================================== + +\parindent0pt + +\begin{document} + +\section{Mục đầu tiên} +\label{sec:test} + +\begin{thm}[Ánh xạ Weingarten] +Nếu $k_1$, $k_2$ là các giá trị riêng của ánh xạ Weingarten của $X$, +thì $kk_1$, $kk_2$ là các giá trị riêng của ánh xạ Weingarten của $\:X$. +Đây là \thmname. +\end{thm} + +\begin{thm2}[Ánh xạ Weingarten] +\label{test} +Nếu $k_1$, $k_2$ là các giá trị riêng của ánh xạ Weingarten của $X$, +thì $kk_1$, $kk_2$ là các giá trị riêng của ánh xạ Weingarten của $\:X$. +\end{thm2} + +\begin{Proof} +Thật vậy, nếu $v$ là một véc tơ riêng ứng với giá trị riêng $k_1$ của $\cW$, +thì $\cW(v)=k_1v$. Sử dụng (\ref{eq:W.W}), ta có +$\:\cW(T^{-1}v) = k\cdot T^{-1}(k_1v)=kk_1\cdot T^{-1}v$. +Vì $w=T^{-1}v\not=0$, ta có $w$ là véc tơ riêng của $\cW$ ứng với giá trị riêng $kk_1$. +\end{Proof} + +\section{Mục tiếp theo} + +\begin{thm}[Nhị thức Newtown] +Newtown đã tìm ra được +\begin{equation}\label{eq:W.W} +(a+b)^n=\sum_{k=0}^n{n\choose k}a^{n-k}b^k +\end{equation} +\end{thm} + +\section{Kiểm tra} + +Tham khảo mở rộng: Xem \thref{test} (cho bởi \verb#\thref{test}#) + +\bigskip +Tham khảo thường: Xem \ref{sec:test} (mục), \ref{eq:W.W} (phương trình) + +\bigskip +Danh sách định lý: + +\listtheorems{thm,thm2} +\end{document} |