diff options
Diffstat (limited to 'Master')
-rw-r--r-- | Master/texmf-dist/bibtex/bib/ijmart/ijmart.bib | 7 | ||||
-rw-r--r-- | Master/texmf-dist/doc/latex/ijmart/ijmart.pdf | bin | 275853 -> 290552 bytes | |||
-rw-r--r-- | Master/texmf-dist/doc/latex/ijmart/ijmsample.pdf | bin | 387985 -> 390694 bytes | |||
-rw-r--r-- | Master/texmf-dist/doc/latex/ijmart/ijmsample.tex | 32 | ||||
-rw-r--r-- | Master/texmf-dist/source/latex/ijmart/ijmart.dtx | 145 | ||||
-rw-r--r-- | Master/texmf-dist/tex/latex/ijmart/ijmart.cls | 26 |
6 files changed, 206 insertions, 4 deletions
diff --git a/Master/texmf-dist/bibtex/bib/ijmart/ijmart.bib b/Master/texmf-dist/bibtex/bib/ijmart/ijmart.bib index 4f7274644c8..9d24a24294b 100644 --- a/Master/texmf-dist/bibtex/bib/ijmart/ijmart.bib +++ b/Master/texmf-dist/bibtex/bib/ijmart/ijmart.bib @@ -128,3 +128,10 @@ sldoc.pdf}}, note = {\url{http://www.ctan.org/tex-archive/macros/latex/required/tools/indentfirst.pdf}} } +@Manual{amsthdoc, + title = {Using the \texttt{amsthm} Package}, + organization = {American Mathematical Society}, + month = {August}, + year = 2004, + note = {\url{http://www.ctan.org/tex-archive/macros/latex/required/amslatex/classes/amsthdoc.pdf}} +} diff --git a/Master/texmf-dist/doc/latex/ijmart/ijmart.pdf b/Master/texmf-dist/doc/latex/ijmart/ijmart.pdf Binary files differindex 456be1bb11e..9407fea61d7 100644 --- a/Master/texmf-dist/doc/latex/ijmart/ijmart.pdf +++ b/Master/texmf-dist/doc/latex/ijmart/ijmart.pdf diff --git a/Master/texmf-dist/doc/latex/ijmart/ijmsample.pdf b/Master/texmf-dist/doc/latex/ijmart/ijmsample.pdf Binary files differindex 7c346f4996b..239b34671bb 100644 --- a/Master/texmf-dist/doc/latex/ijmart/ijmsample.pdf +++ b/Master/texmf-dist/doc/latex/ijmart/ijmsample.pdf diff --git a/Master/texmf-dist/doc/latex/ijmart/ijmsample.tex b/Master/texmf-dist/doc/latex/ijmart/ijmsample.tex index 7c44ef9c8dc..ba9809a6901 100644 --- a/Master/texmf-dist/doc/latex/ijmart/ijmsample.tex +++ b/Master/texmf-dist/doc/latex/ijmart/ijmsample.tex @@ -1137,6 +1137,38 @@ which reduces to Goulden--Jackson's formula when $\lambda_i=0,i=1,\dots,n$ \cite{mami:matrixth}. \end{thm} +\section{Named Propositions} +\label{s:namedprops} + +Here we discuss several propositions: +\begin{namedprop}{plain}{thm}{G\"odel Theorem}[First incompleteness theorem] + For any consistent formal, computably enumerable theory that proves + basic arithmetical truths, an arithmetical statement that is true, + but not provable in the theory, can be constructed. That is, any + effectively generated theory capable of expressing elementary + arithmetic cannot be both consistent and complete. +\end{namedprop} + +\begin{namedprop}{plain}{thm}{G\"odel Theorem} + For any formal recursively enumerable (i.e. effectively generated) + theory T including basic arithmetical truths and also certain truths + about formal provability, T includes a statement of its own + consistency if and only if T is inconsistent. +\end{namedprop} + +\begin{namedprop*}{plain}{Abel's Lemma}[Summation by parts] + For any sequences $f_k$ and $g_k$ + \begin{displaymath} + \sum_{k=m}^n f_k(g_{k+1}-g_k) = f_{n+1}g_{n+1} - + \sum_{k=m}^n g_{k+1} (f_{k+1} - f_k) + \end{displaymath} +\end{namedprop*} + +\begin{namedprop*}{plain}{Fermat's last theorem} + For any $n>2$ the equation $x^n+y^n=z^n$ has no non-zero integer + solutions. +\end{namedprop*} + \section{Various font features of the \pkg{amsmath} package} \label{s:font} \subsection{Bold versions of special symbols} diff --git a/Master/texmf-dist/source/latex/ijmart/ijmart.dtx b/Master/texmf-dist/source/latex/ijmart/ijmart.dtx index aa6224770a7..b37e509a394 100644 --- a/Master/texmf-dist/source/latex/ijmart/ijmart.dtx +++ b/Master/texmf-dist/source/latex/ijmart/ijmart.dtx @@ -1,5 +1,5 @@ % \iffalse -% $Id: ijmart.dtx,v 1.35 2007-09-03 22:43:13 boris Exp $ +% $Id: ijmart.dtx,v 1.38 2007-10-03 00:52:15 boris Exp $ % % Copyright 2007, The Hebrew University Magnes Press % This work may be distributed and/or modified under the @@ -20,7 +20,7 @@ % derived file ijmart.cls % % \fi -% \CheckSum{772} +% \CheckSum{808} % % %% \CharacterTable @@ -432,6 +432,8 @@ %\subsection{Theorems, Lemmas, etc.} % \label{sec:ijmthm_descr} % +% \changes{v1.1}{2007/09/30}{Updated documentation for theorems} +% % The class \progname{amsart} defines three theorem styles: |plain|, % |remark| and |definition|. They are redefined by \progname{ijmart} % to conform to the style of \emph{The Israel Jorunal of Mathematics.} @@ -440,6 +442,76 @@ % Mathematics} usually recommends |definition| style for remarks, % while |remark| style is used for steps, facts, cases, etc. % +% \DescribeMacro{\popQED} +% The environment |proof| has the same syntax and meaning as for +% \progname{amsart} package. According to the journal style, the QED +% symbol in proofs is not flushed left, like in \progname{amsart}, but +% is typeset at the last line of the proof at some distance from the +% text. If a proof ends by a nested environment, this might lead to +% an ugly position of the QED symbol. The command |\popQED| inside a +% proof can be used to improve the situaiton\footnote{It is actually +% defined in \progname{amsart} too, but is not documented in the +% user's documentation there.}. It causes the immediate typesetting +% of the QED symbol and deletes the QED symbol at the end of the +% current proof. For example +% \begin{verbatim} +% \begin{proof} +% This proof ends by an enumerated list: +% \begin{enumerate} +% \item Item +% \item Item \popQED +% \end{enumerate} +% \end{proof} +% \end{verbatim} +% Compare this to the similar code without |\popQED|. +% +% \DescribeEnv{namedprop} +% \DescribeEnv{namedprop*} +% Sometimes authors use non-standard names for their theorem-like +% propositions. The documentation~\cite{amsthdoc} recommends the use +% of |\newtheorem*|: +% \begin{verbatim} +% \newtheorem*{KL}{Klein's Lemma} +% \end{verbatim} +% However, if the number of such special environments is large enough, +% this might be too cumbersome. The package progname{ijmart} provides +% two environments, |namedprop| and |namedprop*| to define such +% these propositions on the fly. +% +% The environment |namedprop| is used for numbered named propositions +% (admittedly such propositions are less frequent than unnumbered +% ones). It has the following syntax: +% \begin{quote} +% |\begin{namedprop}|\marg{style}\marg{numbered-as}\marg{name}\oarg{note}\\ +% \dots\\ +% |\end{namedprop}| +% \end{quote} +% where |style| is the style of the proposition (|plain|, |remark|, +% etc.), |nmubered-as| is the name of (already defined) theorem-like +% environment, that shares the numbering with this proposition, |name| +% is the name to use instead of ``Theorem'', ``Lemma'', and |note| is +% the note after the heading. For example, +% \begin{verbatim} +% \begin{namedprop}{plain}{thm}{Klein's Lemma}[as restated in~\cite{a-l}] +% ... +% \end{namedprop} +% \end{verbatim} +% +% The nevironment |\namedprop*| is used for \emph{unnumbered} named +% propositions: +% \begin{quote} +% |\begin{namedprop*}|\marg{style}\marg{name}\oarg{note}\\ +% \dots\\ +% |\end{namedprop*}| +% \end{quote} +% For example, +% \begin{verbatim} +% \begin{namedprop*}{plain}{Klein's Lemma}[as restated in~\cite{a-l}] +% ... +% \end{namedprop*} +% \end{verbatim} +% +% %\subsection{Bibliography} %\label{sec:bilbio} % @@ -504,7 +576,7 @@ \ProvidesFile{ijmart.dtx} %</gobble> %<class>\ProvidesClass{ijmart} -[2007/09/03 v1.0 Typesetting articles for The Israel Journal of Mathematics] +[2007/10/01 v1.1 Typesetting articles for The Israel Journal of Mathematics] % \end{macrocode} % % \begin{macro}{\@classname} @@ -1407,6 +1479,73 @@ % % \end{macro} % +% \begin{macro}{\namedprop} +% \changes{v1.1}{2007/09/30}{Introduced macro} +% This is the unstarred version of the macro. It calls the command +% and then closes the group opened by |\namedprop@| +% \begin{macrocode} +\newenvironment{namedprop}{% + \namedprop@}{% + \end{namedprop@thm}% + \egroup} +% \end{macrocode} +% \end{macro} +% +% \begin{macro}{\namedprop*} +% \changes{v1.1}{2007/09/30}{Introduced macro} +% The starred version is similar: +% \begin{macrocode} +\newenvironment{namedprop*}{% + \namedprop@star@}{% + \end{namedprop@thm}% + \egroup} +% \end{macrocode} +% \end{macro} +% +% \begin{macro}{\namedprop@star@} +% \changes{v1.1}{2007/09/30}{Introduced macro} +% The starred version has two mandatory arguments: style and and +% name, and one optional argument: note. +% \begin{macrocode} +\def\namedprop@star@#1#2{% + \@ifnextchar[{\namedprop@star@@{#1}{#2}}{\namedprop@star@@{#1}{#2}[]}}% +% \end{macrocode} +% \end{macro} +% \begin{macro}{\namedprop@star@@} +% \changes{v1.1}{2007/09/30}{Introduced macro} +% This is the command that does the real work: +% \begin{macrocode} +\def\namedprop@star@@#1#2[#3]{% + \bgroup + \let\namedprop@thm\relax + \theoremstyle{#1} + \newtheorem*{namedprop@thm}{#2} + \begin{namedprop@thm}[#3]} +% \end{macrocode} +% \end{macro} +% \begin{macro}{\namedprop@} +% \changes{v1.1}{2007/09/30}{Introduced macro} +% This is the unstarred version of the macro. It has three +% mandatory arguments: style, counter and the name, and one +% optional argument: the note. +% \begin{macrocode} +\def\namedprop@#1#2#3{% + \@ifnextchar[{\namedprop@@{#1}{#2}{#3}}{\namedprop@@{#1}{#2}{#3}[]}}% +% \end{macrocode} +% \end{macro} +% \begin{macro}{\namedprop@@} +% \changes{v1.1}{2007/09/30}{Introduced macro} +% And the real macro: +% \begin{macrocode} +\def\namedprop@@#1#2#3[#4]{% + \bgroup + \let\namedprop@thm\relax + \theoremstyle{#1} + \newtheorem{namedprop@thm}[#2]{#3} + \begin{namedprop@thm}[#4]} +% \end{macrocode} +% \end{macro} +% %\subsection{Bibliography} %\label{sec:biblio_code} % diff --git a/Master/texmf-dist/tex/latex/ijmart/ijmart.cls b/Master/texmf-dist/tex/latex/ijmart/ijmart.cls index 02720275470..f5aa8017d45 100644 --- a/Master/texmf-dist/tex/latex/ijmart/ijmart.cls +++ b/Master/texmf-dist/tex/latex/ijmart/ijmart.cls @@ -37,7 +37,7 @@ %% Right brace \} Tilde \~} \NeedsTeXFormat{LaTeX2e} \ProvidesClass{ijmart} -[2007/09/03 v1.0 Typesetting articles for The Israel Journal of Mathematics] +[2007/10/01 v1.1 Typesetting articles for The Israel Journal of Mathematics] \def\@classname{ijmart}% \newif\ifijm@french \ijm@frenchfalse @@ -337,6 +337,30 @@ \qquad\hbox{\qedsymbol}% \fi}% \def\qedsymbol{\rule[0.47pt]{4pt}{6pt}}% +\newenvironment{namedprop}{% + \namedprop@}{% + \end{namedprop@thm}% + \egroup} +\newenvironment{namedprop*}{% + \namedprop@star@}{% + \end{namedprop@thm}% + \egroup} +\def\namedprop@star@#1#2{% + \@ifnextchar[{\namedprop@star@@{#1}{#2}}{\namedprop@star@@{#1}{#2}[]}}% +\def\namedprop@star@@#1#2[#3]{% + \bgroup + \let\namedprop@thm\relax + \theoremstyle{#1} + \newtheorem*{namedprop@thm}{#2} + \begin{namedprop@thm}[#3]} +\def\namedprop@#1#2#3{% + \@ifnextchar[{\namedprop@@{#1}{#2}{#3}}{\namedprop@@{#1}{#2}{#3}[]}}% +\def\namedprop@@#1#2#3[#4]{% + \bgroup + \let\namedprop@thm\relax + \theoremstyle{#1} + \newtheorem{namedprop@thm}[#2]{#3} + \begin{namedprop@thm}[#4]} \renewcommand{\@bibtitlestyle}{% \@xp\centeredsection\@xp*\@xp{\refname}% }% |