modify tests slightly

This commit is contained in:
Maximilian Keßler 2022-02-03 13:11:13 +01:00
parent c38fd317ae
commit 7dca64fa36
3 changed files with 43 additions and 63 deletions

View file

View file

@ -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}

View file

@ -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