fix testfile

This commit is contained in:
Maximilian Keßler 2022-02-03 13:48:47 +01:00
parent 7dca64fa36
commit c4d46e5dce

View file

@ -1,4 +1,4 @@
\documentclass[12pt]{article}
\documentclass[12pt]{minimal}
\usepackage{l3benchmark}
@ -7,43 +7,78 @@
\usepackage[generate defaults = false]{fancythm}
\ExplSyntaxOn
\iow_new:N \l_my_iow
\iow_open:Nn \l_my_iow { dump.txt }
\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
\AddToHook { begindocument / before } [ fancythm ]
{
\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 }
\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 }
}
}
\ExplSyntaxOff
\begin{document}
\begin{abuse}
\end{abuse}
nothing
\end{document}