texlive[63122] Master/texmf-dist: rec-thy (24apr22)
commits+karl at tug.org
commits+karl at tug.org
Sun Apr 24 22:11:04 CEST 2022
Revision: 63122
http://tug.org/svn/texlive?view=revision&revision=63122
Author: karl
Date: 2022-04-24 22:11:03 +0200 (Sun, 24 Apr 2022)
Log Message:
-----------
rec-thy (24apr22)
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-04-24 20:10:46 UTC (rev 63121)
+++ trunk/Master/texmf-dist/doc/latex/rec-thy/README 2022-04-24 20:11:03 UTC (rev 63122)
@@ -40,3 +40,5 @@
v3.5 - Added \Hop command and misc code cleanup.
v3.6 - Fixed \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 \req* command. Improved syntax for \recfnl so it can accept a () delimited argument via the same standard as \REset and \recf. Improved \setcol to allow it to be used repeatedly without typesetting bugs. Changed the code and pair commands to use only a single angle bracket.
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
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-04-24 20:10:46 UTC (rev 63121)
+++ trunk/Master/texmf-dist/doc/latex/rec-thy/rec-thy.tex 2022-04-24 20:11:03 UTC (rev 63122)
@@ -282,9 +282,9 @@
\begin{tabular}{l | l | l}\toprule
\verb=\req{R}{e}= & \( \req{R}{e} \) & \multirow{3}{*}{Requirement } \\ \midrule
-\verb=\req{R}[\nu]{e\}= & \req{R}[\nu]{e} & \\ \midrule
-\verb=\req*{R}{e\}= & \req{R}{e} & \multirow{3}{*}{Requirement without hyperlinks} \\ \midrule
-\verb=\req*{R}[\nu]{e\}= & \req{R}[\nu]{e} & \\ \midrule
+\verb=\req{R}[\nu]{e}= & \req{R}[\nu]{e} & \\ \midrule
+\verb=\req*{R}{e}= & \req{R}{e} & \multirow{3}{*}{Requirement without hyperlinks} \\ \midrule
+\verb=\req*{R}[\nu]{e}= & \req{R}[\nu]{e} & \\ \midrule
\bottomrule
\end{tabular} \\
@@ -302,7 +302,7 @@
\recfnl{r}{B}{} = \REset{j} \implies \exists[k] \left( \Upsilon^{j}_k(C \Tplus \REset{j}) = B) \lor \REset{j} \Tleq \Tzero \right)
\end{requirement}
-The require environment merges the \verb=\req[\nu]{R}{e\}= command directly into the environment arguments. It also creates an automatic label which makes use of the 1st and 2nd arguments but assumes the third argument contains only indexes whose names are subject to change. Unless \verb=nohyperreqs= is passed the \verb=\req[\nu]{R}{e\}= automatically links to the defining require environment.
+The require environment merges the \verb=\req[\nu]{R}{e}= command directly into the environment arguments. It also creates an automatic label which makes use of the 1st and 2nd arguments but assumes the third argument contains only indexes whose names are subject to change. Unless \verb=nohyperreqs= is passed the \verb=\req[\nu]{R}{e}= automatically links to the defining require environment.
\begin{lstlisting}[breaklines]
\begin{require}{R}{i}
Modified: trunk/Master/texmf-dist/tex/latex/rec-thy/rec-thy.sty
===================================================================
--- trunk/Master/texmf-dist/tex/latex/rec-thy/rec-thy.sty 2022-04-24 20:10:46 UTC (rev 63121)
+++ trunk/Master/texmf-dist/tex/latex/rec-thy/rec-thy.sty 2022-04-24 20:11:03 UTC (rev 63122)
@@ -10,10 +10,10 @@
\RequirePackage{etoolbox}
\RequirePackage{pict2e,picture}
\RequirePackage{xparse}
-\def\recthyVersion{3.7}
+\def\recthyVersion{3.8.1}
\ProvidesExplPackage
{rec-thy}
- {2021/03/30}
+ {2022/04/24}
{\recthyVersion}
{Provides commands for writing up recursion theory papers}
@@ -777,17 +777,26 @@
\ifrecthy at beamersupp
- \newtheorem{reqblock}{Requirements}
- \let\OLDreqblock=\reqblock
- \def\reqblock{%
+ \theoremstyle{plain}
+ \newtheorem{reqsblock at recthy}{Requirements}
+ \newtheorem{reqblock at recthy}{Requirement}
+ \let\OLDreqsblock at recthy=\reqsblock at recthy
+ \let\OLDreqblock at recthy=\reqblock at recthy
+ \def\reqsblock at recthy{%
\setbeamercolor{block title}{fg=white,bg=Maroon}%
- \setbeamercolor{block body}{fg=black,bg=Maroon!10}\OLDreqblock
+ \setbeamercolor{block body}{fg=black,bg=Maroon!10}\OLDreqsblock at recthy
}
+ \def\reqblock at recthy{%
+ \setbeamercolor{block title}{fg=white,bg=Maroon}%
+ \setbeamercolor{block body}{fg=black,bg=Maroon!10}\OLDreqblock at recthy
+ }
\NewDocumentCommand{\require at beamer}{sO{}mO{}m}{\tag{$\@ifmtarg{#2#4}{\mathscr{#3}_{#5}}{\mathscr{#3}_{#5}^{#2#4}}$} \IfBooleanTF{#1}{}{\label{\detokenize{req:#3@#2#4}}} & }
- \NewDocumentEnvironment{BeamerRequirements}{d<>b}{\IfValueTF{#1}{\begin{reqblock}<#1>}{\begin{reqblock}}%
- \vspace*{-.5cm}
+ \NewDocumentEnvironment{BeamerRequirements}{d<>b}{\IfValueTF{#1}{\begin{reqsblock at recthy}<#1>}{\begin{reqsblock at recthy}}%
+ \setlength{\abovedisplayskip}{0pt}%
+ \setlength{\belowdisplayskip}{0pt}%
+ % \vspace*{-.5cm}
\usetagform{colon} %
\let\myhalign\halign%
\def\halign{\let\mylb\\ \renewcommand{\\}{& \mylb}\myhalign}%
@@ -795,7 +804,7 @@
\begin{flalign*}%
#2 &
\end{flalign*}%
- \end{reqblock}}{}
+ \end{reqsblock at recthy}}{}
\NewDocumentEnvironment{requirements}{b}{\usetagform{colon} %
\let\myhalign\halign%
@@ -804,8 +813,28 @@
\begin{flalign*}%
#1 &
\end{flalign*}}{\ignorespacesafterend}%\@recthy at ignorespacesandallparsafter}
- \else
+
+ \NewDocumentEnvironment{BeamerRequire}{d<>O{}mO{}m}{\IfValueTF{#1}{\begin{reqblock at recthy}<#1>}{\begin{reqblock at recthy}}%
+ \setlength{\abovedisplayskip}{0pt}%
+ \setlength{\belowdisplayskip}{0pt}%
+ \begin{requirement}{\req at nohref[#2#4]{#3}{#5}} \label{\detokenize{req:#3@#2#4}}%
+ }{
+ \end{requirement}%
+ \vspace*{-.3cm}%
+ \end{reqblock at recthy}%
+ }
+ \NewDocumentEnvironment{BeamerRequire*}{d<>O{}mO{}m}{\IfValueTF{#1}{\begin{reqblock at recthy}<#1>}{\begin{reqblock at recthy}}%
+ \setlength{\abovedisplayskip}{0pt}%
+ \setlength{\belowdisplayskip}{0pt}%
+ \begin{requirement}{\req at nohref[#2#4]{#3}{#5}}
+ }{
+ \end{requirement}%
+ \vspace*{-.3cm}%
+ \end{reqblock at recthy}%
+ }
+\else
+
\NewDocumentEnvironment{requirements}{}{%
\@pmg at saveeqstate%
\@fleqntrue%
@@ -1824,6 +1853,8 @@
\@packinfo{No degree classes loading.}
\else
\@packinfo{Degree classes loading.}
+ \newcommand*{\Tdegrees}{\ensuremath{\mathscr{D}}}
+ \newcommand*{\REdegrees}{\ensuremath{\mathscr{R}}}
\newcommand{\Low}[1][]{\ensuremath{ \text{Low}^{#1} }}
\newcommand{\LowN}[2][]{\ensuremath{ \text{Low}^{#1}_{#2} }}
\newcommand{\lowN}[2][]{\ensuremath{ \mathcal{L}^{#1}_{#2} }}
@@ -1951,17 +1982,17 @@
\newcommand*{\entersat}[1]{\mathbin{\searrow_{#1}}}
- \appto{\recthy at rollback@threeSeven}{
- \NewDocumentCommand{\oneREAop}{st+d()od()m}{{\IfBooleanTF{#1}{\mathcal{J}}{\widehat{\mathcal{J}}}}^{\IfBooleanTF{#1}{\vphantom{x}^\dagger}{}}_{#6\IfValueTF{#4}{, #4}{}} \IfValueTF{#3}{\left(#3\right)}{\IfValueTF{#5}{\left(#5\right)}{}}}
- \let\iREAop=\oneREAop
- }
+ % \appto{\recthy at rollback@threeSeven}{
+ % \NewDocumentCommand{\oneREAop}{st+d()od()m}{{\IfBooleanTF{#1}{\mathcal{J}}{\widehat{\mathcal{J}}}}^{\IfBooleanTF{#1}{\vphantom{x}^\dagger}{}}_{#6\IfValueTF{#4}{, #4}{}} \IfValueTF{#3}{\left(#3\right)}{\IfValueTF{#5}{\left(#5\right)}{}}}
+ % \let\iREAop=\oneREAop
+ % }
- % \newcommand*{\alphaREAop}[2][]{\mathcal{J}^{#2}_{#1}}
- \appto{\recthy at rollback@threeTwo}{
- \let\reaop=\REAop
- \let\alphaREAop=\REAop
- \let\aREAop=\alphaREAop
- }
+ % % \newcommand*{\alphaREAop}[2][]{\mathcal{J}^{#2}_{#1}}
+ % \appto{\recthy at rollback@threeTwo}{
+ % \let\reaop=\REAop
+ % \let\alphaREAop=\REAop
+ % \let\aREAop=\alphaREAop
+ % }
@@ -1986,28 +2017,32 @@
\providecommand*{\Tdegvar}[1]{\symbf{#1}}
\providecommand*{\Tdegof}[1]{\utilde{#1}}
- \providecommand*{\Tdeg}[1]{\ifthenelse{
+ \protected\def\Tdeg#1{\ifthenelse{
% \equal{\detokenize{\Tzero}}{\futurelet\next at pmg\discard#1\@nil\expandafter\detokenize{\next at pmg}}
\equal{\detokenize{\Tzero}}{\detokenize{#1}} \OR
- \equal{\detokenize{\Tzero}}{\detokenize{#1}} \OR
+ \equal{\detokenize{\Tzeroj}}{\detokenize{#1}} \OR
+ \equal{\detokenize{\Tzerojj}}{\detokenize{#1}} \OR
+ \equal{\detokenize{\Tzerojjj}}{\detokenize{#1}} \OR
\equal{\detokenize{\zeroj}}{\detokenize{#1}} \OR
\equal{\detokenize{\zerojj}}{\detokenize{#1}} \OR
\equal{\detokenize{\zerojjj}}{\detokenize{#1}} \OR
\equal{\string \zeron }{\expandafter\string \first at pmg@rdmxs(#1)}
- }{\Tdegof{#1}}{\Tdegvar{#1}}}
+ }{#1}{\Tdegvar{#1}}}
- \providecommand*{\Tjump}[1]{#1'}
+
+ \providecommand*{\Tjump}[1]{{#1}'}
\let\jump=\Tjump
- \providecommand*{\jumpn}[2]{#1^{(#2)}}
- \providecommand*{\jjump}[1]{#1''}
+ \providecommand*{\jumpn}[2]{{#1}^{(#2)}}
+ \providecommand*{\jjump}[1]{{#1}''}
+ \providecommand*{\jjjump}[1]{{#1}'''}
% \newcommand*{\Tzerosym}{\MVZero}
- \newcommand*{\Tzerosym}{\mathbb{0}}
+ \newcommand*{\Tzerosym}{\symbf{0}}
\providecommand*{\Tzero}{{\Tzerosym}}
\providecommand*{\zeron}[1]{{\Tzerosym}^{(#1)}}
\providecommand*{\zeroj}{\jump{{\Tzerosym}}}
\let\Tzeroj=\zeroj
- \providecommand*{\zerojj}{\jump{\jump{{\Tzerosym}}}}
- \providecommand*{\zerojjj}{\jump{\jump{\jump{{\Tzerosym}}}}}
+ \providecommand*{\zerojj}{\jjump{\Tzerosym}}
+ \providecommand*{\zerojjj}{\jjjump{\Tzerosym}}
\let\Tzerojj=\zerojj
\let\Tzerojjj=\zerojjj
More information about the tex-live-commits
mailing list.