diff options
Diffstat (limited to 'macros/latex/contrib/rec-thy/rec-thy.sty')
-rw-r--r-- | macros/latex/contrib/rec-thy/rec-thy.sty | 93 |
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 |