diff options
author | Karl Berry <karl@freefriends.org> | 2022-04-21 20:13:21 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2022-04-21 20:13:21 +0000 |
commit | 44b32b2d63a16a1cea0784e31a91d6acfdd06dcb (patch) | |
tree | ea435f460a1391867eb3c0a361155b7cd5e4a1d5 /Master/texmf-dist/tex/latex/projlib/projlib-theorem.sty | |
parent | 535f726c3859c39187f594666ae9d9ea846e188a (diff) |
jxu (21apr22)
git-svn-id: svn://tug.org/texlive/trunk@63098 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/tex/latex/projlib/projlib-theorem.sty')
-rw-r--r-- | Master/texmf-dist/tex/latex/projlib/projlib-theorem.sty | 194 |
1 files changed, 109 insertions, 85 deletions
diff --git a/Master/texmf-dist/tex/latex/projlib/projlib-theorem.sty b/Master/texmf-dist/tex/latex/projlib/projlib-theorem.sty index 1dd3df78f7d..25b1a8e2b98 100644 --- a/Master/texmf-dist/tex/latex/projlib/projlib-theorem.sty +++ b/Master/texmf-dist/tex/latex/projlib/projlib-theorem.sty @@ -19,7 +19,7 @@ \RequirePackage{l3keys2e} \ProvidesExplPackage {projlib-theorem} - {2022/04/03} {} + {2022/04/18} {} {Configuration of theorem-like environments} \keys_define:nn { projlib-theorem } @@ -66,6 +66,7 @@ \clist_const:Nn \c_projlib_theorem_supported_clist { + application , assertion , assumption , axiom , @@ -90,6 +91,8 @@ theorem , definition-proposition , definition-theorem , + proposition-definition , + theorem-definition , } \@ifclassloaded { beamer } @@ -157,6 +160,64 @@ } } +\tl_new:N \l_projlib_theorem_name_of_theorem_with_name_tl +\CreateTheorem { theorem-with-name_inner } { name = { heading = { \l_projlib_theorem_name_of_theorem_with_name_tl } }, create-starred-version } + +\NewDocumentEnvironment { theorem-with-name } { m O{} } + { + \tl_set:Nn \l_projlib_theorem_name_of_theorem_with_name_tl { #1 } + \begin { theorem-with-name_inner } [ #2 ] + } + { + \end { theorem-with-name_inner } + } +\NewDocumentEnvironment { theorem-with-name* } { m O{} } + { + \tl_set:Nn \l_projlib_theorem_name_of_theorem_with_name_tl { #1 } + \begin { theorem-with-name_inner* } [ #2 ] + } + { + \end { theorem-with-name_inner* } + } + +\cs_new_protected:Nn \projlib_theorem_disable_theorem_numbering:n + { + \clist_map_inline:nn { #1 } + { + \__projlib_theorem_disable_theorem_numbering_do:n { ##1 } + } + } +\cs_new_protected:Nn \__projlib_theorem_disable_theorem_numbering_do:n + { + \CreateTheorem { #1 } { copy-existed = #1* } + } + +\NewDocumentCommand \DisableTheoremNumbering { m } + { + \projlib_theorem_disable_theorem_numbering:n { #1 } + } + +\cs_new_protected:Nn \projlib_theorem_switch_theorem_numbering:n + { + \clist_map_inline:nn { #1 } + { + \__projlib_theorem_switch_theorem_numbering_do:n { ##1 } + } + } +\cs_new_protected:Nn \__projlib_theorem_switch_theorem_numbering_do:n + { + \CreateTheorem { #1_projlib_theorem_temp } { copy-existed = #1* } + \CreateTheorem { #1* } { copy-existed = #1 } + \CreateTheorem { #1 } { copy-existed = #1_projlib_theorem_temp } + } + +\NewDocumentCommand \SwitchTheoremNumbering { m } + { + \projlib_theorem_switch_theorem_numbering:n { #1 } + } + +\SwitchTheoremNumbering { theorem-with-name } + \AddLanguageSetting [ schinese ] { \crefname { equation } { 式 } { 式 } @@ -255,6 +316,49 @@ \bool_if:NF \l__projlib_theorem_presetname_bool { \endinput } \bool_if:NT \l__projlib_theorem_complexname_bool { \endinput } +\NameTheorem { application } + { + , heading = { + , english = Application + , french = Application + , ngerman = Anwendung + , italian = Applicazione + , portuguese = Aplicação + , brazilian = Aplicação + , spanish = Aplicación + , schinese = 应用 + , tchinese = 應用 + , japanese = 応用 + , russian = Применение + } + , crefname = { + , english = {Application}{Application} + , french = [l']{Application}[les]{Application} + , ngerman = {Anwendung}{Anwendung} + , italian = [l']{Applicazione}[le]{Applicazione} + , portuguese = [a]{Aplicação}[as]{Aplicação} + , brazilian = [a]{Aplicação}[as]{Aplicação} + , spanish = [la]{Aplicación}[las]{Aplicación} + , schinese = {应用}{应用} + , tchinese = {應用}{應用} + , japanese = {応用}{応用} + , russian = {Применение}{Применение} + } + , Crefname = { + , english = {Application}{Application} + , french = [L']{Application}[Les]{Application} + , ngerman = {Anwendung}{Anwendung} + , italian = [L']{Applicazione}[Le]{Applicazione} + , portuguese = [A]{Aplicação}[As]{Aplicação} + , brazilian = [A]{Aplicação}[As]{Aplicação} + , spanish = [La]{Aplicación}[Las]{Aplicación} + , schinese = {应用}{应用} + , tchinese = {應用}{應用} + , japanese = {応用}{応用} + , russian = {Применение}{Применение} + } + } + \NameTheorem { assertion } { , heading = { @@ -1201,91 +1305,11 @@ } } -\NameTheorem { definition-proposition } - { - , heading = { - , english = Definition-Proposition - , french = Définition-Proposition - , ngerman = Definition-Proposition - , italian = Definizione-Proposizione - , portuguese = Definição-Proposição - , brazilian = Definição-Proposição - , spanish = Definición-Proposición - , schinese = 定义-命题 - , tchinese = 定義-命題 - , japanese = 定義-命題 - , russian = Определение-Предложение - } - , crefname = { - , english = {Definition-Proposition}{Definition-Proposition} - , french = [la]{Définition-Proposition}[les]{Définition-Proposition} - , ngerman = {Definition-Proposition}{Definition-Proposition} - , italian = [la]{Definizione-Proposizione}[le]{Definizione-Proposizione} - , portuguese = [a]{Definição-Proposição}[as]{Definição-Proposição} - , brazilian = [a]{Definição-Proposição}[as]{Definição-Proposição} - , spanish = [la]{Definición-Proposición}[las]{Definición-Proposición} - , schinese = {定义-命题}{定义-命题} - , tchinese = {定義-命題}{定義-命題} - , japanese = {定義-命題}{定義-命題} - , russian = {Определение-Предложение}{Определение-Предложение} - } - , Crefname = { - , english = {Definition-Proposition}{Definition-Proposition} - , french = [La]{Définition-Proposition}[Les]{Définition-Proposition} - , ngerman = {Definition-Proposition}{Definition-Proposition} - , italian = [La]{Definizione-Proposizione}[Le]{Definizione-Proposizione} - , portuguese = [A]{Definição-Proposição}[As]{Definição-Proposição} - , brazilian = [A]{Definição-Proposição}[As]{Definição-Proposição} - , spanish = [La]{Definición-Proposición}[Las]{Definición-Proposición} - , schinese = {定义-命题}{定义-命题} - , tchinese = {定義-命題}{定義-命題} - , japanese = {定義-命題}{定義-命題} - , russian = {Определение-Предложение}{Определение-Предложение} - } - } +\NameTheorem { definition-proposition } { combined = { definition ; proposition } } +\NameTheorem { definition-theorem } { combined = { definition ; theorem } } -\NameTheorem { definition-theorem } - { - , heading = { - , english = Definition-Theorem - , french = Définition-Théorème - , ngerman = Definition-Satz - , italian = Definizione-Teorema - , portuguese = Definição-Teorema - , brazilian = Definição-Teorema - , spanish = Definición-Teorema - , schinese = 定义-定理 - , tchinese = 定義-定理 - , japanese = 定義-定理 - , russian = Определение-Теорема - } - , crefname = { - , english = {Definition-Theorem}{Definition-Theorem} - , french = [la]{Définition-Théorème}[les]{Définition-Théorème} - , ngerman = {Definition-Satz}{Definition-Satz} - , italian = [la]{Definizione-Teorema}[le]{Definizione-Teorema} - , portuguese = [a]{Definição-Teorema}[as]{Definição-Teorema} - , brazilian = [a]{Definição-Teorema}[as]{Definição-Teorema} - , spanish = [la]{Definición-Teorema}[las]{Definición-Teorema} - , schinese = {定义-定理}{定义-定理} - , tchinese = {定義-定理}{定義-定理} - , japanese = {定義-定理}{定義-定理} - , russian = {Определение-Теорема}{Определение-Теорема} - } - , Crefname = { - , english = {Definition-Theorem}{Definition-Theorem} - , french = [La]{Définition-Théorème}[Les]{Définition-Théorème} - , ngerman = {Definition-Satz}{Definition-Satz} - , italian = [La]{Definizione-Teorema}[Le]{Definizione-Teorema} - , portuguese = [A]{Definição-Teorema}[As]{Definição-Teorema} - , brazilian = [A]{Definição-Teorema}[As]{Definição-Teorema} - , spanish = [La]{Definición-Teorema}[Las]{Definición-Teorema} - , schinese = {定义-定理}{定义-定理} - , tchinese = {定義-定理}{定義-定理} - , japanese = {定義-定理}{定義-定理} - , russian = {Определение-Теорема}{Определение-Теорема} - } - } +\NameTheorem { proposition-definition } { combined = { proposition ; definition } } +\NameTheorem { theorem-definition } { combined = { theorem ; definition } } \endinput %% |