summaryrefslogtreecommitdiff
path: root/macros/latex/contrib/rec-thy/rec-thy.sty
diff options
context:
space:
mode:
Diffstat (limited to 'macros/latex/contrib/rec-thy/rec-thy.sty')
-rw-r--r--macros/latex/contrib/rec-thy/rec-thy.sty93
1 files changed, 64 insertions, 29 deletions
diff --git a/macros/latex/contrib/rec-thy/rec-thy.sty b/macros/latex/contrib/rec-thy/rec-thy.sty
index b2a3e7775e..36f77892a9 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.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@beamersupp
- \newtheorem{reqblock}{Requirements}
- \let\OLDreqblock=\reqblock
- \def\reqblock{%
+ \theoremstyle{plain}
+ \newtheorem{reqsblock@recthy}{Requirements}
+ \newtheorem{reqblock@recthy}{Requirement}
+ \let\OLDreqsblock@recthy=\reqsblock@recthy
+ \let\OLDreqblock@recthy=\reqblock@recthy
+ \def\reqsblock@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@recthy
+ }
+ \def\reqblock@recthy{%
+ \setbeamercolor{block title}{fg=white,bg=Maroon}%
+ \setbeamercolor{block body}{fg=black,bg=Maroon!10}\OLDreqblock@recthy
}
\NewDocumentCommand{\require@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@recthy}<#1>}{\begin{reqsblock@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@recthy}}{}
\NewDocumentEnvironment{requirements}{b}{\usetagform{colon} %
\let\myhalign\halign%
@@ -804,7 +813,27 @@
\begin{flalign*}%
#1 &
\end{flalign*}}{\ignorespacesafterend}%\@recthy@ignorespacesandallparsafter}
- \else
+
+
+ \NewDocumentEnvironment{BeamerRequire}{d<>O{}mO{}m}{\IfValueTF{#1}{\begin{reqblock@recthy}<#1>}{\begin{reqblock@recthy}}%
+ \setlength{\abovedisplayskip}{0pt}%
+ \setlength{\belowdisplayskip}{0pt}%
+ \begin{requirement}{\req@nohref[#2#4]{#3}{#5}} \label{\detokenize{req:#3@#2#4}}%
+ }{
+ \end{requirement}%
+ \vspace*{-.3cm}%
+ \end{reqblock@recthy}%
+ }
+ \NewDocumentEnvironment{BeamerRequire*}{d<>O{}mO{}m}{\IfValueTF{#1}{\begin{reqblock@recthy}<#1>}{\begin{reqblock@recthy}}%
+ \setlength{\abovedisplayskip}{0pt}%
+ \setlength{\belowdisplayskip}{0pt}%
+ \begin{requirement}{\req@nohref[#2#4]{#3}{#5}}
+ }{
+ \end{requirement}%
+ \vspace*{-.3cm}%
+ \end{reqblock@recthy}%
+ }
+\else
\NewDocumentEnvironment{requirements}{}{%
\@pmg@saveeqstate%
@@ -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@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@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@rollback@threeTwo}{
- \let\reaop=\REAop
- \let\alphaREAop=\REAop
- \let\aREAop=\alphaREAop
- }
+ % % \newcommand*{\alphaREAop}[2][]{\mathcal{J}^{#2}_{#1}}
+ % \appto{\recthy@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@pmg\discard#1\@nil\expandafter\detokenize{\next@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@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