summaryrefslogtreecommitdiff
path: root/macros/latex/contrib/rec-thy
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2022-07-27 03:00:56 +0000
committerNorbert Preining <norbert@preining.info>2022-07-27 03:00:56 +0000
commitba846abb1dbfe9c19277bb894d88c7cce953b4be (patch)
tree8e086071d6cad7f29221e0a94fe03e60c2d5aaa1 /macros/latex/contrib/rec-thy
parentae37b2329c8f0475412617b3248d58906904d54d (diff)
CTAN sync 202207270300
Diffstat (limited to 'macros/latex/contrib/rec-thy')
-rw-r--r--macros/latex/contrib/rec-thy/README1
-rw-r--r--macros/latex/contrib/rec-thy/rec-thy.pdfbin127698 -> 128602 bytes
-rw-r--r--macros/latex/contrib/rec-thy/rec-thy.sty37
-rw-r--r--macros/latex/contrib/rec-thy/rec-thy.tex3
4 files changed, 36 insertions, 5 deletions
diff --git a/macros/latex/contrib/rec-thy/README b/macros/latex/contrib/rec-thy/README
index e7e6761ca9..be0217da27 100644
--- a/macros/latex/contrib/rec-thy/README
+++ b/macros/latex/contrib/rec-thy/README
@@ -42,3 +42,4 @@ v3.6 - Fixed \REA[n] so that dash is shorter. Added BeamerRequirements to add a
v3.7 - Fixed cases enviornment (both prettier and no problem with creating newline). Major refactor to fix all options. Fixed bug with \set display. Added \st command inside the \set command to depreciate second argument. Added experimental commands \finSsets (alt \ssetsOfsize), \finsets and optional argument to \powset. Changed \REAop so the hat is on the starred version as intended. Added the steps (experimental) code which requires an option to enable and fixed some problems with existing options. Reimplemented \REset to use xparse to avoid some errors in unusual contexts. Fixed the display of \tpath. Depreciated \iREAop and \oneREAop.
v3.8 - Adjusted \Tdeg to be more beamer friendly and fixed it not to dumbly underline 0^n. Fixed BeamerRequirements to work with differing values of \abovedisplayskip. Removed a few typos in docs for the requirements assistance. Added BeamerRequire and BeamerRequire* that put the requirements in a block and offer overlay specifications.
v3.8.1 Fixed issues displaying the prime for jump operations
+v3.8.2 Removed option to put the set at the end of an \REset operation to avoid capturing later paren arguments, e.g. \REset{i}(A) no longer works to avoid confusion with \REset{i}(x).
diff --git a/macros/latex/contrib/rec-thy/rec-thy.pdf b/macros/latex/contrib/rec-thy/rec-thy.pdf
index 4e691732fe..b710697678 100644
--- a/macros/latex/contrib/rec-thy/rec-thy.pdf
+++ b/macros/latex/contrib/rec-thy/rec-thy.pdf
Binary files differ
diff --git a/macros/latex/contrib/rec-thy/rec-thy.sty b/macros/latex/contrib/rec-thy/rec-thy.sty
index 36f77892a9..2020e4527a 100644
--- a/macros/latex/contrib/rec-thy/rec-thy.sty
+++ b/macros/latex/contrib/rec-thy/rec-thy.sty
@@ -10,10 +10,10 @@
\RequirePackage{etoolbox}
\RequirePackage{pict2e,picture}
\RequirePackage{xparse}
-\def\recthyVersion{3.8.1}
+\def\recthyVersion{3.8.2}
\ProvidesExplPackage
{rec-thy}
- {2022/04/24}
+ {2022/07/26}
{\recthyVersion}
{Provides commands for writing up recursion theory papers}
@@ -1955,7 +1955,7 @@
% \NewDocumentCommand{\REset}{D(){}omd()}{
% W_{#2\IfNoValueTF{#1}{}{, #1}}\IfNoValueTF{#3}{}{^{#3}}
% }
- \NewDocumentCommand{\REset}{D(){}oD(){#1}mD(){#3}}{{W_{#4\IfValueTF{#2}{, #2}{}}^{#5}}}
+ \NewDocumentCommand{\REset}{D(){}oD(){#1}mO{#2}}{{W_{#4\IfValueTF{#5}{, #5}{}}^{#3}}}
% \newcommand*{\REset}{\let\@PMG@parenarg\@PMG@undefined\let\@PMG@braketarg\@PMG@undefined\@REsetbody}
% \newcommand*{\@REsetbody}[1]{W\ifdefined\@PMG@parenarg
% ^{\@PMG@parenarg}%
@@ -2053,8 +2053,6 @@
\providecommand*{\Teq}{\Tequiv}
\providecommand*{\nTequiv}{\mathrel{\ncong_{\@recthy@TSYM}}}
\providecommand*{\nTeq}{\nTequiv}
- %turing below
-
\providecommand*{\Tlneq}{\lneq_{\@recthy@TSYM}}
\providecommand*{\Tleq}{\leq_{\@recthy@TSYM}}
\providecommand*{\Tgneq}{\gneq_{\@recthy@TSYM}}
@@ -2091,6 +2089,35 @@
\newcommand*{\ttless}{<_{\@recthy@ttSYM}}
\newcommand*{\ttnleq}{\nleq_{\@recthy@ttSYM}}
\newcommand*{\ttngeq}{\ngeq_{\@recthy@ttSYM}}
+
+%arithmetic comparisons
+
+
+
+ \newcommand*{\@recthy@ASYM}{\symbf{a}}
+ \providecommand*{\Adegvar}[1]{\symbf{#1}_{\@recthy@ASYM}}
+ \providecommand*{\Aequiv}{\mathrel{\equiv_{\@recthy@ASYM}}}
+ \providecommand*{\Aeq}{\Aequiv}
+ \providecommand*{\nAequiv}{\mathrel{\ncong_{\@recthy@ASYM}}}
+ \providecommand*{\nAeq}{\nAequiv}
+ \providecommand*{\Alneq}{\lneq_{\@recthy@ASYM}}
+ \providecommand*{\Aleq}{\leq_{\@recthy@ASYM}}
+ \providecommand*{\Agneq}{\gneq_{\@recthy@ASYM}}
+ \providecommand*{\Ageq}{\geq_{\@recthy@ASYM}}
+ \providecommand*{\Agtr}{>_{\@recthy@ASYM}}
+ \providecommand*{\Aless}{<_{\@recthy@ASYM}}
+ \providecommand*{\nAleq}{\nleq_{\@recthy@ASYM}}
+ \providecommand*{\nAgeq}{\ngeq_{\@recthy@ASYM}}
+ \providecommand*{\wjump}[1]{\jumpn{#1}{\omega}}
+ \providecommand*{\zerow}[1]{\zeron{\omega}}
+
+ \newcommand*{\Azerosym}{\symbf{0}_{\@recthy@ASYM}}
+ \providecommand*{\Azero}{{\Azerosym}}
+ \providecommand*{\Azeron}[1]{{\Azerosym}^{(#1)}}
+ \providecommand*{\Azeroj}{\jump{{\Azerosym}}}
+ \providecommand*{\Azerojj}{\jjump{\Azerosym}}
+ \providecommand*{\Azerojjj}{\jjjump{\Azerosym}}
+
\fi
diff --git a/macros/latex/contrib/rec-thy/rec-thy.tex b/macros/latex/contrib/rec-thy/rec-thy.tex
index b80b17f6b5..c3fe39ddd3 100644
--- a/macros/latex/contrib/rec-thy/rec-thy.tex
+++ b/macros/latex/contrib/rec-thy/rec-thy.tex
@@ -781,6 +781,9 @@ Finally to enable the mrref helper macros pass the option \verb=mrref=.\\ These
% TESTING: \verb=\fpmapsto=, \verb=\fpmapsfrom=, \verb=\ParFuncs{Y}{X}= and \verb=\FinParFuncs{Y}{X}=
\begin{itemize}
+ \item[3.8.2] Removed option to put the set at the end of an \verb=\REset= operation to avoid capturing later parenthesized arguments, e.g. \verb=\REset{i}(A)= no longer works to avoid confusion with \verb=\REset{i}(x)=. Fixed failed pdf doc update.
+ \item[3.8.1] Fixed issues displaying the prime for jump operations.
+ \item[3.8] Adjusted \verb=\Tdeg= to be more beamer friendly and fixed it not to dumbly underline \verb=0^n=. Fixed BeamerRequirements to work with differing values of \verb=\abovedisplayskip=. Removed a few typos in docs for the requirements assistance. Added BeamerRequire and BeamerRequire* that put the requirements in a block and offer overlay specifications.
\item[3.7] Fixed cases environment (both prettier and no problem with creating newline). Major re-factor to fix all options. Fixed bug with \verb=\set= display. Added \verb=\st= command inside the \verb=\set= command to depreciate second argument. Added \verb=\finSsets= (alt \verb=\ssetsOfsize=), \verb=\finsets= and optional argument to \verb=\powset=. Changed \verb=\REAop= so the hat is on the starred version as intended. Added the steps (experimental) environment which requires an option to enable and fixed some problems with existing options. Reimplemented \verb=\REset= to use xparse to avoid some errors in unusual contexts. Fixed the display of \verb=\tpath=. Depreciated \verb=\iREAop= and \verb=\oneREAop=. Fixed \verb=\Join=.
\item[3.6] Fixed \verb=\REA[n]= so that dash is shorter. Added BeamerRequirements to add a block for requirements in beamer and fixed the requirements environment for beamer. Fixed \verb=\req*= error. Improved syntax for \verb=\recfnl= so it can accept a parenthesis delimited argument as the oracle. Improved \verb=\setcol= to allow it to be used in a nested fashion without typesetting bugs. Changed the \verb=\code= and \verb=\pair= commands to use only a single angle bracket.
\item[3.5] Added \verb=\Hop= and misc code cleanup.