summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex/rec-thy
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2011-01-03 00:19:30 +0000
committerKarl Berry <karl@freefriends.org>2011-01-03 00:19:30 +0000
commitce17d709b220bc6cf4c7bc900420698c244bf57e (patch)
tree21a7ace1f6cf7de4219701e143e1c2c5fffb0f82 /Master/texmf-dist/doc/latex/rec-thy
parentdb93bade3297f62b26ec2429216b594f5ffb29fe (diff)
rec-thy 1.2 (2jan11)
git-svn-id: svn://tug.org/texlive/trunk@20909 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/doc/latex/rec-thy')
-rw-r--r--Master/texmf-dist/doc/latex/rec-thy/README10
-rw-r--r--Master/texmf-dist/doc/latex/rec-thy/rec-thy.pdfbin225319 -> 226592 bytes
-rw-r--r--Master/texmf-dist/doc/latex/rec-thy/rec-thy.tex28
3 files changed, 29 insertions, 9 deletions
diff --git a/Master/texmf-dist/doc/latex/rec-thy/README b/Master/texmf-dist/doc/latex/rec-thy/README
index 12de6803c1b..677cb51aad4 100644
--- a/Master/texmf-dist/doc/latex/rec-thy/README
+++ b/Master/texmf-dist/doc/latex/rec-thy/README
@@ -1,8 +1,10 @@
-This directory contains the rec-thy package. This package provides a large number of macros to express standard pieces of notation in recursion theory aka computability theory. The file rec-thy.pdf (which can be generated from rec-thy.tex) provides a guide to usage and examples of almost all the macros.
+This directory contains the rec-thy package. This package provides a large
+number of macros to express standard pieces of notation in recursion theory
+aka computability theory. The file rec-thy.pdf (which can be generated from
+rec-thy.tex) provides a guide to usage and examples of almost all the macros.
Comments, feedback and patches welcomes.
-Author: Peter Gerdes
-email: gerdes@invariant.org
+Author: Peter Gerdes email: gerdes@invariant.org
-10/14/2010 \ No newline at end of file
+01/01/2011 \ No newline at end of file
diff --git a/Master/texmf-dist/doc/latex/rec-thy/rec-thy.pdf b/Master/texmf-dist/doc/latex/rec-thy/rec-thy.pdf
index 7aa81b0ff08..27e0db319d8 100644
--- a/Master/texmf-dist/doc/latex/rec-thy/rec-thy.pdf
+++ b/Master/texmf-dist/doc/latex/rec-thy/rec-thy.pdf
Binary files differ
diff --git a/Master/texmf-dist/doc/latex/rec-thy/rec-thy.tex b/Master/texmf-dist/doc/latex/rec-thy/rec-thy.tex
index dd30364035e..1d5c511a798 100644
--- a/Master/texmf-dist/doc/latex/rec-thy/rec-thy.tex
+++ b/Master/texmf-dist/doc/latex/rec-thy/rec-thy.tex
@@ -40,7 +40,7 @@
\title{The rec-thy Package}
\author{Peter M. Gerdes (gerdes@invariant.org)}
-\date{2010-10-14: Version 1.0}
+\date{2011-01-01: Version 1.2}
\begin{document}
@@ -72,7 +72,9 @@ A few general conventions are usually followed in the commands. Whenever an ope
Objects that have a natural stagewise approximation generally admit an optional argument in brackets to specify a stage. For instance \( \verb=\REset[s]{e}= \) yields \( \REset[s]{e} \). An optional argument in parenthesis is used for relativization. For instance \( \verb=\REset(X){e}= \) produces \( \REset(X){e} \). A notable exception to this rule are the formula classes where square brackets are used to indicate an oracle to be placed in the superscript, e.g., \( \verb=\pizn[X]{2}= \) yields \( \pizn[X]{2} \), so as not to generate confusion with the alternative notion \( \pizn{2}(X) \). Also a lowercase first letter in a formula class indicates the lightface version while a capital first letter indicates the boldface version.
Unless indicated otherwise all macros are to be used inside math mode. Indented commands indicate an alias for the command on the line above
-\subsection{Main Commands}
+\subsection{Computations}
+To disable these commands pass the option \verb=nocomputations=. \\
+
\begin{xtabular}{l | l | l}\toprule
\verb=\murec{x}{f(x)>1}= & \( \murec{x}{f(x)>1} \) & Least \( x \) satisfying condition. \\ \midrule
\verb=\recfnl{e}{Y}{x}= & \( \recfnl{e}{Y}{x} \) &\multirow{4}{*}{Computable functions/functionals} \\[6pt]
@@ -96,7 +98,15 @@ Unless indicated otherwise all macros are to be used inside math mode. Indented
\verb=\alphaREAop{\alpha}(\eset)= & \multirow{2}{*}{\( \alphaREAop{\alpha}(\eset) \)} &\multirow{2}{*}{\( \alpha \)-REA operator} \\[6pt]
\tab \verb=\reaop{\alpha}(\eset)= & & \\[6pt]
\verb=\alphaREAop[f]{\alpha}(\eset)= & \multirow{2}{*}{\( \alphaREAop[f]{\alpha}(\eset) \)} & \multirow{2}{*}{with particular witness to uniformity}\\[6pt]
- \tab \verb=\reaop[f]{\alpha}(\eset)= & & \\ \midrule
+ \tab \verb=\reaop[f]{\alpha}(\eset)= & & \\
+ \bottomrule
+ \end{xtabular} \\
+
+\subsection{Degrees}
+To disable these commands pass the option \verb=nodegrees=. \\
+
+
+\begin{xtabular}{l | l | l}\toprule
\verb=\Tdeg{d}= & \( \Tdeg{d} \) & Turing degree \\ \midrule
\verb=\Tjump{X}= & \multirow{2}{*}{\( \Tjump{X} \)} & \multirow{2}{*}{Turing jump} \\
\tab \verb=\jump{X}= & & \\ \midrule
@@ -384,10 +394,18 @@ To disable these commands pass the option \verb=nosyntax=.\\ All syntax classes
\verb=\logic{\omega_1}{\omega}= & \( \logic{\omega_1}{\omega} \) & Indicates the kind of infinitary logic\\
\bottomrule
\end{xtabular}
-
+
+\subsection{MRref}
+
+Finally to enable the mrref helper macros pass the option \verb=mrref=.\\ These macros normalize the formating of mathscinet references for supported bibliography styles and ensure the MR numbers link to the mathscinet page of the article. Unless you have a good reason (like journal formatting guidelines) there is no reason not to always pass this option. Note this option requires the hyperref package.
-
+\section{Release Notes}
+
+\begin{itemize}
+ \item[1.2] Fixed awful option processing bug preventing most options from being recognized and added mrref option.
+ \item[1.0] Initial public release
+\end{itemize}