2022-01-18 03:54:34 +01:00
|
|
|
%%
|
|
|
|
%% This is file `groupthm.sty',
|
|
|
|
%% generated with the docstrip utility.
|
|
|
|
%%
|
|
|
|
%% The original source files were:
|
|
|
|
%%
|
|
|
|
%% groupthm.dtx (with options: `package')
|
|
|
|
%%
|
|
|
|
%% IMPORTANT NOTICE:
|
|
|
|
%%
|
|
|
|
%% For the copyright see the source file.
|
|
|
|
%%
|
|
|
|
%% Any modified versions of this file must be renamed
|
|
|
|
%% with new filenames distinct from groupthm.sty.
|
|
|
|
%%
|
|
|
|
%% For distribution of the original source see the terms
|
|
|
|
%% for copying and modification in the file groupthm.dtx.
|
|
|
|
%%
|
|
|
|
%% This generated file may be distributed as long as the
|
|
|
|
%% original source files, as listed above, are part of the
|
|
|
|
%% same distribution. (The sources need not necessarily be
|
|
|
|
%% in the same archive or directory.)
|
|
|
|
%% File: groupthm.dtx
|
|
|
|
\ProvidesExplPackage{groupthm}{2022/01/17}{0.0.1}{Grouped theorems.}
|
|
|
|
\RequirePackage{amsthm}
|
|
|
|
\RequirePackage{thmtools}
|
|
|
|
\cs_new:Npn \__groupthm_thmtools_declare_theorem:nn #1 #2
|
|
|
|
{
|
2022-01-18 13:23:44 +01:00
|
|
|
\tl_log:n { Declaring ~ thmtools ~ theorem ~ #2 }
|
2022-01-18 03:54:34 +01:00
|
|
|
\declaretheorem [ #1 ] { #2 }
|
|
|
|
}
|
|
|
|
\cs_generate_variant:Nn \__groupthm_thmtools_declare_theorem:nn { V n }
|
|
|
|
\cs_new:Npn \__groupthm_hook_gset_rule_foreach:nNnn #1 #2 #3 #4
|
|
|
|
{
|
|
|
|
\cs_set:Npn \__groupthm_map_aux:n ##1
|
|
|
|
{
|
|
|
|
\hook_gset_rule:nnnn { #1 } { ##1 } { #3 } { #4 }
|
|
|
|
}
|
|
|
|
\clist_map_function:NN #2 \__groupthm_map_aux:n
|
|
|
|
}
|
|
|
|
\msg_new:nnn { groupthm } { unknown ~ group }
|
|
|
|
{
|
|
|
|
Unknown ~ group ~ '#1' ~ supplied ~ \msg_line_context:
|
|
|
|
}
|
|
|
|
\msg_new:nnn { groupthm } { unknown ~ key }
|
|
|
|
{
|
|
|
|
Unknown ~ key ~ '#1' ~ supplied ~ \msg_line_context:
|
|
|
|
}
|
|
|
|
\msg_new:nnn { groupthm } { wrong ~ definition }
|
|
|
|
{
|
|
|
|
Bad ~ definition ~ of ~ #1 ~ '#2' ~ \msg_line_context:, ~ #1 ~ is ~ #3 ~ defined.
|
|
|
|
}
|
2022-01-18 15:39:08 +01:00
|
|
|
\msg_new:nnn { groupthm } { misuse ~ add ~ theorem ~ to ~ group }
|
|
|
|
{
|
|
|
|
Bad ~ usage ~ of ~ 'AddTheoremToGroup' ~ macro ~ outside ~ theorem ~
|
|
|
|
family ~ options ~ \msg_line_context:
|
|
|
|
}
|
2022-01-18 21:14:02 +01:00
|
|
|
\msg_new:nnnn { groupthm } { undefined ~ theorem ~ variant }
|
|
|
|
{
|
|
|
|
Bad ~ call ~ of ~ theorem ~ variant ~ of ~ '#1' ~ \msg_line_context:
|
|
|
|
}
|
|
|
|
{
|
|
|
|
You ~ wanted ~ to ~ call ~ the ~ variant ~ with ~ group(s) ~
|
|
|
|
'#2' ~ of ~ theorem ~ family ~ '#1', ~ but ~ it ~ has ~ not ~ been ~
|
|
|
|
generated ~ yet. ~
|
|
|
|
Probably ~ you ~ forgot ~ this. ~
|
|
|
|
\msg_see_documentation_text:n { groupthm }
|
|
|
|
}
|
2022-01-20 15:25:31 +01:00
|
|
|
\hook_new:n { __groupthm/prefix }
|
|
|
|
\hook_new:n { __groupthm/suffix }
|
2022-01-18 03:54:34 +01:00
|
|
|
\hook_new:n { __groupthm/mapname }
|
|
|
|
\hook_new:n { __groupthm/thmtools }
|
|
|
|
\hook_new:n { __groupthm/groupsort }
|
|
|
|
\cs_generate_variant:Nn \hook_gset_rule:nnnn { n n V n }
|
2022-01-20 15:25:31 +01:00
|
|
|
\tl_new:N \l__groupthm_key_prefix_tl
|
2022-01-18 03:54:34 +01:00
|
|
|
\tl_new:N \l__groupthm_key_name_tl
|
2022-01-20 15:25:31 +01:00
|
|
|
\tl_new:N \l__groupthm_key_suffix_tl
|
2022-01-18 03:54:34 +01:00
|
|
|
\clist_new:N \l__groupthm_key_group_clist
|
|
|
|
\clist_new:N \l__groupthm_key_mapname_clist
|
|
|
|
\clist_new:N \l__groupthm_key_thmtools_clist
|
2022-01-20 15:25:31 +01:00
|
|
|
\tl_new:N \l__groupthm_prefix_tl
|
2022-01-18 03:54:34 +01:00
|
|
|
\tl_new:N \l__groupthm_name_tl
|
2022-01-20 15:25:31 +01:00
|
|
|
\tl_new:N \l__groupthm_suffix_tl
|
2022-01-18 03:54:34 +01:00
|
|
|
\clist_new:N \l__groupthm_mapname_clist
|
|
|
|
\clist_new:N \l__groupthm_thmtools_clist
|
|
|
|
\clist_new:N \l__groupthm_group_clist
|
|
|
|
\clist_new:N \g__groupthm_defined_theorem_groups_clist
|
2022-01-18 15:39:08 +01:00
|
|
|
\bool_new:N \l__groupthm_in_family_options_environment_bool
|
2022-01-18 03:54:34 +01:00
|
|
|
\keys_define:nn { groupthm }
|
|
|
|
{
|
2022-01-20 15:25:31 +01:00
|
|
|
prefix .tl_set:N = \l__groupthm_key_prefix_tl,
|
|
|
|
prefix .default:n = \c_empty_tl,
|
|
|
|
prefix .groups:n = { theoremgroup },
|
2022-01-18 03:54:34 +01:00
|
|
|
name .tl_set:N = \l__groupthm_key_name_tl,
|
|
|
|
name .default:n = \c_novalue_tl,
|
|
|
|
name .groups:n = { groupedtheorem, theoremvariants },
|
2022-01-20 15:25:31 +01:00
|
|
|
suffix .tl_set:N = \l__groupthm_key_suffix_tl,
|
|
|
|
suffix .default:n = \c_empty_tl,
|
|
|
|
suffix .groups:n = { theoremgroup },
|
2022-01-18 03:54:34 +01:00
|
|
|
group .clist_set:N = \l__groupthm_key_group_clist,
|
|
|
|
group .default:n = {},
|
|
|
|
group .groups:n = { groupedtheorem, theoremvariants },
|
|
|
|
mapname .clist_set:N = \l__groupthm_mapname_clist,
|
|
|
|
mapname .default:n = {},
|
|
|
|
mapname .groups:n = { theoremgroup },
|
|
|
|
thmtools .clist_set:N = \l__groupthm_key_thmtools_clist,
|
|
|
|
thmtools .default:n = {},
|
|
|
|
thmtools .groups:n =
|
|
|
|
{ theoremgroup, groupedtheorem, theoremvariants },
|
|
|
|
unknown .code:n =
|
|
|
|
\msg_error:nnn { groupthm } { unknown ~ group } { \l_keys_key_str }
|
|
|
|
}
|
|
|
|
\cs_new:Npn \__groupthm_set_normalized_keys:nnn #1 #2 #3
|
|
|
|
{
|
2022-01-20 15:25:31 +01:00
|
|
|
\keys_set:nn { groupthm } { prefix, name, suffix, group, mapname, thmtools }
|
2022-01-18 03:54:34 +01:00
|
|
|
\keys_set_groups:nnn { groupthm } { #2 } { #1 }
|
|
|
|
\tl_if_eq:NnTF \l__groupthm_key_name_tl { \c_novalue_tl }
|
|
|
|
{
|
|
|
|
\tl_set:Nx \l__groupthm_name_tl
|
|
|
|
{
|
|
|
|
\text_titlecase_first:n {#3}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
{
|
|
|
|
\tl_set_eq:NN \l__groupthm_name_tl \l__groupthm_key_name_tl
|
|
|
|
}
|
2022-01-20 15:25:31 +01:00
|
|
|
\tl_set_eq:NN \l__groupthm_prefix_tl \l__groupthm_key_prefix_tl
|
|
|
|
\tl_set_eq:NN \l__groupthm_suffix_tl \l__groupthm_key_suffix_tl
|
2022-01-18 03:54:34 +01:00
|
|
|
\clist_set_eq:NN \l__groupthm_group_clist \l__groupthm_key_group_clist
|
|
|
|
\clist_set_eq:NN \l__groupthm_mapname_clist \l__groupthm_key_mapname_clist
|
|
|
|
\clist_set_eq:NN \l__groupthm_thmtools_clist \l__groupthm_key_thmtools_clist
|
|
|
|
}
|
|
|
|
\cs_new:Npn \__groupthm_add_to_theorem_group_ordering:n #1
|
|
|
|
{
|
|
|
|
\__groupthm_hook_gset_rule_foreach:nNnn
|
|
|
|
{ __groupthm/groupsort }
|
|
|
|
\g__groupthm_defined_theorem_groups_clist
|
|
|
|
{ before }
|
|
|
|
{ #1 }
|
|
|
|
}
|
|
|
|
\cs_new:Npn \__groupthm_remove_from_theorem_group_ordering:n #1
|
|
|
|
{
|
|
|
|
\__groupthm_hook_gset_rule_foreach:nNnn
|
|
|
|
{ __groupthm/groupsort }
|
|
|
|
\g__groupthm_defined_theorem_groups_clist
|
|
|
|
{ unrelated }
|
|
|
|
{ #1 }
|
|
|
|
}
|
|
|
|
\cs_new:Npn \__groupthm_add_to_sort_hook:n #1
|
|
|
|
{
|
|
|
|
\hook_gput_code:nnn { __groupthm/groupsort }
|
|
|
|
{ #1 }
|
|
|
|
{
|
|
|
|
\clist_put_left:Nn \l__groupthm_group_clist { #1 }
|
|
|
|
}
|
|
|
|
}
|
|
|
|
\cs_new:Npn \__groupthm_sort_theorem_group_names:
|
|
|
|
{
|
|
|
|
\hook_gremove_code:nn { __groupthm/groupsort }{*}
|
2022-01-18 13:23:44 +01:00
|
|
|
\clist_map_function:NN \l__groupthm_group_clist \__groupthm_add_to_sort_hook:n
|
2022-01-18 03:54:34 +01:00
|
|
|
\clist_clear:N \l__groupthm_group_clist
|
|
|
|
\hook_use:n { __groupthm/groupsort }
|
|
|
|
}
|
2022-01-20 21:43:03 +01:00
|
|
|
\cs_new:Npn \__groupthm_define_group:nnnnn #1#2#3#4#5
|
2022-01-18 03:54:34 +01:00
|
|
|
{
|
|
|
|
\cs_new:cpn { __groupthm_use_group_#1: }
|
|
|
|
{
|
2022-01-20 15:25:31 +01:00
|
|
|
\hook_gput_code:nnn { __groupthm/prefix } { #1 }
|
2022-01-18 03:54:34 +01:00
|
|
|
{
|
2022-01-20 15:25:31 +01:00
|
|
|
\tl_put_left:Nx \l__groupthm_prefix_tl { #2 }
|
2022-01-18 03:54:34 +01:00
|
|
|
}
|
2022-01-20 15:25:31 +01:00
|
|
|
\hook_gput_code:nnn { __groupthm/suffix } { #1 }
|
2022-01-18 03:54:34 +01:00
|
|
|
{
|
2022-01-20 15:25:31 +01:00
|
|
|
\tl_put_right:Nx \l__groupthm_suffix_tl { #3 }
|
2022-01-18 03:54:34 +01:00
|
|
|
}
|
|
|
|
\hook_gput_code:nnn { __groupthm/mapname } { #1 }
|
|
|
|
{
|
|
|
|
\clist_put_right:Nn \l__groupthm_mapname_clist { #4 }
|
|
|
|
}
|
|
|
|
\hook_gput_code:nnn { __groupthm/thmtools } { #1 }
|
|
|
|
{
|
|
|
|
\clist_put_right:Nn \l__groupthm_thmtools_clist { #5 }
|
|
|
|
}
|
|
|
|
}
|
|
|
|
\__groupthm_add_to_theorem_group_ordering:n { #1 }
|
|
|
|
\clist_gput_left:Nn \g__groupthm_defined_theorem_groups_clist { #1 }
|
|
|
|
}
|
2022-01-20 21:43:03 +01:00
|
|
|
\cs_new:Npn \__groupthm_undefine_group:n #1
|
2022-01-18 03:54:34 +01:00
|
|
|
{
|
|
|
|
\cs_undefine:c { __groupthm_use_group_#1: }
|
2022-01-20 15:25:31 +01:00
|
|
|
\hook_gremove_code:nn { __groupthm/prefix } { #1 }
|
|
|
|
\hook_gremove_code:nn { __groupthm/suffix } { #1 }
|
2022-01-18 03:54:34 +01:00
|
|
|
\hook_gremove_code:nn { __groupthm/mapname } { #1 }
|
|
|
|
\hook_gremove_code:nn { __groupthm/thmtools } { #1 }
|
|
|
|
\clist_gremove_all:Nn \g__groupthm_defined_theorem_groups_clist { #1 }
|
|
|
|
\__groupthm_hook_gset_rule_foreach:nNnn
|
|
|
|
{ ?? }
|
|
|
|
\g__groupthm_defined_theorem_groups_clist
|
|
|
|
{ unrelated }
|
|
|
|
{ #1 }
|
|
|
|
\__groupthm_hook_gset_rule_foreach:nNnn
|
2022-01-20 15:25:31 +01:00
|
|
|
{ __groupthm/prefix }
|
2022-01-18 03:54:34 +01:00
|
|
|
\g__groupthm_defined_theorem_groups_clist
|
|
|
|
{ unrelated }
|
|
|
|
{ #1 }
|
|
|
|
\__groupthm_hook_gset_rule_foreach:nNnn
|
2022-01-20 15:25:31 +01:00
|
|
|
{ __groupthm/suffix }
|
2022-01-18 03:54:34 +01:00
|
|
|
\g__groupthm_defined_theorem_groups_clist
|
|
|
|
{ unrelated }
|
|
|
|
{ #1 }
|
|
|
|
\__groupthm_hook_gset_rule_foreach:nNnn
|
|
|
|
{ __groupthm/mapname }
|
|
|
|
\g__groupthm_defined_theorem_groups_clist
|
|
|
|
{ unrelated }
|
|
|
|
{ #1 }
|
|
|
|
\__groupthm_hook_gset_rule_foreach:nNnn
|
|
|
|
{ __groupthm/thmtools }
|
|
|
|
\g__groupthm_defined_theorem_groups_clist
|
|
|
|
{ unrelated }
|
|
|
|
{ #1 }
|
|
|
|
\__groupthm_remove_from_theorem_group_ordering:n { #1 }
|
|
|
|
}
|
2022-01-20 15:25:31 +01:00
|
|
|
|
2022-01-21 12:25:24 +01:00
|
|
|
\cs_new:Npn \__groupthm_define:nnnNNNn #1 #2 #3 #4 #5 #6 #7
|
|
|
|
{
|
2022-01-20 15:25:31 +01:00
|
|
|
\bool_if:nT
|
2022-01-21 12:25:24 +01:00
|
|
|
{
|
|
|
|
\str_if_eq_p:nn { #1 } { new }
|
|
|
|
&&
|
|
|
|
\cs_if_exist_p:N #4
|
|
|
|
}
|
|
|
|
{
|
2022-01-20 15:25:31 +01:00
|
|
|
\msg_error:nnnn { groupthm } { wrong ~ definition }
|
2022-01-21 12:25:24 +01:00
|
|
|
{ #2 } { #3 } { already }
|
|
|
|
}
|
2022-01-20 15:25:31 +01:00
|
|
|
\bool_if:nT
|
2022-01-21 12:25:24 +01:00
|
|
|
{
|
2022-01-20 15:25:31 +01:00
|
|
|
\str_if_eq_p:nn { #1 } { renew }
|
2022-01-21 12:25:24 +01:00
|
|
|
&&
|
|
|
|
! \cs_if_exist_p:N #4
|
|
|
|
}
|
|
|
|
{
|
|
|
|
\msg_error:nnnn { groupthm } { wrong ~ definition }
|
|
|
|
{ #2 } { #3 } { not }
|
|
|
|
}
|
|
|
|
\bool_if:nT
|
|
|
|
{
|
|
|
|
(
|
|
|
|
\str_if_eq_p:nn { #1 } { declare } ||
|
|
|
|
\str_if_eq_p:nn { #1 } { renew }
|
|
|
|
) &&
|
|
|
|
\cs_if_exist_p:N #4
|
|
|
|
}
|
|
|
|
{
|
|
|
|
#5 { #1 }
|
|
|
|
}
|
|
|
|
\cs_if_exist:NF #4
|
|
|
|
{
|
|
|
|
#6 #7
|
|
|
|
}
|
|
|
|
}
|
|
|
|
\cs_generate_variant:Nn \__groupthm_define:nnnNNNn { n n n c N N n }
|
|
|
|
\cs_new:Npn \__groupthm_define_multiple_aux:nnnNNnn #1 #2 #3 #4 #5 #6 #7
|
2022-01-20 21:39:49 +01:00
|
|
|
{
|
2022-01-21 12:25:24 +01:00
|
|
|
\cs_set:Npn \__groupthm_map_aux:n ##1
|
|
|
|
{
|
|
|
|
\cs_new:cn { #6 }
|
|
|
|
{
|
|
|
|
\__groupthm_define:nnncNNn
|
|
|
|
{ ##1 }
|
|
|
|
{ #2 }
|
|
|
|
{ ####1 }
|
|
|
|
{ #3 }
|
|
|
|
#4
|
|
|
|
#5
|
|
|
|
{ #7 }
|
|
|
|
}
|
|
|
|
}
|
|
|
|
\clist_map_function:nN { #1 } \__groupthm_map_aux:n
|
2022-01-18 03:54:34 +01:00
|
|
|
}
|
2022-01-21 12:25:24 +01:00
|
|
|
\__groupthm_define_multiple_aux:nnnNNnn
|
2022-01-20 21:39:49 +01:00
|
|
|
{ new, renew, provide, declare }
|
|
|
|
{ theorem group }
|
|
|
|
{ __groupthm_use_group_##1: }
|
2022-01-20 21:43:03 +01:00
|
|
|
\__groupthm_undefine_group:n
|
|
|
|
\__groupthm_define_group:nnnnn
|
2022-01-20 21:39:49 +01:00
|
|
|
{ groupthm_#1_group:nnnnn }
|
|
|
|
{ { ##1 } { ##2 } { ##3 } { ##4 } { ##5 } }
|
2022-01-21 12:25:24 +01:00
|
|
|
\cs_generate_variant:Nn \groupthm_new_group:nnnnn { n V V V V }
|
|
|
|
\cs_generate_variant:Nn \groupthm_renew_group:nnnnn { n V V V V }
|
|
|
|
\cs_generate_variant:Nn \groupthm_provide_group:nnnnn { n V V V V }
|
|
|
|
\cs_generate_variant:Nn \groupthm_declare_group:nnnnn { n V V V V }
|
2022-01-20 21:39:49 +01:00
|
|
|
\cs_new:Npn \groupthm_new_group_from_keys:nn #1#2
|
2022-01-18 03:54:34 +01:00
|
|
|
{
|
|
|
|
\__groupthm_set_normalized_keys:nnn { #1 } { theoremgroup } { #2 }
|
2022-01-20 21:39:49 +01:00
|
|
|
\groupthm_new_group:nVVVV { #2 }
|
2022-01-20 15:25:31 +01:00
|
|
|
\l__groupthm_prefix_tl
|
|
|
|
\l__groupthm_suffix_tl
|
2022-01-18 03:54:34 +01:00
|
|
|
\l__groupthm_mapname_clist
|
|
|
|
\l__groupthm_thmtools_clist
|
|
|
|
}
|
2022-01-20 21:39:49 +01:00
|
|
|
\cs_new:Npn \groupthm_renew_group_from_keys:nn #1#2
|
2022-01-18 03:54:34 +01:00
|
|
|
{
|
|
|
|
\__groupthm_set_normalized_keys:nnn { #1 } { theoremgroup } { #2 }
|
2022-01-20 21:39:49 +01:00
|
|
|
\groupthm_renew_group:nVVVV { #2 }
|
2022-01-20 15:25:31 +01:00
|
|
|
\l__groupthm_prefix_tl
|
|
|
|
\l__groupthm_suffix_tl
|
2022-01-18 03:54:34 +01:00
|
|
|
\l__groupthm_mapname_clist
|
|
|
|
\l__groupthm_thmtools_clist
|
|
|
|
}
|
|
|
|
\cs_new:Npn \groupthm_provide_theorem_group_from_keys:nn #1#2
|
|
|
|
{
|
|
|
|
\__groupthm_set_normalized_keys:nnn { #1 } { theoremgroup } { #2 }
|
2022-01-21 12:25:24 +01:00
|
|
|
\groupthm_provide_group:nVVVV { #2 }
|
2022-01-20 15:25:31 +01:00
|
|
|
\l__groupthm_prefix_tl
|
|
|
|
\l__groupthm_suffix_tl
|
2022-01-18 03:54:34 +01:00
|
|
|
\l__groupthm_mapname_clist
|
|
|
|
\l__groupthm_thmtools_clist
|
|
|
|
}
|
|
|
|
\cs_new:Npn \groupthm_declare_theorem_group_from_keys:nn #1#2
|
|
|
|
{
|
|
|
|
\__groupthm_set_normalized_keys:nnn { #1 } { theoremgroup } { #2 }
|
2022-01-21 12:25:24 +01:00
|
|
|
\groupthm_declare_group:nVVVV { #2 }
|
2022-01-20 15:25:31 +01:00
|
|
|
\l__groupthm_prefix_tl
|
|
|
|
\l__groupthm_suffix_tl
|
2022-01-18 03:54:34 +01:00
|
|
|
\l__groupthm_mapname_clist
|
|
|
|
\l__groupthm_thmtools_clist
|
|
|
|
}
|
|
|
|
\NewDocumentCommand{\NewTheoremGroup}{ O{} m }
|
|
|
|
{
|
2022-01-20 21:39:49 +01:00
|
|
|
\groupthm_new_group_from_keys:nn { #1 } { #2 }
|
2022-01-18 03:54:34 +01:00
|
|
|
}
|
|
|
|
\NewDocumentCommand{\RenewTheoremGroup}{ O{} m }
|
|
|
|
{
|
2022-01-20 21:39:49 +01:00
|
|
|
\groupthm_renew_group_from_keys:nn { #1 } { #2 }
|
2022-01-18 03:54:34 +01:00
|
|
|
}
|
|
|
|
\NewDocumentCommand{\ProvideTheoremGroup}{ O{} m }
|
|
|
|
{
|
|
|
|
\groupthm_provide_theorem_group_from_keys:nn { #1 } { #2 }
|
|
|
|
}
|
|
|
|
\NewDocumentCommand{\DeclareTheoremGroup}{ O{} m }
|
|
|
|
{
|
|
|
|
\groupthm_declare_theorem_group_from_keys:nn { #1 } { #2 }
|
|
|
|
}
|
|
|
|
\cs_new:Npn \groupthm_declare_theorem_group_rule:nnnn #1 #2 #3 #4
|
|
|
|
{
|
|
|
|
\str_set:Nx \l_tmpa_str { \tl_trim_spaces:n { #3 } }
|
|
|
|
|
|
|
|
\str_if_eq:VnT \l_tmpa_str { higher }
|
|
|
|
{
|
|
|
|
\str_set:Nn \l_tmpa_tl { after }
|
|
|
|
}
|
|
|
|
|
|
|
|
\str_if_eq:VnT \l_tmpa_str { lower }
|
|
|
|
{
|
|
|
|
\str_set:Nn \l_tmpa_tl { before }
|
|
|
|
}
|
|
|
|
|
|
|
|
\str_if_eq:nnTF { #1 } { ?? }
|
|
|
|
{
|
|
|
|
\hook_gset_rule:nnVn {??} {#2} \l_tmpa_tl {#4}
|
|
|
|
}
|
|
|
|
{
|
|
|
|
\hook_gset_rule:nnVn { __groupthm / #1 } {#2} \l_tmpa_tl {#4}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
\NewDocumentCommand { \DeclareTheoremGroupRule } { O{??} m m m }
|
|
|
|
{
|
|
|
|
\groupthm_declare_theorem_group_rule:nnnn {#1} {#2} {#3} {#4}
|
|
|
|
}
|
|
|
|
% \subsection{Iterating over powersets}
|
|
|
|
\clist_new:N \l__powerset_copied_clist
|
|
|
|
\seq_new:N \l__powerset_saved_seq
|
|
|
|
\cs_generate_variant:Nn \clist_remove_all:Nn { N V }
|
|
|
|
\cs_new:Npn \__powerset_clist_foreach_aux:Nn #1 #2
|
|
|
|
{
|
|
|
|
\clist_if_empty:NTF \l__powerset_copied_clist
|
|
|
|
{
|
|
|
|
#2
|
|
|
|
}
|
|
|
|
{
|
|
|
|
\clist_get:NN \l__powerset_copied_clist \l_tmpa_tl
|
|
|
|
\seq_push:NV \l__powerset_saved_seq \l_tmpa_tl
|
|
|
|
\clist_pop:NN \l__powerset_copied_clist { \l_tmpa_tl }
|
|
|
|
|
|
|
|
\__powerset_clist_foreach_aux:Nn #1 {#2}
|
|
|
|
|
|
|
|
\seq_get:NN \l__powerset_saved_seq \l_tmpa_tl
|
|
|
|
\clist_put_left:NV #1 \l_tmpa_tl
|
|
|
|
|
|
|
|
\__powerset_clist_foreach_aux:Nn #1 {#2}
|
|
|
|
|
|
|
|
\seq_get:NN \l__powerset_saved_seq \l_tmpa_tl
|
|
|
|
\clist_remove_all:NV #1 \l_tmpa_tl
|
|
|
|
\clist_push:NV \l__powerset_copied_clist \l_tmpa_tl
|
|
|
|
\seq_pop:NN \l__powerset_saved_seq \l_tmpa_tl
|
|
|
|
}
|
|
|
|
}
|
|
|
|
\cs_new:Npn \powerset_clist_foreach:Nn #1 #2
|
|
|
|
{
|
|
|
|
\clist_set_eq:NN \l__powerset_copied_clist #1
|
|
|
|
\clist_clear:N #1
|
|
|
|
\clist_remove_duplicates:N \l__powerset_copied_clist
|
|
|
|
\__powerset_clist_foreach_aux:Nn #1 {#2}
|
|
|
|
\clist_set_eq:NN #1 \l__powerset_copied_clist
|
|
|
|
}
|
2022-01-21 12:25:24 +01:00
|
|
|
\cs_new:Npn \__groupthm_use_group:n #1
|
2022-01-18 03:54:34 +01:00
|
|
|
{
|
|
|
|
\cs_if_exist_use:cF { __groupthm_use_group_#1: }
|
|
|
|
{
|
|
|
|
\msg_error:nnn { groupthm } { unknown ~ group } { #1 }
|
|
|
|
}
|
|
|
|
}
|
|
|
|
\cs_new:Npn \__groupthm_use_function_on_name:n #1
|
|
|
|
{
|
|
|
|
\tl_set:Nx \l__groupthm_name_tl
|
|
|
|
{
|
|
|
|
#1 { \tl_use:N \l__groupthm_name_tl }
|
|
|
|
}
|
|
|
|
}
|
|
|
|
\cs_new:Npn \__groupthm_declare_grouped_theorem_aux:nnnn #1 #2 #3 #4
|
|
|
|
{
|
2022-01-20 15:25:31 +01:00
|
|
|
\tl_clear:N \l__groupthm_prefix_tl
|
2022-01-18 03:54:34 +01:00
|
|
|
\tl_set:Nn \l__groupthm_name_tl { #3 }
|
2022-01-20 15:25:31 +01:00
|
|
|
\tl_clear:N \l__groupthm_suffix_tl
|
2022-01-18 03:54:34 +01:00
|
|
|
\clist_clear:N \l__groupthm_mapname_clist
|
|
|
|
\clist_clear:N \l__groupthm_thmtools_clist
|
2022-01-20 15:25:31 +01:00
|
|
|
\hook_gremove_code:nn { __groupthm/prefix }{*}
|
|
|
|
\hook_gremove_code:nn { __groupthm/suffix }{*}
|
2022-01-18 03:54:34 +01:00
|
|
|
\hook_gremove_code:nn { __groupthm/mapname }{*}
|
|
|
|
\hook_gremove_code:nn { __groupthm/thmtools }{*}
|
2022-01-21 12:25:24 +01:00
|
|
|
\clist_map_function:nN { #2 } \__groupthm_use_group:n
|
2022-01-20 15:25:31 +01:00
|
|
|
\hook_use:n { __groupthm/prefix }
|
|
|
|
\hook_use:n { __groupthm/suffix }
|
2022-01-18 03:54:34 +01:00
|
|
|
\hook_use:n { __groupthm/mapname }
|
|
|
|
\hook_use:n { __groupthm/thmtools }
|
|
|
|
\clist_map_function:NN \l__groupthm_mapname_clist \map_use_on_name:n
|
|
|
|
\clist_put_right:Nx \l__groupthm_thmtools_clist
|
|
|
|
{
|
2022-01-20 15:25:31 +01:00
|
|
|
name = \tl_use:N \l__groupthm_prefix_tl
|
2022-01-18 03:54:34 +01:00
|
|
|
\tl_use:N \l__groupthm_name_tl
|
2022-01-20 15:25:31 +01:00
|
|
|
\tl_use:N \l__groupthm_suffix_tl
|
2022-01-18 03:54:34 +01:00
|
|
|
}
|
|
|
|
\clist_put_right:Nn \l__groupthm_thmtools_clist { #4 }
|
|
|
|
\__groupthm_thmtools_declare_theorem:Vn
|
|
|
|
\l__groupthm_thmtools_clist
|
|
|
|
{ #1 }
|
|
|
|
}
|
|
|
|
\cs_new:Npn \groupthm_new_grouped_theorem:nnnn #1 #2 #3 #4
|
|
|
|
{
|
|
|
|
\cs_if_exist:cTF { #1 }
|
|
|
|
{
|
|
|
|
\msg_error:nnnnn { groupthm } { wrong ~ definition }
|
|
|
|
{ grouped ~ theorem } { #1 } { already }
|
|
|
|
}
|
|
|
|
{
|
|
|
|
\__groupthm_declare_grouped_theorem_aux:nnnn
|
|
|
|
{ #1 } { #2 } { #3 } { #4 }
|
|
|
|
}
|
|
|
|
}
|
|
|
|
\cs_generate_variant:Nn \groupthm_new_grouped_theorem:nnnn { n V V V }
|
2022-01-18 13:23:44 +01:00
|
|
|
\cs_generate_variant:Nn \groupthm_new_grouped_theorem:nnnn { x V n n }
|
2022-01-18 03:54:34 +01:00
|
|
|
\cs_new:Npn \groupthm_provide_grouped_theorem:nnnn #1 #2 #3 #4
|
|
|
|
{
|
|
|
|
\cs_if_exist:cF { #1 }
|
|
|
|
{
|
|
|
|
\__groupthm_declare_grouped_theorem_aux:nnnn
|
|
|
|
{ #1 } { #2 } { #3 } { #4 }
|
|
|
|
}
|
|
|
|
}
|
|
|
|
\cs_generate_variant:Nn \groupthm_provide_grouped_theorem:nnnn { n V V V }
|
|
|
|
\cs_new:Npn \groupthm_new_grouped_theorem_star:nnnn #1 #2 #3 #4
|
|
|
|
{
|
|
|
|
\groupthm_new_grouped_theorem:nnnn
|
|
|
|
{ #1 } { #2, unnumbered } { #3 } { #4 }
|
|
|
|
}
|
|
|
|
\cs_new:Npn \groupthm_provide_grouped_theorem_star:nnnn #1 #2 #3 #4
|
|
|
|
{
|
|
|
|
\groupthm_provide_grouped_theorem:nnnn
|
|
|
|
{ #1 } { #2, unnumbered } { #3 } { #4 }
|
|
|
|
}
|
|
|
|
\cs_new:Npn \groupthm_new_theorem:nnnn #1 #2 #3 #4
|
|
|
|
{
|
|
|
|
\groupthm_new_grouped_theorem:nnnn
|
|
|
|
{ #1 } { #2 } { #3 } { #4 }
|
|
|
|
\groupthm_new_grouped_theorem:nnnn
|
|
|
|
{ #1* } { #2, starred } { #3 } { #4 }
|
|
|
|
}
|
|
|
|
\cs_generate_variant:Nn \groupthm_new_theorem:nnnn { n V V V }
|
|
|
|
\cs_new:Npn \groupthm_provide_theorem:nnnn #1 #2 #3 #4
|
|
|
|
{
|
|
|
|
\groupthm_provide_grouped_theorem:nnnn
|
|
|
|
{ #1 } { #2 } { #3 } { #4 }
|
|
|
|
\groupthm_provide_grouped_theorem:nnnn
|
|
|
|
{ #1* } { #2, starred } { #3 } { #4 }
|
|
|
|
}
|
|
|
|
\cs_generate_variant:Nn \groupthm_provide_theorem:nnnn { n V V V }
|
|
|
|
\cs_new:Npn \groupthm_new_theorem_star:nnnn #1 #2 #3 #4
|
|
|
|
{
|
|
|
|
\groupthm_new_theorem:nnnn
|
|
|
|
{ #1 } { #2, unnumbered } { #3 } { #4 }
|
|
|
|
}
|
|
|
|
\cs_new:Npn \groupthm_provide_theorem_star:nnnn #1 #2 #3 #4
|
|
|
|
{
|
|
|
|
\groupthm_provide_theorem:nnnn
|
|
|
|
{ #1 } { #2, unnumbered } { #3 } { #4 }
|
|
|
|
}
|
|
|
|
\cs_new:Npn \groupthm_new_grouped_theorem_from_keys:nn #1 #2
|
|
|
|
{
|
|
|
|
\__groupthm_set_normalized_keys:nnn { #1 } { groupedtheorem } { #2 }
|
|
|
|
|
|
|
|
\groupthm_new_grouped_theorem:nVVV
|
|
|
|
{ #1 }
|
|
|
|
\l__groupthm_key_group_clist
|
|
|
|
\l__groupthm_name_tl
|
|
|
|
\l__groupthm_key_thmtools_clist
|
|
|
|
}
|
|
|
|
\cs_new:Npn \groupthm_provide_grouped_theorem_from_keys:nn #1 #2
|
|
|
|
{
|
|
|
|
\__groupthm_set_normalized_keys:nnn { #1 } { groupedtheorem } { #2 }
|
|
|
|
|
|
|
|
\groupthm_provide_grouped_theorem:nVVV
|
|
|
|
{ #1 }
|
|
|
|
\l__groupthm_key_group_clist
|
|
|
|
\l__groupthm_name_tl
|
|
|
|
\l__groupthm_key_thmtools_clist
|
|
|
|
}
|
|
|
|
\cs_new:Npn \groupthm_new_grouped_theorem_star_from_keys:nn #1 #2
|
|
|
|
{
|
|
|
|
\__groupthm_set_normalized_keys:nnn { #1 } { groupedtheorem } { #2 }
|
|
|
|
|
|
|
|
\groupthm_new_grouped_theorem_star:nVVV
|
|
|
|
{ #2 }
|
|
|
|
\l__groupthm_key_group_clist
|
|
|
|
\l__groupthm_name_tl
|
|
|
|
\l__groupthm_key_thmtools_clist
|
|
|
|
}
|
|
|
|
\cs_new:Npn \groupthm_provide_grouped_theorem_star_from_keys:nn #1 #2
|
|
|
|
{
|
|
|
|
\__groupthm_set_normalized_keys:nnn { #1 } { groupedtheorem } { #2 }
|
|
|
|
|
|
|
|
\groupthm_provide_grouped_theorem_star:nVVV
|
|
|
|
{ #2 }
|
|
|
|
\l__groupthm_key_group_clist
|
|
|
|
\l__groupthm_name_tl
|
|
|
|
\l__groupthm_key_thmtools_clist
|
|
|
|
}
|
|
|
|
\cs_new:Npn \groupthm_new_theorem_from_keys:nn #1 #2
|
|
|
|
{
|
|
|
|
\__groupthm_set_normalized_keys:nnn { #1 } { groupedtheorem } { #2 }
|
|
|
|
|
|
|
|
\groupthm_new_theorem:nVVV
|
|
|
|
{ #2 }
|
|
|
|
\l__groupthm_key_group_clist
|
|
|
|
\l__groupthm_name_tl
|
|
|
|
\l__groupthm_key_thmtools_clist
|
|
|
|
}
|
|
|
|
\cs_new:Npn \groupthm_provide_theorem_from_keys:nn #1 #2
|
|
|
|
{
|
|
|
|
\__groupthm_set_normalized_keys:nnn { #1 } { groupedtheorem } { #2 }
|
|
|
|
|
|
|
|
\groupthm_provide_theorem:nVVV
|
|
|
|
{ #2 }
|
|
|
|
\l__groupthm_key_group_clist
|
|
|
|
\l__groupthm_name_tl
|
|
|
|
\l__groupthm_key_thmtools_clist
|
|
|
|
}
|
|
|
|
\cs_new:Npn \groupthm_new_theorem_star_from_keys:nn #1 #2
|
|
|
|
{
|
|
|
|
\__groupthm_set_normalized_keys:nnn { #1 } { groupedtheorem } { #2 }
|
|
|
|
|
|
|
|
\groupthm_new_theorem_star:nVVV
|
|
|
|
{ #1 }
|
|
|
|
\l__groupthm_key_group_clist
|
|
|
|
\l__groupthm_name_tl
|
|
|
|
\l__groupthm_key_thmtools_clist
|
|
|
|
}
|
|
|
|
\cs_new:Npn \groupthm_provide_theorem_star_from_keys:nn #1 #2
|
|
|
|
{
|
|
|
|
\__groupthm_set_normalized_keys:nnn { #1 } { groupedtheorem } { #2 }
|
|
|
|
|
|
|
|
\groupthm_provide_theorem_star:nVVV
|
|
|
|
{ #1 }
|
|
|
|
\l__groupthm_key_group_clist
|
|
|
|
\l__groupthm_name_tl
|
|
|
|
\l__groupthm_key_thmtools_clist
|
|
|
|
}
|
|
|
|
\NewDocumentCommand{\NewGroupedTheorem}{s O{} m}
|
|
|
|
{
|
|
|
|
\IfBooleanTF{#1}
|
|
|
|
{
|
|
|
|
\groupthm_new_grouped_theorem_star_from_keys:nn { #2 } { #3 }
|
|
|
|
}
|
|
|
|
{
|
|
|
|
\groupthm_new_grouped_theorem_from_keys:nn { #2 } { #3 }
|
|
|
|
}
|
|
|
|
}
|
|
|
|
\ProvideDocumentCommand{\NewGroupedTheorem}{s O{} m}
|
|
|
|
{
|
|
|
|
\IfBooleanTF{#1}
|
|
|
|
{
|
|
|
|
\groupthm_provide_grouped_theorem_star_from_keys:nn { #2 } { #3 }
|
|
|
|
}
|
|
|
|
{
|
|
|
|
\groupthm_provide_grouped_theorem_from_keys:nn { #2 } { #3 }
|
|
|
|
}
|
|
|
|
}
|
|
|
|
\NewDocumentCommand{\NewTheorem}{s O{} m}
|
|
|
|
{
|
|
|
|
\IfBooleanTF{#1}
|
|
|
|
{
|
|
|
|
\groupthm_new_theorem_star_from_keys:nn { #2 } { #3 }
|
|
|
|
}
|
|
|
|
{
|
|
|
|
\groupthm_new_theorem_from_keys:nn { #2 } { #3 }
|
|
|
|
}
|
|
|
|
}
|
|
|
|
\ProvideDocumentCommand{\NewTheorem}{s O{} m}
|
|
|
|
{
|
|
|
|
\IfBooleanTF{#1}
|
|
|
|
{
|
|
|
|
\groupthm_provide_theorem_star_from_keys:nn { #2 } { #3 }
|
|
|
|
}
|
|
|
|
{
|
|
|
|
\groupthm_provide_theorem_from_keys:nn { #2 } { #3 }
|
|
|
|
}
|
|
|
|
}
|
2022-01-18 13:23:44 +01:00
|
|
|
\cs_new:Npn \__groupthm_declare_grouped_theorem_family_aux:nnnnnn #1 #2 #3 #4 #5 #6
|
|
|
|
{
|
|
|
|
\clist_set:Nn \l_tmpa_clist { #2 }
|
|
|
|
\powerset_clist_foreach:Nn \l_tmpa_clist
|
|
|
|
{
|
|
|
|
\clist_set_eq:NN \l__groupthm_group_clist \l_tmpa_clist
|
|
|
|
\clist_put_right:Nn \l__groupthm_group_clist { #5 }
|
|
|
|
\__groupthm_sort_theorem_group_names:
|
|
|
|
\use:c{groupthm_#6_grouped_theorem:xVnn}
|
|
|
|
{__#1__groups_\clist_use:Nn \l__groupthm_group_clist {_}}
|
|
|
|
\l__groupthm_group_clist
|
|
|
|
{ #3 }
|
|
|
|
{ #4 }
|
|
|
|
}
|
|
|
|
}
|
|
|
|
\cs_new:Npn \groupthm_new_grouped_theorem_family:nnnn #1 #2 #3 #4
|
|
|
|
{
|
|
|
|
\__groupthm_declare_grouped_theorem_family_aux:nnnnnn
|
|
|
|
{ #1 } { #2 } { #3 } { #4 } { } { new }
|
|
|
|
}
|
|
|
|
\cs_generate_variant:Nn \groupthm_new_grouped_theorem_family:nnnn { n V V V }
|
|
|
|
\cs_new:Npn \groupthm_provide_grouped_theorem_family:nnnn #1 #2 #3 #4
|
|
|
|
{
|
|
|
|
\__groupthm_declare_grouped_theorem_family_aux:nnnnnn
|
|
|
|
{ #1 } { #2 } { #3 } { #4 } { } { provide }
|
|
|
|
}
|
|
|
|
\cs_generate_variant:Nn \groupthm_provide_grouped_theorem_family:nnnn { n V V V }
|
|
|
|
\cs_new:Npn \groupthm_new_grouped_theorem_family_star:nnnn #1 #2 #3 #4
|
|
|
|
{
|
|
|
|
\__groupthm_declare_grouped_theorem_family_aux:nnnnnn
|
|
|
|
{ #1 } { #2 } { #3 } { #4 } { unnumbered } { new }
|
|
|
|
}
|
|
|
|
\cs_generate_variant:Nn \groupthm_new_grouped_theorem_family_star:nnnn { n V V V }
|
|
|
|
\cs_new:Npn \groupthm_provide_grouped_theorem_family_star:nnnn #1 #2 #3 #4
|
|
|
|
{
|
|
|
|
\__groupthm_declare_grouped_theorem_family_aux:nnnnnn
|
|
|
|
{ #1 } { #2 } { #3 } { #4 } { } { provide }
|
|
|
|
}
|
|
|
|
\cs_generate_variant:Nn \groupthm_provide_grouped_theorem_family_star:nnnn { n V V V }
|
|
|
|
\cs_new:Npn \groupthm_new_theorem_family:nnnn #1 #2 #3 #4
|
|
|
|
{
|
|
|
|
\__groupthm_declare_grouped_theorem_family_aux:nnnnnn
|
|
|
|
{ #1 } { #2, starred } { #3 } { #4 } { } { new }
|
|
|
|
}
|
|
|
|
\cs_generate_variant:Nn \groupthm_new_theorem_family:nnnn { n V V V }
|
|
|
|
\cs_new:Npn \groupthm_provide_theorem_family:nnnn #1 #2 #3 #4
|
|
|
|
{
|
|
|
|
\__groupthm_declare_grouped_theorem_family_aux:nnnnnn
|
|
|
|
{ #1 } { #2, starred } { #3 } { #4 } { } { provide }
|
|
|
|
}
|
|
|
|
\cs_generate_variant:Nn \groupthm_provide_theorem_family:nnnn { n V V V }
|
|
|
|
\cs_new:Npn \groupthm_new_theorem_family_star:nnnn #1 #2 #3 #4
|
|
|
|
{
|
|
|
|
\__groupthm_declare_grouped_theorem_family_aux:nnnnnn
|
|
|
|
{ #1 } { #2, starred } { #3 } { #4 } { unnumbered } { new }
|
|
|
|
}
|
|
|
|
\cs_generate_variant:Nn \groupthm_new_theorem_family_star:nnnn { n V V V }
|
|
|
|
\cs_new:Npn \groupthm_provide_theorem_family_star:nnnn #1 #2 #3 #4
|
|
|
|
{
|
|
|
|
\__groupthm_declare_grouped_theorem_family_aux:nnnnnn
|
|
|
|
{ #1 } { #2, starred } { #3 } { #4 } { } { provide }
|
|
|
|
}
|
|
|
|
\cs_generate_variant:Nn \groupthm_provide_theorem_family_star:nnnn { n V V V }
|
|
|
|
\cs_new:Npn \groupthm_new_grouped_theorem_family_from_keys:nn #1 #2
|
|
|
|
{
|
|
|
|
\__groupthm_set_normalized_keys:nnn { #1 } { groupedtheorem } { #2 }
|
|
|
|
\groupthm_new_grouped_theorem_family:nVVV
|
|
|
|
{ #2 }
|
|
|
|
\l__groupthm_group_clist
|
|
|
|
\l__groupthm_name_tl
|
|
|
|
\l__groupthm_thmtools_clist
|
|
|
|
}
|
|
|
|
\cs_new:Npn \groupthm_provide_grouped_theorem_family_from_keys:nn #1 #2
|
|
|
|
{
|
|
|
|
\__groupthm_set_normalized_keys:nnn { #1 } {groupedtheorem} { #2 }
|
|
|
|
\groupthm_provide_grouped_theorem_family:nVVV
|
|
|
|
{ #2 }
|
|
|
|
\l__groupthm_group_clist
|
|
|
|
\l__groupthm_name_tl
|
|
|
|
\l__groupthm_thmtools_clist
|
|
|
|
}
|
|
|
|
\cs_new:Npn \groupthm_new_grouped_theorem_family_star_from_keys:nn #1 #2
|
|
|
|
{
|
|
|
|
\__groupthm_set_normalized_keys:nnn { #1 } { groupedtheorem }{ #2 }
|
|
|
|
\groupthm_new_grouped_theorem_family_star:nVVV
|
|
|
|
{ #2 }
|
|
|
|
\l__groupthm_group_clist
|
|
|
|
\l__groupthm_name_tl
|
|
|
|
\l__groupthm_thmtools_clist
|
|
|
|
}
|
|
|
|
\cs_new:Npn \groupthm_provide_grouped_theorem_family_star_from_keys:nn #1 #2
|
|
|
|
{
|
|
|
|
\__groupthm_set_normalized_keys:nnn { #1 } { groupedtheorem }{ #2 }
|
|
|
|
\groupthm_provide_grouped_theorem_family_star:nVVV
|
|
|
|
{ #2 }
|
|
|
|
\l__groupthm_group_clist
|
|
|
|
\l__groupthm_name_tl
|
|
|
|
\l__groupthm_thmtools_clist
|
|
|
|
}
|
|
|
|
\cs_new:Npn \groupthm_new_theorem_family_from_keys:nn #1 #2
|
|
|
|
{
|
|
|
|
\__groupthm_set_normalized_keys:nnn { #1 } { groupedtheorem } { #2 }
|
|
|
|
\groupthm_new_theorem_family:nVVV
|
|
|
|
{ #2 }
|
|
|
|
\l__groupthm_group_clist
|
|
|
|
\l__groupthm_name_tl
|
|
|
|
\l__groupthm_thmtools_clist
|
|
|
|
}
|
|
|
|
\cs_new:Npn \groupthm_provide_theorem_family_from_keys:nn #1 #2
|
|
|
|
{
|
|
|
|
\__groupthm_set_normalized_keys:nnn { #1 } { groupedtheorem } { #2 }
|
|
|
|
\groupthm_provide_theorem_family:nVVV
|
|
|
|
{ #2 }
|
|
|
|
\l__groupthm_group_clist
|
|
|
|
\l__groupthm_name_tl
|
|
|
|
\l__groupthm_thmtools_clist
|
|
|
|
}
|
|
|
|
\cs_new:Npn \groupthm_new_theorem_family_star_from_keys:nn #1 #2
|
|
|
|
{
|
|
|
|
\__groupthm_set_normalized_keys:nnn { #1 } { groupedtheorem } { #2 }
|
|
|
|
\groupthm_new_theorem_family_star:nVVV
|
|
|
|
{ #2 }
|
|
|
|
\l__groupthm_group_clist
|
|
|
|
\l__groupthm_name_tl
|
|
|
|
\l__groupthm_thmtools_clist
|
|
|
|
}
|
|
|
|
\cs_new:Npn \groupthm_provide_theorem_family_star_from_keys:nn #1 #2
|
|
|
|
{
|
|
|
|
\__groupthm_set_normalized_keys:nnn { #1 } { groupedtheorem } { #2 }
|
|
|
|
\groupthm_provide_theorem_family_star:nVVV
|
|
|
|
{ #2 }
|
|
|
|
\l__groupthm_group_clist
|
|
|
|
\l__groupthm_name_tl
|
|
|
|
\l__groupthm_thmtools_clist
|
|
|
|
}
|
|
|
|
\NewDocumentCommand{\NewGroupedTheoremFamily}{s O{} m}
|
|
|
|
{
|
|
|
|
\IfBooleanTF { #1 }
|
|
|
|
{
|
|
|
|
\groupthm_new_grouped_theorem_family_star_from_keys:nn { #2 } { #3 }
|
|
|
|
}
|
|
|
|
{
|
|
|
|
\groupthm_new_grouped_theorem_family_from_keys:nn { #2 } { #3 }
|
|
|
|
}
|
|
|
|
}
|
|
|
|
\NewDocumentCommand{\ProvideGroupedTheoremFamily}{s O{} m}
|
|
|
|
{
|
|
|
|
\IfBooleanTF { #1 }
|
|
|
|
{
|
|
|
|
\groupthm_provide_grouped_theorem_family_star_from_keys:nn { #2 } { #3 }
|
|
|
|
}
|
|
|
|
{
|
|
|
|
\groupthm_provide_grouped_theorem_family_from_keys:nn { #2 } { #3 }
|
|
|
|
}
|
|
|
|
}
|
|
|
|
\NewDocumentCommand{\NewTheoremFamily}{s O{} m}
|
|
|
|
{
|
|
|
|
\IfBooleanTF { #1 }
|
|
|
|
{
|
|
|
|
\groupthm_new_theorem_family_star_from_keys:nn { #2 } { #3 }
|
|
|
|
}
|
|
|
|
{
|
|
|
|
\groupthm_new_theorem_family_from_keys:nn { #2 } { #3 }
|
|
|
|
}
|
|
|
|
}
|
|
|
|
\NewDocumentCommand{\ProvideTheoremFamily}{s O{} m}
|
|
|
|
{
|
|
|
|
\IfBooleanTF { #1 }
|
|
|
|
{
|
|
|
|
\groupthm_provide_theorem_family_star_from_keys:nn { #2 } { #3 }
|
|
|
|
}
|
|
|
|
{
|
|
|
|
\groupthm_provide_theorem_family_from_keys:nn { #2 } { #3 }
|
|
|
|
}
|
|
|
|
}
|
2022-01-18 15:39:08 +01:00
|
|
|
\cs_new:Npn \groupthm_add_theorem_to_group:n #1
|
|
|
|
{
|
|
|
|
\bool_if:NTF \l__groupthm_in_family_options_environment_bool
|
|
|
|
{
|
|
|
|
\clist_put_left:Nn \l__groupthm_group_clist { #1 }
|
|
|
|
}
|
|
|
|
{
|
|
|
|
\msg_error:nn { groupthm } { misuse ~ add ~ theorem ~ to ~ group }
|
|
|
|
}
|
|
|
|
}
|
2022-01-18 21:14:02 +01:00
|
|
|
\NewDocumentCommand { \AddTheoremToGroup } { m }
|
|
|
|
{
|
|
|
|
\groupthm_add_theorem_to_group:n { #1 }
|
|
|
|
}
|
|
|
|
\cs_new:Npn \__groupthm_declare_theorem_family_options_aux:nnnnn #1 #2 #3 #4 #5
|
2022-01-18 15:39:08 +01:00
|
|
|
{
|
|
|
|
\use:c{ #5 DocumentEnvironment }
|
|
|
|
{ #1 }
|
|
|
|
{ #2 }
|
|
|
|
{
|
|
|
|
\clist_clear:N \l__groupthm_group_clist
|
2022-01-18 21:14:02 +01:00
|
|
|
\bool_set_true:N \l__groupthm_in_family_options_environment_bool
|
2022-01-18 15:39:08 +01:00
|
|
|
#3
|
2022-01-18 21:14:02 +01:00
|
|
|
\bool_set_false:N \l__groupthm_in_family_options_environment_bool
|
|
|
|
\clist_put_right:Nn \l__groupthm_group_clist { #4 }
|
|
|
|
\__groupthm_sort_theorem_group_names:
|
|
|
|
\cs_if_exist:cTF { __#1__groups_ \clist_use:Nn \l__groupthm_group_clist { _ } }
|
|
|
|
{
|
|
|
|
\begin { __#1__groups_ \clist_use:Nn \l__groupthm_group_clist { _ } }
|
|
|
|
}
|
|
|
|
{
|
|
|
|
\msg_error:nnxx { groupthm } { undefined ~ theorem ~ variant }
|
|
|
|
{ #1 }
|
|
|
|
{ \clist_use:Nnnn \l__groupthm_group_clist { ~ and ~ } {, ~} { , ~ and ~ } }
|
|
|
|
}
|
2022-01-18 15:39:08 +01:00
|
|
|
}
|
|
|
|
{
|
|
|
|
\clist_clear:N \l__groupthm_group_clist
|
2022-01-18 21:14:02 +01:00
|
|
|
\bool_set_true:N \l__groupthm_in_family_options_environment_bool
|
2022-01-18 15:39:08 +01:00
|
|
|
#3
|
2022-01-18 21:14:02 +01:00
|
|
|
\bool_set_false:N \l__groupthm_in_family_options_environment_bool
|
|
|
|
\clist_put_right:Nn \l__groupthm_group_clist { #4 }
|
|
|
|
\__groupthm_sort_theorem_group_names:
|
2022-01-18 15:39:08 +01:00
|
|
|
\end { __#1__groups_ \clist_use:Nn \l__groupthm_group_clist { _ } }
|
|
|
|
}
|
|
|
|
}
|
2022-01-18 21:14:02 +01:00
|
|
|
\cs_new:Npn \groupthm_new_grouped_theorem_family_options:nnn #1 #2 #3
|
|
|
|
{
|
|
|
|
\__groupthm_declare_theorem_family_options_aux:nnnnn
|
|
|
|
{ #1 } { #2 } { #3 } { } { New }
|
|
|
|
}
|
|
|
|
\cs_new:Npn \groupthm_renew_grouped_theorem_family_options:nnn #1 #2 #3
|
|
|
|
{
|
|
|
|
\__groupthm_declare_theorem_family_options_aux:nnnnn
|
|
|
|
{ #1 } { #2 } { #3 } { } { Renew }
|
|
|
|
}
|
|
|
|
\cs_new:Npn \groupthm_provide_grouped_theorem_family_options:nnn #1 #2 #3
|
2022-01-18 15:39:08 +01:00
|
|
|
{
|
2022-01-18 21:14:02 +01:00
|
|
|
\__groupthm_declare_theorem_family_options_aux:nnnnn
|
|
|
|
{ #1 } { #2 } { #3 } { } { Provide }
|
2022-01-18 15:39:08 +01:00
|
|
|
}
|
2022-01-18 21:14:02 +01:00
|
|
|
\cs_new:Npn \groupthm_declare_grouped_theorem_family_options:nnn #1 #2 #3
|
2022-01-18 15:39:08 +01:00
|
|
|
{
|
2022-01-18 21:14:02 +01:00
|
|
|
\__groupthm_declare_theorem_family_options_aux:nnnnn
|
|
|
|
{ #1 } { #2 } { #3 } { } { Declare }
|
2022-01-18 15:39:08 +01:00
|
|
|
}
|
2022-01-18 21:14:02 +01:00
|
|
|
\cs_new:Npn \groupthm_new_theorem_family_options:nnn #1 #2 #3
|
2022-01-18 15:39:08 +01:00
|
|
|
{
|
2022-01-18 21:14:02 +01:00
|
|
|
\__groupthm_declare_theorem_family_options_aux:nnnnn
|
|
|
|
{ #1 } { #2 } { #3 } { } { New }
|
|
|
|
\__groupthm_declare_theorem_family_options_aux:nnnnn
|
|
|
|
{ #1* } { #2 } { #3 } { starred } { New }
|
2022-01-18 15:39:08 +01:00
|
|
|
}
|
2022-01-18 21:14:02 +01:00
|
|
|
\cs_new:Npn \groupthm_renew_theorem_family_options:nnn #1 #2 #3
|
2022-01-18 15:39:08 +01:00
|
|
|
{
|
2022-01-18 21:14:02 +01:00
|
|
|
\__groupthm_declare_theorem_family_options_aux:nnnnn
|
|
|
|
{ #1 } { #2 } { #3 } { } { Renew }
|
|
|
|
\__groupthm_declare_theorem_family_options_aux:nnnnn
|
|
|
|
{ #1* } { #2 } { #3 } { starred } { Renew }
|
2022-01-18 15:39:08 +01:00
|
|
|
}
|
2022-01-18 21:14:02 +01:00
|
|
|
\cs_new:Npn \groupthm_provide_theorem_family_options:nnn #1 #2 #3
|
2022-01-18 15:39:08 +01:00
|
|
|
{
|
2022-01-18 21:14:02 +01:00
|
|
|
\__groupthm_declare_theorem_family_options_aux:nnnnn
|
|
|
|
{ #1 } { #2 } { #3 } { } { Provide }
|
|
|
|
\__groupthm_declare_theorem_family_options_aux:nnnnn
|
|
|
|
{ #1* } { #2 } { #3 } { starred } { Provide }
|
|
|
|
}
|
|
|
|
\cs_new:Npn \groupthm_declare_theorem_family_options:nnn #1 #2 #3
|
|
|
|
{
|
|
|
|
\__groupthm_declare_theorem_family_options_aux:nnnnn
|
|
|
|
{ #1 } { #2 } { #3 } { } { Declare }
|
|
|
|
\__groupthm_declare_theorem_family_options_aux:nnnnn
|
|
|
|
{ #1* } { #2 } { #3 } { starred } { Declare }
|
|
|
|
}
|
|
|
|
\NewDocumentCommand { \NewGroupedTheoremFamilyOptions } { s m m m }
|
|
|
|
{
|
|
|
|
\IfBooleanTF { #1 }
|
|
|
|
{
|
|
|
|
\groupthm_new_grouped_theorem_family_options:nnn
|
|
|
|
{ #2 }
|
|
|
|
{ #3 }
|
|
|
|
{
|
|
|
|
#4
|
|
|
|
\groupthm_add_theorem_to_group:n { unnumbered }
|
|
|
|
}
|
|
|
|
}
|
|
|
|
{
|
|
|
|
\groupthm_new_grouped_theorem_family_options:nnn
|
|
|
|
{ #2 }
|
|
|
|
{ #3 }
|
|
|
|
{ #4 }
|
|
|
|
}
|
2022-01-18 15:39:08 +01:00
|
|
|
}
|
2022-01-18 21:14:02 +01:00
|
|
|
\NewDocumentCommand { \RenewGroupedTheoremFamilyOptions } { s m m m }
|
2022-01-18 15:39:08 +01:00
|
|
|
{
|
2022-01-18 21:14:02 +01:00
|
|
|
\IfBooleanTF { #1 }
|
|
|
|
{
|
|
|
|
\groupthm_renew_grouped_theorem_family_options:nnn
|
|
|
|
{ #2 }
|
|
|
|
{ #3 }
|
|
|
|
{
|
|
|
|
#4
|
|
|
|
\groupthm_add_theorem_to_group:n { unnumbered }
|
|
|
|
}
|
|
|
|
}
|
|
|
|
{
|
|
|
|
\groupthm_renew_grouped_theorem_family_options:nnn
|
|
|
|
{ #2 }
|
|
|
|
{ #3 }
|
|
|
|
{ #4 }
|
|
|
|
}
|
2022-01-18 15:39:08 +01:00
|
|
|
}
|
2022-01-18 21:14:02 +01:00
|
|
|
\NewDocumentCommand { \ProvideGroupedTheoremFamilyOptions } { s m m m }
|
2022-01-18 15:39:08 +01:00
|
|
|
{
|
2022-01-18 21:14:02 +01:00
|
|
|
\IfBooleanTF { #1 }
|
|
|
|
{
|
|
|
|
\groupthm_provide_grouped_theorem_family_options:nnn
|
|
|
|
{ #2 }
|
|
|
|
{ #3 }
|
|
|
|
{
|
|
|
|
#4
|
|
|
|
\groupthm_add_theorem_to_group:n { unnumbered }
|
|
|
|
}
|
|
|
|
}
|
|
|
|
{
|
|
|
|
\groupthm_provide_grouped_theorem_family_options:nnn
|
|
|
|
{ #2 }
|
|
|
|
{ #3 }
|
|
|
|
{ #4 }
|
|
|
|
}
|
2022-01-18 15:39:08 +01:00
|
|
|
}
|
2022-01-18 21:14:02 +01:00
|
|
|
\NewDocumentCommand { \DeclareGroupedTheoremFamilyOptions } { s m m m }
|
2022-01-18 15:39:08 +01:00
|
|
|
{
|
2022-01-18 21:14:02 +01:00
|
|
|
\IfBooleanTF { #1 }
|
|
|
|
{
|
|
|
|
\groupthm_declare_grouped_theorem_family_options:nnn
|
|
|
|
{ #2 }
|
|
|
|
{ #3 }
|
|
|
|
{
|
|
|
|
#4
|
|
|
|
\groupthm_add_theorem_to_group:n { unnumbered }
|
|
|
|
}
|
|
|
|
}
|
|
|
|
{
|
|
|
|
\groupthm_declare_grouped_theorem_family_options:nnn
|
|
|
|
{ #2 }
|
|
|
|
{ #3 }
|
|
|
|
{ #4 }
|
|
|
|
}
|
2022-01-18 15:39:08 +01:00
|
|
|
}
|
2022-01-18 21:14:02 +01:00
|
|
|
\NewDocumentCommand { \NewTheoremFamilyOptions } { s m m m }
|
2022-01-18 15:39:08 +01:00
|
|
|
{
|
2022-01-18 21:14:02 +01:00
|
|
|
\IfBooleanTF { #1 }
|
|
|
|
{
|
|
|
|
\groupthm_new_theorem_family_options:nnn
|
|
|
|
{ #2 }
|
|
|
|
{ #3 }
|
|
|
|
{
|
|
|
|
#4
|
|
|
|
\groupthm_add_theorem_to_group:n { unnumbered }
|
|
|
|
}
|
|
|
|
}
|
|
|
|
{
|
|
|
|
\groupthm_new_theorem_family_options:nnn
|
|
|
|
{ #2 }
|
|
|
|
{ #3 }
|
|
|
|
{ #4 }
|
|
|
|
}
|
2022-01-18 15:39:08 +01:00
|
|
|
}
|
2022-01-18 21:14:02 +01:00
|
|
|
\NewDocumentCommand { \RenewTheoremFamilyOptions } { s m m m }
|
2022-01-18 15:39:08 +01:00
|
|
|
{
|
2022-01-18 21:14:02 +01:00
|
|
|
\IfBooleanTF { #1 }
|
|
|
|
{
|
|
|
|
\groupthm_renew_theorem_family_options:nnn
|
|
|
|
{ #2 }
|
|
|
|
{ #3 }
|
|
|
|
{
|
|
|
|
#4
|
|
|
|
\groupthm_add_theorem_to_group:n { unnumbered }
|
|
|
|
}
|
|
|
|
}
|
|
|
|
{
|
|
|
|
\groupthm_renew_theorem_family_options:nnn
|
|
|
|
{ #2 }
|
|
|
|
{ #3 }
|
|
|
|
{ #4 }
|
|
|
|
}
|
2022-01-18 15:39:08 +01:00
|
|
|
}
|
2022-01-18 21:14:02 +01:00
|
|
|
\NewDocumentCommand { \ProvideTheoremFamilyOptions } { s m m m }
|
2022-01-18 15:39:08 +01:00
|
|
|
{
|
2022-01-18 21:14:02 +01:00
|
|
|
\IfBooleanTF { #1 }
|
|
|
|
{
|
|
|
|
\groupthm_provide_theorem_family_options:nnn
|
|
|
|
{ #2 }
|
|
|
|
{ #3 }
|
|
|
|
{
|
|
|
|
#4
|
|
|
|
\groupthm_add_theorem_to_group:n { unnumbered }
|
|
|
|
}
|
|
|
|
}
|
|
|
|
{
|
|
|
|
\groupthm_provide_theorem_family_options:nnn
|
|
|
|
{ #2 }
|
|
|
|
{ #3 }
|
|
|
|
{ #4 }
|
|
|
|
}
|
2022-01-18 15:39:08 +01:00
|
|
|
}
|
2022-01-18 21:14:02 +01:00
|
|
|
\NewDocumentCommand { \DeclareTheoremFamilyOptions } { s m m m }
|
2022-01-18 15:39:08 +01:00
|
|
|
{
|
2022-01-18 21:14:02 +01:00
|
|
|
\IfBooleanTF { #1 }
|
|
|
|
{
|
|
|
|
\groupthm_declare_theorem_family_options:nnn
|
|
|
|
{ #2 }
|
|
|
|
{ #3 }
|
|
|
|
{
|
|
|
|
#4
|
|
|
|
\groupthm_add_theorem_to_group:n { unnumbered }
|
|
|
|
}
|
|
|
|
}
|
|
|
|
{
|
|
|
|
\groupthm_declare_theorem_family_options:nnn
|
|
|
|
{ #2 }
|
|
|
|
{ #3 }
|
|
|
|
{ #4 }
|
|
|
|
}
|
2022-01-18 15:39:08 +01:00
|
|
|
}
|
2022-01-18 03:54:34 +01:00
|
|
|
\endinput
|
|
|
|
%%
|
|
|
|
%% End of file `groupthm.sty'.
|