summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/tex/latex/projlib/projlib-theorem.sty
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2022-04-21 20:13:21 +0000
committerKarl Berry <karl@freefriends.org>2022-04-21 20:13:21 +0000
commit44b32b2d63a16a1cea0784e31a91d6acfdd06dcb (patch)
treeea435f460a1391867eb3c0a361155b7cd5e4a1d5 /Master/texmf-dist/tex/latex/projlib/projlib-theorem.sty
parent535f726c3859c39187f594666ae9d9ea846e188a (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.sty194
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
%%