rec-thy (26jul22)

git-svn-id: svn://tug.org/texlive/trunk@63982 c570f23f-e606-0410-a88d-b1316a301751

4 files changed, 36 insertions, 5 deletions

diff --git a/Master/texmf-dist/doc/latex/rec-thy/README b/Master/texmf-dist/doc/latex/rec-thy/README
index e7e6761ca9f..be0217da275 100644
--- a/Master/texmf-dist/doc/latex/rec-thy/README
+++ b/Master/texmf-dist/doc/latex/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/Master/texmf-dist/doc/latex/rec-thy/rec-thy.pdf b/Master/texmf-dist/doc/latex/rec-thy/rec-thy.pdf
index 4e691732fec..b7106976786 100644
--- a/Master/texmf-dist/doc/latex/rec-thy/rec-thy.pdf
+++ b/Master/texmf-dist/doc/latex/rec-thy/rec-thy.pdf
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 b80b17f6b5a..c3fe39ddd3a 100644
--- a/Master/texmf-dist/doc/latex/rec-thy/rec-thy.tex
+++ b/Master/texmf-dist/doc/latex/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.
diff --git a/Master/texmf-dist/tex/latex/rec-thy/rec-thy.sty b/Master/texmf-dist/tex/latex/rec-thy/rec-thy.sty
index 36f77892a93..2020e4527a4 100644
--- a/Master/texmf-dist/tex/latex/rec-thy/rec-thy.sty
+++ b/Master/texmf-dist/tex/latex/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