From 9b64e53a9865ec5cb6959457183ae716355de145 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Maximilian=20Ke=C3=9Fler?= Date: Thu, 3 Feb 2022 12:32:37 +0100 Subject: [PATCH] expand test and add benchmarkin --- tests/environments/fancythm/test.tex | 27 +++++++++++++++++++++++++-- 1 file changed, 25 insertions(+), 2 deletions(-) diff --git a/tests/environments/fancythm/test.tex b/tests/environments/fancythm/test.tex index df202b2..5ebf4f0 100644 --- a/tests/environments/fancythm/test.tex +++ b/tests/environments/fancythm/test.tex @@ -1,7 +1,9 @@ \documentclass[12pt]{article} -\usepackage[default styles]{thmstyle} +\usepackage{l3benchmark} + +\PassOptionsToPackage{cache}{groupthm} \usepackage[number in = section]{fancythm} @@ -9,12 +11,33 @@ %\@counteralias{insection}{indocument} \makeatother -\ExplSyntaxOff \AddProvidedFancyTheoremToGroup{lemma}{small} +\NewTheoremGroup[suffix = $\frac{3}{4}$]{gag} + +\NewGroupedTheoremFamily[group = {dagger, star, gag}]{definition} + +\NewGroupedTheoremFamilyOptions{definition}{!s !t+ !tg } +{ + \IfBooleanT{#3} { \AddTheoremToGroup{gag}} +} + + +\ExplSyntaxOn +\benchmark_once:n + { +% \__groupthm_thmtools_declare_theorem:nn{name=Definition}{__definition__groups_} + } +\ExplSyntaxOff + + \begin{document} +\begin{definition}g + bla +\end{definition} + \section{test} \stepcounter{toplevel}