diff --git a/tests/environments/fancythm/dump.txt b/tests/environments/fancythm/dump.txt new file mode 100644 index 0000000..e69de29 diff --git a/tests/environments/fancythm/test.tex b/tests/environments/fancythm/test.tex index f1cadc7..b27db55 100644 --- a/tests/environments/fancythm/test.tex +++ b/tests/environments/fancythm/test.tex @@ -7,65 +7,41 @@ \usepackage[generate defaults = false]{fancythm} \ExplSyntaxOn - \fancythm_provide_big_theorem:nn { style = thmredmarginandfill } { theorem } - \fancythm_provide_big_theorem:nn { style = thmredmarginandfill } { proposition } - \fancythm_provide_big_theorem:nn { style = thmredmarginandfill } { corollary } - \fancythm_provide_big_theorem:nn { style = thmbluemarginandfill } { definition } - \fancythm_provide_big_theorem:nn { style = thmorangemarginandfill} { lemma } - \fancythm_provide_big_theorem:nn { style = thmgreenmargin } { example } - \fancythm_provide_big_theorem:nn - { - style = thmredmarginbluefill, - name = Theorem ~ and ~ Definition - } { theoremdef } - \fancythm_provide_big_theorem:nn - { - style = thmredmarginbluefill, - name = Proposition ~ and ~ Definition - } { propositiondef } - \fancythm_provide_big_theorem:nn - { - style = thmorangemarginbluefill, - name = Lemma ~ and ~ Definition - } { propositiondef } - \fancythm_provide_small_theorem:nn { style = thmvioletmargin } { notation } - \fancythm_provide_small_theorem:nn { style = thmyellowmargin } { remark } - \fancythm_provide_small_theorem:nn { style = thmgoldmargin } { praise } - \fancythm_provide_small_theorem:nn { style = thmblackmarginandfill } { question } - \fancythm_provide_small_theorem:nn { style = thmblackmargin } { orga } - \fancythm_provide_small_theorem:nn { style = thmredmargin } { fact } - \fancythm_provide_small_theorem:nn - { - style = thmyellowmargin, - name = Trivial ~ Nonsense - } { trivial } - \fancythm_provide_small_theorem:nn - { - style = thmvioletmargin, - name = Abuse ~ of ~ Notation - } { abuse } - \fancythm_provide_small_theorem:nn - { - style = thmyellowmargin, - name = Oral ~ remark - } { oral } -% \end{macrocode} -% \begin{macrocode} - \fancythm_provide_tiny_theorem:nn { } { variant } - \fancythm_provide_tiny_theorem:nn { } { assumption } - \fancythm_provide_tiny_theorem:nn { } { note } - \fancythm_provide_tiny_theorem:nn { } { warning } - \fancythm_provide_tiny_theorem:nn { } { goal } - \fancythm_provide_tiny_theorem:nn { } { strategy } - \fancythm_provide_tiny_theorem:nn { } { problem } - \fancythm_provide_tiny_theorem:nn { } { info } - \fancythm_provide_tiny_theorem:nn { } { observe } - \fancythm_provide_tiny_theorem:nn { } { property } - \fancythm_provide_tiny_theorem:nn { } { intuition } - \fancythm_provide_tiny_theorem:nn { } { recall } - \fancythm_provide_tiny_theorem:nn { } { idea } - \fancythm_provide_tiny_theorem:nn { } { exercise } - \fancythm_provide_tiny_theorem:nn { } { reminder } +\benchmark_once:n { + \fancythm_provide_theorem:nVVV {theorem}\l__fancythm_group_clist \l__fancythm_name_tl \l__fancythm_thmtools_clist + \fancythm_provide_theorem:nVVV {proposition}\l__fancythm_group_clist \l__fancythm_name_tl \l__fancythm_thmtools_clist + \fancythm_provide_theorem:nVVV {corollary}\l__fancythm_group_clist \l__fancythm_name_tl \l__fancythm_thmtools_clist + \fancythm_provide_theorem:nVVV {definition}\l__fancythm_group_clist \l__fancythm_name_tl \l__fancythm_thmtools_clist + \fancythm_provide_theorem:nVVV {lemma}\l__fancythm_group_clist \l__fancythm_name_tl \l__fancythm_thmtools_clist + \fancythm_provide_theorem:nVVV {example}\l__fancythm_group_clist \l__fancythm_name_tl \l__fancythm_thmtools_clist + \fancythm_provide_theorem:nVVV {theoremdef}\l__fancythm_group_clist \l__fancythm_name_tl \l__fancythm_thmtools_clist + \fancythm_provide_theorem:nVVV {propositiondef}\l__fancythm_group_clist \l__fancythm_name_tl \l__fancythm_thmtools_clist + \fancythm_provide_theorem:nVVV {propositiondef}\l__fancythm_group_clist \l__fancythm_name_tl \l__fancythm_thmtools_clist + \fancythm_provide_theorem:nVVV {notation}\l__fancythm_group_clist \l__fancythm_name_tl \l__fancythm_thmtools_clist + \fancythm_provide_theorem:nVVV {remark}\l__fancythm_group_clist \l__fancythm_name_tl \l__fancythm_thmtools_clist + \fancythm_provide_theorem:nVVV {praise}\l__fancythm_group_clist \l__fancythm_name_tl \l__fancythm_thmtools_clist + \fancythm_provide_theorem:nVVV {question}\l__fancythm_group_clist \l__fancythm_name_tl \l__fancythm_thmtools_clist + \fancythm_provide_theorem:nVVV {orga}\l__fancythm_group_clist \l__fancythm_name_tl \l__fancythm_thmtools_clist + \fancythm_provide_theorem:nVVV {fact}\l__fancythm_group_clist \l__fancythm_name_tl \l__fancythm_thmtools_clist + \fancythm_provide_theorem:nVVV {trivial}\l__fancythm_group_clist \l__fancythm_name_tl \l__fancythm_thmtools_clist + \fancythm_provide_theorem:nVVV {abuse}\l__fancythm_group_clist \l__fancythm_name_tl \l__fancythm_thmtools_clist + \fancythm_provide_theorem:nVVV {oral}\l__fancythm_group_clist \l__fancythm_name_tl \l__fancythm_thmtools_clist + \fancythm_provide_theorem:nVVV {variant}\l__fancythm_group_clist \l__fancythm_name_tl \l__fancythm_thmtools_clist + \fancythm_provide_theorem:nVVV {assumption}\l__fancythm_group_clist \l__fancythm_name_tl \l__fancythm_thmtools_clist + \fancythm_provide_theorem:nVVV {note}\l__fancythm_group_clist \l__fancythm_name_tl \l__fancythm_thmtools_clist + \fancythm_provide_theorem:nVVV {warning}\l__fancythm_group_clist \l__fancythm_name_tl \l__fancythm_thmtools_clist + \fancythm_provide_theorem:nVVV {goal}\l__fancythm_group_clist \l__fancythm_name_tl \l__fancythm_thmtools_clist + \fancythm_provide_theorem:nVVV {strategy}\l__fancythm_group_clist \l__fancythm_name_tl \l__fancythm_thmtools_clist + \fancythm_provide_theorem:nVVV {problem}\l__fancythm_group_clist \l__fancythm_name_tl \l__fancythm_thmtools_clist + \fancythm_provide_theorem:nVVV {info}\l__fancythm_group_clist \l__fancythm_name_tl \l__fancythm_thmtools_clist + \fancythm_provide_theorem:nVVV {observe}\l__fancythm_group_clist \l__fancythm_name_tl \l__fancythm_thmtools_clist + \fancythm_provide_theorem:nVVV {property}\l__fancythm_group_clist \l__fancythm_name_tl \l__fancythm_thmtools_clist + \fancythm_provide_theorem:nVVV {intuition}\l__fancythm_group_clist \l__fancythm_name_tl \l__fancythm_thmtools_clist + \fancythm_provide_theorem:nVVV {recall}\l__fancythm_group_clist \l__fancythm_name_tl \l__fancythm_thmtools_clist + \fancythm_provide_theorem:nVVV {idea}\l__fancythm_group_clist \l__fancythm_name_tl \l__fancythm_thmtools_clist + \fancythm_provide_theorem:nVVV {exercise}\l__fancythm_group_clist \l__fancythm_name_tl \l__fancythm_thmtools_clist + \fancythm_provide_theorem:nVVV {reminder}\l__fancythm_group_clist \l__fancythm_name_tl \l__fancythm_thmtools_clist +} \ExplSyntaxOff \begin{document} diff --git a/tests/environments/fancythm/test2.tex b/tests/environments/fancythm/test2.tex index 2f59923..bbe5a1b 100644 --- a/tests/environments/fancythm/test2.tex +++ b/tests/environments/fancythm/test2.tex @@ -1,10 +1,14 @@ -\documentclass{article} - -\usepackage[generate defaults = false]{fancythm} +\documentclass{minimal} \usepackage{l3benchmark} +\usepackage[generate defaults = false]{fancythm} + \ExplSyntaxOn + +\iow_new:N \l_my_iow +\iow_open:Nn \l_my_iow { dump.txt } + \tl_put_right:Nn \l_tmpa_tl { \csname __groupthm_thmtools_declare_theorem:nn\endcsname {name=Definition}{__definition__groups_} @@ -181,7 +185,7 @@ \csname __groupthm_thmtools_declare_theorem:nn\endcsname {sibling=sublevel,numbered=no,name=\csname __fancythm_translate:n\endcsname {Reminder}*$^{\dagger }$}{__reminder__groups_tiny_dagger_star} \csname __groupthm_define_family_options:nnnn\endcsname {reminder}{!s!t+}{\IfBooleanT {#1}{\AddTheoremToGroup {star}}\IfBooleanT {#2}{\AddTheoremToGroup {dagger}}}{tiny} } - \tl_show:N \l_tmpa_tl +% \exp_args:NNV \iow_now:Nn \l_my_iow \l_tmpa_tl \benchmark_once:n { \tl_use:N \l_tmpa_tl