texlive[63982] Master/texmf-dist: rec-thy (26jul22)

commits+karl at tug.org commits+karl at tug.org
Tue Jul 26 21:41:43 CEST 2022


Revision: 63982
          http://tug.org/svn/texlive?view=revision&revision=63982
Author:   karl
Date:     2022-07-26 21:41:43 +0200 (Tue, 26 Jul 2022)
Log Message:
-----------
rec-thy (26jul22)

Modified Paths:
--------------
    trunk/Master/texmf-dist/doc/latex/rec-thy/README
    trunk/Master/texmf-dist/doc/latex/rec-thy/rec-thy.pdf
    trunk/Master/texmf-dist/doc/latex/rec-thy/rec-thy.tex
    trunk/Master/texmf-dist/tex/latex/rec-thy/rec-thy.sty

Modified: trunk/Master/texmf-dist/doc/latex/rec-thy/README
===================================================================
--- trunk/Master/texmf-dist/doc/latex/rec-thy/README	2022-07-26 19:41:08 UTC (rev 63981)
+++ trunk/Master/texmf-dist/doc/latex/rec-thy/README	2022-07-26 19:41:43 UTC (rev 63982)
@@ -42,3 +42,4 @@
 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).

Modified: trunk/Master/texmf-dist/doc/latex/rec-thy/rec-thy.pdf
===================================================================
(Binary files differ)

Modified: trunk/Master/texmf-dist/doc/latex/rec-thy/rec-thy.tex
===================================================================
--- trunk/Master/texmf-dist/doc/latex/rec-thy/rec-thy.tex	2022-07-26 19:41:08 UTC (rev 63981)
+++ trunk/Master/texmf-dist/doc/latex/rec-thy/rec-thy.tex	2022-07-26 19:41:43 UTC (rev 63982)
@@ -781,6 +781,9 @@
 
 % 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.

Modified: trunk/Master/texmf-dist/tex/latex/rec-thy/rec-thy.sty
===================================================================
--- trunk/Master/texmf-dist/tex/latex/rec-thy/rec-thy.sty	2022-07-26 19:41:08 UTC (rev 63981)
+++ trunk/Master/texmf-dist/tex/latex/rec-thy/rec-thy.sty	2022-07-26 19:41:43 UTC (rev 63982)
@@ -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 at parenarg\@PMG at undefined\let\@PMG at braketarg\@PMG at undefined\@REsetbody}
     % \newcommand*{\@REsetbody}[1]{W\ifdefined\@PMG at parenarg
     % ^{\@PMG at parenarg}%
@@ -2053,8 +2053,6 @@
     \providecommand*{\Teq}{\Tequiv}
     \providecommand*{\nTequiv}{\mathrel{\ncong_{\@recthy at TSYM}}}
     \providecommand*{\nTeq}{\nTequiv}
-    %turing below
-
     \providecommand*{\Tlneq}{\lneq_{\@recthy at TSYM}}
     \providecommand*{\Tleq}{\leq_{\@recthy at TSYM}}
     \providecommand*{\Tgneq}{\gneq_{\@recthy at TSYM}}
@@ -2091,6 +2089,35 @@
     \newcommand*{\ttless}{<_{\@recthy at ttSYM}}
     \newcommand*{\ttnleq}{\nleq_{\@recthy at ttSYM}}
     \newcommand*{\ttngeq}{\ngeq_{\@recthy at ttSYM}}
+
+%arithmetic comparisons
+
+
+
+    \newcommand*{\@recthy at ASYM}{\symbf{a}}
+    \providecommand*{\Adegvar}[1]{\symbf{#1}_{\@recthy at ASYM}}
+    \providecommand*{\Aequiv}{\mathrel{\equiv_{\@recthy at ASYM}}}
+    \providecommand*{\Aeq}{\Aequiv}
+    \providecommand*{\nAequiv}{\mathrel{\ncong_{\@recthy at ASYM}}}
+    \providecommand*{\nAeq}{\nAequiv}
+    \providecommand*{\Alneq}{\lneq_{\@recthy at ASYM}}
+    \providecommand*{\Aleq}{\leq_{\@recthy at ASYM}}
+    \providecommand*{\Agneq}{\gneq_{\@recthy at ASYM}}
+    \providecommand*{\Ageq}{\geq_{\@recthy at ASYM}}
+    \providecommand*{\Agtr}{>_{\@recthy at ASYM}}
+    \providecommand*{\Aless}{<_{\@recthy at ASYM}}
+    \providecommand*{\nAleq}{\nleq_{\@recthy at ASYM}}
+    \providecommand*{\nAgeq}{\ngeq_{\@recthy at ASYM}}
+    \providecommand*{\wjump}[1]{\jumpn{#1}{\omega}}
+    \providecommand*{\zerow}[1]{\zeron{\omega}}
+
+    \newcommand*{\Azerosym}{\symbf{0}_{\@recthy at ASYM}}
+    \providecommand*{\Azero}{{\Azerosym}}
+    \providecommand*{\Azeron}[1]{{\Azerosym}^{(#1)}}
+    \providecommand*{\Azeroj}{\jump{{\Azerosym}}}
+    \providecommand*{\Azerojj}{\jjump{\Azerosym}}
+    \providecommand*{\Azerojjj}{\jjjump{\Azerosym}}
+
 \fi
 
 



More information about the tex-live-commits mailing list.