From b663c78c9139e3dfdf37d3b9fa63079dc55b5dec Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Maximilian=20Ke=C3=9Fler?= Date: Sun, 16 Jan 2022 23:56:03 +0100 Subject: [PATCH] add working test for groupthm --- tests/environments/groupthm/test.tex | 101 +++++++++++++++++++++++++++ 1 file changed, 101 insertions(+) create mode 100644 tests/environments/groupthm/test.tex diff --git a/tests/environments/groupthm/test.tex b/tests/environments/groupthm/test.tex new file mode 100644 index 0000000..ba35b7a --- /dev/null +++ b/tests/environments/groupthm/test.tex @@ -0,0 +1,101 @@ +\documentclass{article} + +\usepackage[enable-debug]{expl3} + +\ExplSyntaxOn +\debug_on:n { all } +\ExplSyntaxOff + +\usepackage{mkessler-groupthm} + +\DeclareTheoremGroupRule {dagger}{before}{star} +\DeclareTheoremGroupRule {starred}{higher}{dagger} + +\NewGroupedTheorem + [ + group = {big, starred, dagger} + ]{dlemma} + +\NewGroupedTheorem + [ + group = {big, star} + ]{slemma} + +\NewGroupedTheorem + [ + group = {big}, +% thmtools = {sibling = insection} + ]{lemma} + +\NewGroupedTheorem +[ + name=Proposition, group = {dagger} +]{dproposition} + +\NewGroupedTheorem +[ + name=Proposition, + group = {star} +]{sproposition} + +\NewGroupedTheorem +[ +group = {dagger, star} +]{test} + + +\GenerateTheoremVariants[ group = {star, dagger} ]{example} + +\DeclareTheoremVariants{example} { !s !t+ } +{ + \IfBooleanT{#1} + { + \AddTheoremToGroup { star } + } + \IfBooleanT{#2} + { + \AddTheoremToGroup { dagger } + } +} + +\begin{document} + + +\b{hi} + +\begin{dlemma} + +\end{dlemma} +%\begin{__example__groups_dagger_star} + test +%\end{__example__groups_dagger_star} + +\def\ex{__example__groups_} + +%\ShowHook{groupthm/groupsort} + + +\begin{example} + test +\end{example} + +\begin{example}+ + test +\end{example} + +\begin{example}* + test +\end{example} + +\begin{example}*+ + test +\end{example} + +\begin{example*} + test +\end{example*} + + + + +\end{document}