diff options
author | Karl Berry <karl@freefriends.org> | 2022-03-10 21:25:27 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2022-03-10 21:25:27 +0000 |
commit | 620ec64c7e6e3ffa4a00394c17e638414fc32c6a (patch) | |
tree | 8aa1f01bdaa7aa6c1d5755d99526b0c622f83175 /Master/texmf-dist/tex/latex/projlib/projlib-theorem.sty | |
parent | 9e37d64fedc12c8c794246708b22fce76d1090ac (diff) |
projlib (10mar22) (branch)
git-svn-id: svn://tug.org/texlive/branches/branch2021.final@62601 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 | 1184 |
1 files changed, 1184 insertions, 0 deletions
diff --git a/Master/texmf-dist/tex/latex/projlib/projlib-theorem.sty b/Master/texmf-dist/tex/latex/projlib/projlib-theorem.sty new file mode 100644 index 00000000000..092ca2f0ead --- /dev/null +++ b/Master/texmf-dist/tex/latex/projlib/projlib-theorem.sty @@ -0,0 +1,1184 @@ +\NeedsTeXFormat{LaTeX2e}[2020-10-01] +\RequirePackage{l3keys2e} +\ProvidesExplPackage + {projlib-theorem} + {2022/03/09} {} + {Configuration of theorem-like environments} + +\keys_define:nn { projlib-theorem } + { + , no-theorems .bool_set:N = \l__projlib_theorem_no_theorems_bool + , no-theorems .initial:n = { false } + , no~theorems .bool_set:N = \l__projlib_theorem_no_theorems_bool + , no theorems .bool_set:N = \l__projlib_theorem_no_theorems_bool + , nothms .bool_set:N = \l__projlib_theorem_no_theorems_bool + , no-theorem-numbering .bool_set:N = \l__projlib_theorem_no_theorem_numbering_bool + , no-theorem-numbering .initial:n = { false } + , no~theorem~numbering .bool_set:N = \l__projlib_theorem_no_theorem_numbering_bool + , no theorem numbering .bool_set:N = \l__projlib_theorem_no_theorem_numbering_bool + , nothmnum .bool_set:N = \l__projlib_theorem_no_theorem_numbering_bool + , theorem-numbering .tl_set:N = \l__projlib_theorem_theorem_numbering_tl + , theorem-numbering .default:n = { * } + , theorem~numbering .tl_set:N = \l__projlib_theorem_theorem_numbering_tl + , theorem~numbering .default:n = { * } + , theorem numbering .tl_set:N = \l__projlib_theorem_theorem_numbering_tl + , theorem numbering .default:n = { * } + , thmnum .tl_set:N = \l__projlib_theorem_theorem_numbering_tl + , thmnum .default:n = { * } + , complex-name .bool_set:N = \l__projlib_theorem_complexname_bool + , complex-name .initial:n = { true } + , complex~name .bool_set:N = \l__projlib_theorem_complexname_bool + , complex name .bool_set:N = \l__projlib_theorem_complexname_bool + , simple-name .bool_set:N = \l__projlib_theorem_simplename_bool + , simple-name .initial:n = { false } + , simple~name .bool_set:N = \l__projlib_theorem_simplename_bool + , simple name .bool_set:N = \l__projlib_theorem_simplename_bool + , no-preset-names .bool_set_inverse:N = \l__projlib_theorem_presetname_bool + , no-preset-names .initial:n = { false } + , no~preset~names .bool_set_inverse:N = \l__projlib_theorem_presetname_bool + , no preset names .bool_set_inverse:N = \l__projlib_theorem_presetname_bool + , unknown .code:n = { \PassOptionsToPackage { \CurrentOption } { create-theorem } } + } +\ProcessKeysOptions { projlib-theorem } + +\clist_const:Nn \c__projlib_theorem_supported_clist + { + assertion , + assumption , + axiom , + conclusion , + conjecture , + convention , + corollary , + definition , + example , + exercise , + fact , + hypothesis , + lemma , + notation , + observation , + postulate , + problem , + property , + proposition , + question , + remark , + theorem , + } + +\@ifclassloaded { beamer } + { + \RequirePackage { silence } + \WarningFilter { cleveref } { hyperref~package~loaded~with~implicit=false~option } + \bool_set_true:N \l__projlib_theorem_no_theorem_numbering_bool + \bool_if:NF \l__projlib_theorem_no_theorems_bool + { + \cs_undefine:c { theorem } + \cs_undefine:c { lemma } + \cs_undefine:c { corollary } + \cs_undefine:c { definition } + \cs_undefine:c { fact } + \cs_undefine:c { example } + \cs_undefine:c { problem } + } + } {} + +\RequirePackage { projlib-language } + +\bool_if:NF \l__projlib_theorem_complexname_bool + { + \PassOptionsToPackage { no preset names } { create-theorem } + } + +\RequirePackage { amsthm } +\RequirePackage { create-theorem } + + +\bool_if:NF \l__projlib_theorem_no_theorems_bool + { + \bool_if:NTF \l__projlib_theorem_no_theorem_numbering_bool + { + \exp_args:Nv \CreateTheorem { c__projlib_theorem_supported_clist } { numberless } + } + { + \tl_if_blank:eTF \l__projlib_theorem_theorem_numbering_tl + { + \cs_if_exist:cTF { c@chapter } + { % with \chapter + \CreateTheorem {theorem} { parent counter = chapter } + } + { % without \chapter + \CreateTheorem {theorem} { parent counter = section } + } + } + { + \tl_if_eq:NnTF \l__projlib_theorem_theorem_numbering_tl { * } + { + \CreateTheorem {theorem} { } + } + { + \CreateTheorem {theorem} { parent counter = \l__projlib_theorem_theorem_numbering_tl } + } + } + + \exp_args:Nv \CreateTheorem { c__projlib_theorem_supported_clist } { shared counter = theorem, quiet } + } + } + + +\AddLanguageSetting [ schinese ] + { + \crefname { equation } { 式 } { 式 } + \crefname { figure } { 图 } { 图 } + \crefname { table } { 表 } { 表 } + \crefname { appendix } { 附录 } { 附录 } + \Crefname { equation } { 式 } { 式 } + \Crefname { figure } { 图 } { 图 } + \Crefname { table } { 表 } { 表 } + \Crefname { appendix } { 附录 } { 附录 } + \tl_gset:Nn { \crefpairconjunction } { 、 } + \tl_gset:Nn { \crefmiddleconjunction } { 、 } + \tl_gset:Nn { \creflastconjunction } { \nobreakspace 和 \nobreakspace } + \tl_gset:Nn { \crefpairgroupconjunction } { \nobreakspace 和 \nobreakspace } + \tl_gset:Nn { \crefmiddlegroupconjunction } { 、 } + \tl_gset:Nn { \creflastgroupconjunction } { \nobreakspace 以及 \nobreakspace } + \tl_gset:Nn { \crefrangeconjunction } { ~ } + } + +\AddLanguageSetting [ tchinese ] + { + \crefname { equation } { 式 } { 式 } + \crefname { figure } { 圖 } { 圖 } + \crefname { table } { 表 } { 表 } + \crefname { appendix } { 附錄 } { 附錄 } + \Crefname { equation } { 式 } { 式 } + \Crefname { figure } { 圖 } { 圖 } + \Crefname { table } { 表 } { 表 } + \Crefname { appendix } { 附錄 } { 附錄 } + \tl_gset:Nn { \crefpairconjunction } { 、 } + \tl_gset:Nn { \crefmiddleconjunction } { 、 } + \tl_gset:Nn { \creflastconjunction } { \nobreakspace 與 \nobreakspace } + \tl_gset:Nn { \crefpairgroupconjunction } { \nobreakspace 與 \nobreakspace } + \tl_gset:Nn { \crefmiddlegroupconjunction } { 、 } + \tl_gset:Nn { \creflastgroupconjunction } { \nobreakspace 以及 \nobreakspace } + \tl_gset:Nn { \crefrangeconjunction } { ~ } + } + +\AddLanguageSetting [ japanese ] + { + \crefname { equation } { 式 } { 式 } + \crefname { figure } { 図 } { 図 } + \crefname { table } { 表 } { 表 } + \Crefname { appendix } { 付録 } { 付録 } + \Crefname { equation } { 式 } { 式 } + \Crefname { figure } { 図 } { 図 } + \Crefname { table } { 表 } { 表 } + \Crefname { appendix } { 付録 } { 付録 } + \tl_gset:Nn { \crefpairconjunction } { \nobreakspace と \nobreakspace } + \tl_gset:Nn { \crefmiddleconjunction } { \nobreakspace と \nobreakspace } + \tl_gset:Nn { \creflastconjunction } { \nobreakspace と \nobreakspace } + \tl_gset:Nn { \crefpairgroupconjunction } { \nobreakspace と \nobreakspace } + \tl_gset:Nn { \crefmiddlegroupconjunction } { \nobreakspace と \nobreakspace } + \tl_gset:Nn { \creflastgroupconjunction } { \nobreakspace 及び \nobreakspace } + \tl_gset:Nn { \crefrangeconjunction } { ~ } + } + +\AddLanguageSetting [ russian ] + { + \crefname { equation } { уравнение } { уравнения } + \crefname { figure } { рис. } { рис. } + \crefname { table } { таблица } { таблицы } + \crefname { appendix } { приложение } { приложения } + \Crefname { equation } { Уравнение } { Уравнения } + \Crefname { figure } { Рис. } { Рис. } + \Crefname { table } { Таблица } { Таблицы } + \Crefname { appendix } { Приложение } { Приложения } + \tl_gset:Nn { \crefpairconjunction } { \nobreakspace и \nobreakspace } + \tl_gset:Nn { \crefmiddleconjunction } { , \nobreakspace } + \tl_gset:Nn { \creflastconjunction } { \nobreakspace и \nobreakspace } + \tl_gset:Nn { \crefpairgroupconjunction } { \nobreakspace и \nobreakspace } + \tl_gset:Nn { \crefmiddlegroupconjunction } { , \nobreakspace } + \tl_gset:Nn { \creflastgroupconjunction } { \nobreakspace и \nobreakspace } + \tl_gset:Nn { \crefrangeconjunction } { \nobreakspace \textasciitilde \nobreakspace } + } + +\AddLanguageSetting [ portuguese ] + { + \crefname { equation } { eq. } { eqs. } + \crefname { figure } { fig. } { figs. } + \crefname { table } { tabela } { tabelas } + \crefname { appendix } { apêndice } { apêndices } + \Crefname { equation } { Eq. } { Eqs. } + \Crefname { figure } { Fig. } { Figs. } + \Crefname { table } { Tabela } { Tabelas } + \Crefname { appendix } { Apêndice } { Apêndices } + \tl_gset:Nn { \crefpairconjunction } { \nobreakspace e \nobreakspace } + \tl_gset:Nn { \crefmiddleconjunction } { , \nobreakspace } + \tl_gset:Nn { \creflastconjunction } { \nobreakspace e \nobreakspace } + \tl_gset:Nn { \crefpairgroupconjunction } { \nobreakspace e \nobreakspace } + \tl_gset:Nn { \crefmiddlegroupconjunction } { , \nobreakspace } + \tl_gset:Nn { \creflastgroupconjunction } { \nobreakspace e \nobreakspace } + \tl_gset:Nn { \crefrangeconjunction } { \nobreakspace a \nobreakspace } + } + + +\bool_if:NF \l__projlib_theorem_presetname_bool { \endinput } +\bool_if:NT \l__projlib_theorem_complexname_bool { \endinput } + + +\NameTheorem { assertion } + { + , heading = { + , english = Assertion + , french = Assertion + , ngerman = Behauptung + , italian = Asserzione + , portuguese = Asserção + , brazilian = Asserção + , spanish = Aserción + , schinese = 断言 + , tchinese = 斷言 + , japanese = アサーション + , russian = Утверждение + } + , crefname = { + , english = {Assertion}{Assertion} + , french = [l']{Assertion}[les]{Assertion} + , ngerman = {Behauptung}{Behauptung} + , italian = [l']{Asserzione}[le]{Asserzione} + , portuguese = [a]{Asserção}[as]{Asserção} + , brazilian = [a]{Asserção}[as]{Asserção} + , spanish = [la]{Aserción}[las]{Aserción} + , schinese = {断言}{断言} + , tchinese = {斷言}{斷言} + , japanese = {アサーション}{アサーション} + , russian = {Утверждение}{Утверждение} + } + , Crefname = { + , english = {Assertion}{Assertion} + , french = [L']{Assertion}[Les]{Assertion} + , ngerman = {Behauptung}{Behauptung} + , italian = [L']{Asserzione}[Le]{Asserzione} + , portuguese = [A]{Asserção}[As]{Asserção} + , brazilian = [A]{Asserção}[As]{Asserção} + , spanish = [La]{Aserción}[Las]{Aserción} + , schinese = {断言}{断言} + , tchinese = {斷言}{斷言} + , japanese = {アサーション}{アサーション} + , russian = {Утверждение}{Утверждение} + } + } + +\NameTheorem { assumption } + { + , heading = { + , english = Assumption + , french = Supposition + , ngerman = Annahme + , italian = Supposizione + , portuguese = Suposição + , brazilian = Suposição + , spanish = Suposición + , schinese = 假定 + , tchinese = 假定 + , japanese = 仮定 + , russian = Предположение + } + , crefname = { + , english = {Assumption}{Assumption} + , french = [la]{Supposition}[les]{Supposition} + , ngerman = {Annahme}{Annahme} + , italian = [la]{Supposizione}[le]{Supposizione} + , portuguese = [a]{Suposição}[as]{Suposição} + , brazilian = [a]{Suposição}[as]{Suposição} + , spanish = [la]{Suposición}[las]{Suposición} + , schinese = {假定}{假定} + , tchinese = {假定}{假定} + , japanese = {仮定}{仮定} + , russian = {Предположение}{Предположение} + } + , Crefname = { + , english = {Assumption}{Assumption} + , french = [La]{Supposition}[Les]{Supposition} + , ngerman = {Annahme}{Annahme} + , italian = [la]{Supposizione}[le]{Supposizione} + , portuguese = [A]{Suposição}[As]{Suposição} + , brazilian = [A]{Suposição}[As]{Suposição} + , spanish = [La]{Suposición}[Las]{Suposición} + , schinese = {假定}{假定} + , tchinese = {假定}{假定} + , japanese = {仮定}{仮定} + , russian = {Предположение}{Предположение} + } + } + +\NameTheorem { axiom } + { + , heading = { + , english = Axiom + , french = Axiome + , ngerman = Axiom + , italian = Assioma + , portuguese = Axioma + , brazilian = Axioma + , spanish = Axioma + , schinese = 公理 + , tchinese = 公理 + , japanese = 公理 + , russian = Аксиома + } + , crefname = { + , english = {Axiom}{Axiom} + , french = [l']{Axiome}[les]{Axiome} + , ngerman = {Axiom}{Axiom} + , italian = [l']{Assioma}[gli]{Assioma} + , portuguese = [o]{Axioma}[os]{Axioma} + , brazilian = [o]{Axioma}[os]{Axioma} + , spanish = [el]{Axioma}[los]{Axioma} + , schinese = {公理}{公理} + , tchinese = {公理}{公理} + , japanese = {公理}{公理} + , russian = {Аксиома}{Аксиома} + } + , Crefname = { + , english = {Axiom}{Axiom} + , french = [L']{Axiome}[Les]{Axiome} + , ngerman = {Axiom}{Axiom} + , italian = [L']{Assioma}[Gli]{Assioma} + , portuguese = [O]{Axioma}[Os]{Axioma} + , brazilian = [O]{Axioma}[Os]{Axioma} + , spanish = [El]{Axioma}[Los]{Axioma} + , schinese = {公理}{公理} + , tchinese = {公理}{公理} + , japanese = {公理}{公理} + , russian = {Аксиома}{Аксиома} + } + } + +\NameTheorem { conclusion } + { + , heading = { + , english = Conclusion + , french = Conclusion + , ngerman = Schlussfolgerung + , italian = Conclusione + , portuguese = Conclusão + , brazilian = Conclusão + , spanish = Conclusión + , schinese = 结论 + , tchinese = 結論 + , japanese = 結論 + , russian = Вывод + } + , crefname = { + , english = {Conclusion}{Conclusion} + , french = [la]{Conclusion}[Les]{Conclusion} + , ngerman = {Schlussfolgerung}{Schlussfolgerung} + , italian = [la]{Conclusione}[le]{Conclusione} + , portuguese = [a]{Conclusão}[as]{Conclusão} + , brazilian = [a]{Conclusão}[as]{Conclusão} + , spanish = [la]{Conclusión}[las]{Conclusión} + , schinese = {结论}{结论} + , tchinese = {結論}{結論} + , japanese = {結論}{結論} + , russian = {Вывод}{Вывод} + } + , Crefname = { + , english = {Conclusion}{Conclusion} + , french = [La]{Conclusion}[Les]{Conclusion} + , ngerman = {Schlussfolgerung}{Schlussfolgerung} + , italian = [La]{Conclusione}[Le]{Conclusione} + , portuguese = [A]{Conclusão}[As]{Conclusão} + , brazilian = [A]{Conclusão}[As]{Conclusão} + , spanish = [La]{Conclusión}[Las]{Conclusión} + , schinese = {结论}{结论} + , tchinese = {結論}{結論} + , japanese = {結論}{結論} + , russian = {Вывод}{Вывод} + } + } + +\NameTheorem { conjecture } + { + , heading = { + , english = Conjecture + , french = Conjecture + , ngerman = Vermutung + , italian = Congettura + , portuguese = Conjetura + , brazilian = Conjectura + , spanish = Conjetura + , schinese = 猜想 + , tchinese = 猜想 + , japanese = 予想 + , russian = Гипотеза + } + , crefname = { + , english = {Conjecture}{Conjecture} + , french = [la]{Conjecture}[les]{Conjecture} + , ngerman = {Vermutung}{Vermutung} + , italian = [la]{Congettura}[le]{Congettura} + , portuguese = [a]{Conjetura}[as]{Conjetura} + , brazilian = [a]{Conjectura}[as]{Conjectura} + , spanish = [la]{Conjetura}[las]{Conjetura} + , schinese = {猜想}{猜想} + , tchinese = {猜想}{猜想} + , japanese = {予想}{予想} + , russian = {Гипотеза}{Гипотеза} + } + , Crefname = { + , english = {Conjecture}{Conjecture} + , french = [La]{Conjecture}[Les]{Conjecture} + , ngerman = {Vermutung}{Vermutung} + , italian = [La]{Congettura}[Le]{Congettura} + , portuguese = [A]{Conjetura}[As]{Conjetura} + , brazilian = [A]{Conjectura}[As]{Conjectura} + , spanish = [La]{Conjetura}[Las]{Conjetura} + , schinese = {猜想}{猜想} + , tchinese = {猜想}{猜想} + , japanese = {予想}{予想} + , russian = {Гипотеза}{Гипотеза} + } + } + +\NameTheorem { convention } + { + , heading = { + , english = Convention + , french = Convention + , ngerman = Konvention + , italian = Convenzione + , portuguese = Convenção + , brazilian = Convenção + , spanish = Convención + , schinese = 约定 + , tchinese = 約定 + , japanese = 慣例 + , russian = Конвенция + } + , crefname = { + , english = {Convention}{Convention} + , french = [la]{Convention}[les]{Convention} + , ngerman = {Konvention}{Konvention} + , italian = [la]{Convenzione}[le]{Convenzione} + , portuguese = [a]{Convenção}[as]{Convenção} + , brazilian = [a]{Convenção}[as]{Convenção} + , spanish = [la]{Convención}[las]{Convención} + , schinese = {约定}{约定} + , tchinese = {約定}{約定} + , japanese = {慣例}{慣例} + , russian = {Конвенция}{Конвенция} + } + , Crefname = { + , english = {Convention}{Convention} + , french = [La]{Convention}[Les]{Convention} + , ngerman = {Konvention}{Konvention} + , italian = [La]{Convenzione}[Le]{Convenzione} + , portuguese = [A]{Convenção}[As]{Convenção} + , brazilian = [A]{Convenção}[As]{Convenção} + , spanish = [La]{Convención}[Las]{Convención} + , schinese = {约定}{约定} + , tchinese = {約定}{約定} + , japanese = {慣例}{慣例} + , russian = {Конвенция}{Конвенция} + } + } + +\NameTheorem { corollary } + { + , heading = { + , english = Corollary + , french = Corollaire + , ngerman = Korollar + , italian = Corollario + , portuguese = Corolário + , brazilian = Corolário + , spanish = Corolario + , schinese = 推论 + , tchinese = 推論 + , japanese = 系 + , russian = Следствие + } + , crefname = { + , english = {Corollary}{Corollary} + , french = [le]{Corollaire}[les]{Corollaire} + , ngerman = {Korollar}{Korollar} + , italian = [il]{Corollario}[i]{Corollario} + , portuguese = [o]{Corolário}[os]{Corolário} + , brazilian = [o]{Corolário}[os]{Corolário} + , spanish = [el]{Corolario}[los]{Corolario} + , schinese = {推论}{推论} + , tchinese = {推論}{推論} + , japanese = {系}{系} + , russian = {Следствие}{Следствие} + } + , Crefname = { + , english = {Corollary}{Corollary} + , french = [Le]{Corollaire}[Les]{Corollaire} + , ngerman = {Korollar}{Korollar} + , italian = [Il]{Corollario}[I]{Corollario} + , portuguese = [O]{Corolário}[Os]{Corolário} + , brazilian = [O]{Corolário}[Os]{Corolário} + , spanish = [El]{Corolario}[Los]{Corolario} + , schinese = {推论}{推论} + , tchinese = {推論}{推論} + , japanese = {系}{系} + , russian = {Следствие}{Следствие} + } + } + +\NameTheorem { definition } + { + , heading = { + , english = Definition + , french = Définition + , ngerman = Definition + , italian = Definizione + , portuguese = Definição + , brazilian = Definição + , spanish = Definición + , schinese = 定义 + , tchinese = 定義 + , japanese = 定義 + , russian = Определение + } + , crefname = { + , english = {Definition}{Definition} + , french = [la]{Définition}[les]{Définition} + , ngerman = {Definition}{Definition} + , italian = [la]{Definizione}[le]{Definizione} + , portuguese = [a]{Definição}[as]{Definição} + , brazilian = [a]{Definição}[as]{Definição} + , spanish = [la]{Definición}[las]{Definición} + , schinese = {定义}{定义} + , tchinese = {定義}{定義} + , japanese = {定義}{定義} + , russian = {Определение}{Определение} + } + , Crefname = { + , english = {Definition}{Definition} + , french = [La]{Définition}[Les]{Définition} + , ngerman = {Definition}{Definition} + , italian = [La]{Definizione}[Le]{Definizione} + , portuguese = [A]{Definição}[As]{Definição} + , brazilian = [A]{Definição}[As]{Definição} + , spanish = [La]{Definición}[Las]{Definición} + , schinese = {定义}{定义} + , tchinese = {定義}{定義} + , japanese = {定義}{定義} + , russian = {Определение}{Определение} + } + } + +\NameTheorem { example } + { + , heading = { + , english = Example + , french = Exemple + , ngerman = Beispiel + , italian = Esempio + , portuguese = Exemplo + , brazilian = Exemplo + , spanish = Ejemplo + , schinese = 例 + , tchinese = 例 + , japanese = 例 + , russian = Пример + } + , crefname = { + , english = {Example}{Example} + , french = [l']{Example}[les]{Example} + , ngerman = {Beispiel}{Beispiel} + , italian = [l']{Esempio}[gli]{Esempio} + , portuguese = [o]{Exemplo}[os]{Exemplo} + , brazilian = [o]{Exemplo}[os]{Exemplo} + , spanish = [el]{Ejemplo}[los]{Ejemplo} + , schinese = {例}{例} + , tchinese = {例}{例} + , japanese = {例}{例} + , russian = {Пример}{Пример} + } + , Crefname = { + , english = {Example}{Example} + , french = [L']{Example}[Les]{Example} + , ngerman = {Beispiel}{Beispiel} + , italian = [L']{Esempio}[Gli]{Esempio} + , portuguese = [O]{Exemplo}[Os]{Exemplo} + , brazilian = [O]{Exemplo}[Os]{Exemplo} + , spanish = [El]{Ejemplo}[Los]{Ejemplo} + , schinese = {例}{例} + , tchinese = {例}{例} + , japanese = {例}{例} + , russian = {Пример}{Пример} + } + } + +\NameTheorem { exercise } + { + , heading = { + , english = Exercise + , french = Exercice + , ngerman = Übung + , italian = Esercizio + , portuguese = Exercício + , brazilian = Exercício + , spanish = Ejercicio + , schinese = 练习 + , tchinese = 練習 + , japanese = 練習 + , russian = Упражнение + } + , crefname = { + , english = {Exercise}{Exercise} + , french = [l']{Exercice}[les]{Exercice} + , ngerman = {Übung}{Übung} + , italian = [l']{Esercizio}[gli]{Esercizio} + , portuguese = [o]{Exercício}[os]{Exercício} + , brazilian = [o]{Exercício}[os]{Exercício} + , spanish = [el]{Ejercicio}[los]{Ejercicio} + , schinese = {练习}{练习} + , tchinese = {練習}{練習} + , japanese = {練習}{練習} + , russian = {Упражнение}{Упражнение} + } + , Crefname = { + , english = {Exercise}{Exercise} + , french = [L']{Exercice}[Les]{Exercice} + , ngerman = {Übung}{Übung} + , italian = [L']{Esercizio}[Gli]{Esercizio} + , portuguese = [O]{Exercício}[Os]{Exercício} + , brazilian = [O]{Exercício}[Os]{Exercício} + , spanish = [El]{Ejercicio}[Los]{Ejercicio} + , schinese = {练习}{练习} + , tchinese = {練習}{練習} + , japanese = {練習}{練習} + , russian = {Упражнение}{Упражнение} + } + } + +\NameTheorem { fact } + { + , heading = { + , english = Fact + , french = Fait + , ngerman = Fakt + , italian = Fatto + , portuguese = Facto + , brazilian = Fato + , spanish = Hecho + , schinese = 事实 + , tchinese = 事實 + , japanese = 事実 + , russian = Факт + } + , crefname = { + , english = {Fact}{Fact} + , french = [le]{Fait}[les]{Fait} + , ngerman = {Fakt}{Fakt} + , italian = [il]{Fatto}[i]{Fatto} + , portuguese = [o]{Facto}[os]{Facto} + , brazilian = [o]{Fato}[os]{Fato} + , spanish = [el]{Hecho}[los]{Hecho} + , schinese = {事实}{事实} + , tchinese = {事實}{事實} + , japanese = {事実}{事実} + , russian = {Факт}{Факт} + } + , Crefname = { + , english = {Fact}{Fact} + , french = [Le]{Fait}[Les]{Fait} + , ngerman = {Fakt}{Fakt} + , italian = [Il]{Fatto}[I]{Fatto} + , portuguese = [O]{Facto}[Os]{Facto} + , brazilian = [O]{Fato}[Os]{Fato} + , spanish = [El]{Hecho}[Los]{Hecho} + , schinese = {事实}{事实} + , tchinese = {事實}{事實} + , japanese = {事実}{事実} + , russian = {Факт}{Факт} + } + } + +\NameTheorem { hypothesis } + { + , heading = { + , english = Hypothesis + , french = Hypothèse + , ngerman = Hypothese + , italian = Ipotesi + , portuguese = Hipótese + , brazilian = Hipótese + , spanish = Hipótesis + , schinese = 假设 + , tchinese = 假設 + , japanese = 仮設 + , russian = Гипотеза + } + , crefname = { + , english = {Hypothesis}{Hypothesis} + , french = [l']{Hypothèse}[les]{Hypothèse} + , ngerman = {Hypothese}{Hypothese} + , italian = [l']{Ipotesi}[le]{Ipotesi} + , portuguese = [a]{Hipótese}[as]{Hipótese} + , brazilian = [a]{Hipótese}[as]{Hipótese} + , spanish = [la]{Hipótesis}[las]{Hipótesis} + , schinese = {假设}{假设} + , tchinese = {假設}{假設} + , japanese = {仮設}{仮設} + , russian = {Гипотеза}{Гипотеза} + } + , Crefname = { + , english = {Hypothesis}{Hypothesis} + , french = [L']{Hypothèse}[Les]{Hypothèse} + , ngerman = {Hypothese}{Hypothese} + , italian = [L']{Ipotesi}[Le]{Ipotesi} + , portuguese = [A]{Hipótese}[As]{Hipótese} + , brazilian = [A]{Hipótese}[As]{Hipótese} + , spanish = [La]{Hipótesis}[Las]{Hipótesis} + , schinese = {假设}{假设} + , tchinese = {假設}{假設} + , japanese = {仮設}{仮設} + , russian = {Гипотеза}{Гипотеза} + } + } + +\NameTheorem { lemma } + { + , heading = { + , english = Lemma + , french = Lemme + , ngerman = Lemma + , italian = Lemma + , portuguese = Lema + , brazilian = Lema + , spanish = Lema + , schinese = 引理 + , tchinese = 引理 + , japanese = 補題 + , russian = Лемма + } + , crefname = { + , english = {Lemma}{Lemma} + , french = [le]{Lemme}[les]{Lemme} + , ngerman = {Lemma}{Lemma} + , italian = [il]{Lemma}[i]{Lemma} + , portuguese = [o]{Lema}[os]{Lema} + , brazilian = [o]{Lema}[os]{Lema} + , spanish = [el]{Lema}[las]{Lema} + , schinese = {引理}{引理} + , tchinese = {引理}{引理} + , japanese = {補題}{補題} + , russian = {Лемма}{Лемма} + } + , Crefname = { + , english = {Lemma}{Lemma} + , french = [Le]{Lemme}[Les]{Lemme} + , ngerman = {Lemma}{Lemma} + , italian = [Il]{Lemma}[I]{Lemma} + , portuguese = [O]{Lema}[Os]{Lema} + , brazilian = [O]{Lema}[Os]{Lema} + , spanish = [el]{Lema}[las]{Lema} + , schinese = {引理}{引理} + , tchinese = {引理}{引理} + , japanese = {補題}{補題} + , russian = {Лемма}{Лемма} + } + } + +\NameTheorem { notation } + { + , heading = { + , english = Notation + , french = Notation + , ngerman = Notation + , italian = Notazione + , portuguese = Notação + , brazilian = Notação + , spanish = Notación + , schinese = 记号 + , tchinese = 記號 + , japanese = 記法 + , russian = Нотация + } + , crefname = { + , english = {Notation}{Notation} + , french = [la]{Notation}[les]{Notation} + , ngerman = {Notation}{Notation} + , italian = [la]{Notazione}[le]{Notazione} + , portuguese = [a]{Notação}[as]{Notação} + , brazilian = [a]{Notação}[as]{Notação} + , spanish = [la]{Notación}[las]{Notación} + , schinese = {记号}{记号} + , tchinese = {記號}{記號} + , japanese = {記法}{記法} + , russian = {Нотация}{Нотация} + } + , Crefname = { + , english = {Notation}{Notation} + , french = [La]{Notation}[Les]{Notation} + , ngerman = {Notation}{Notation} + , italian = [La]{Notazione}[Le]{Notazione} + , portuguese = [A]{Notação}[As]{Notação} + , brazilian = [A]{Notação}[As]{Notação} + , spanish = [La]{Notación}[Las]{Notación} + , schinese = {记号}{记号} + , tchinese = {記號}{記號} + , japanese = {記法}{記法} + , russian = {Нотация}{Нотация} + } + } + +\NameTheorem { observation } + { + , heading = { + , english = Observation + , french = Observation + , ngerman = Beobachtung + , italian = Osservazione + , portuguese = Observação + , brazilian = Observação + , spanish = Observación + , schinese = 观察 + , tchinese = 觀察 + , japanese = 観察 + , russian = Наблюдение + } + , crefname = { + , english = {Observation}{Observation} + , french = [la]{Observation}[les]{Observation} + , ngerman = {Beobachtung}{Beobachtung} + , italian = [l']{Osservazione}[le]{Osservazione} + , portuguese = [a]{Observação}[as]{Observação} + , brazilian = [a]{Observação}[as]{Observação} + , spanish = [la]{Observación}[las]{Observación} + , schinese = {观察}{观察} + , tchinese = {觀察}{觀察} + , japanese = {観察}{観察} + , russian = {Наблюдение}{Наблюдение} + } + , Crefname = { + , english = {Observation}{Observation} + , french = [La]{Observation}[Les]{Observation} + , ngerman = {Beobachtung}{Beobachtung} + , italian = [L']{Osservazione}[Le]{Osservazione} + , portuguese = [A]{Observação}[As]{Observação} + , brazilian = [A]{Observação}[As]{Observação} + , spanish = [La]{Observación}[Las]{Observación} + , schinese = {观察}{观察} + , tchinese = {觀察}{觀察} + , japanese = {観察}{観察} + , russian = {Наблюдение}{Наблюдение} + } + } + +\NameTheorem { postulate } + { + , heading = { + , english = Postulate + , french = Postulat + , ngerman = Postulat + , italian = Postulato + , portuguese = Postulado + , brazilian = Postulado + , spanish = Postulado + , schinese = 公设 + , tchinese = 公設 + , japanese = 公準 + , russian = Постулат + } + , crefname = { + , english = {Postulate}{Postulate} + , french = [le]{Postulat}[les]{Postulat} + , ngerman = {Postulat}{Postulat} + , italian = [il]{Postulato}[i]{Postulato} + , portuguese = [o]{Postulado}[os]{Postulado} + , brazilian = [o]{Postulado}[os]{Postulado} + , spanish = [el]{Postulado}[los]{Postulado} + , schinese = {公设}{公设} + , tchinese = {公設}{公設} + , japanese = {公準}{公準} + , russian = {Постулат}{Постулат} + } + , Crefname = { + , english = {Postulate}{Postulate} + , french = [Le]{Postulat}[Les]{Postulat} + , ngerman = {Postulat}{Postulat} + , italian = [Il]{Postulato}[I]{Postulato} + , portuguese = [O]{Postulado}[Os]{Postulado} + , brazilian = [O]{Postulado}[Os]{Postulado} + , spanish = [El]{Postulado}[Los]{Postulado} + , schinese = {公设}{公设} + , tchinese = {公設}{公設} + , japanese = {公準}{公準} + , russian = {Постулат}{Постулат} + } + } + +\NameTheorem { problem } + { + , heading = { + , english = Problem + , french = Problème + , ngerman = Problem + , italian = Problema + , portuguese = Problema + , brazilian = Problema + , spanish = Problema + , schinese = 问题 + , tchinese = 問題 + , japanese = 問題 + , russian = Проблема + } + , crefname = { + , english = {Problem}{Problem} + , french = [le]{Problème}[les]{Problème} + , ngerman = {Problem}{Problem} + , italian = [il]{Problema}[i]{Problema} + , portuguese = [o]{Problema}[os]{Problema} + , brazilian = [o]{Problema}[os]{Problema} + , spanish = [el]{Problema}[los]{Problema} + , schinese = {问题}{问题} + , tchinese = {問題}{問題} + , japanese = {問題}{問題} + , russian = {Проблема}{Проблема} + } + , Crefname = { + , english = {Problem}{Problem} + , french = [Le]{Problème}[Les]{Problème} + , ngerman = {Problem}{Problem} + , italian = [Il]{Problema}[I]{Problema} + , portuguese = [O]{Problema}[Os]{Problema} + , brazilian = [O]{Problema}[Os]{Problema} + , spanish = [El]{Problema}[Los]{Problema} + , schinese = {问题}{问题} + , tchinese = {問題}{問題} + , japanese = {問題}{問題} + , russian = {Проблема}{Проблема} + } + } + +\NameTheorem { property } + { + , heading = { + , english = Property + , french = Propriété + , ngerman = Eigenschaft + , italian = Proprietà + , portuguese = Propriedade + , brazilian = Propriedade + , spanish = Propiedad + , schinese = 性质 + , tchinese = 性質 + , japanese = 性質 + , russian = Имущество + } + , crefname = { + , english = {Property}{Property} + , french = [la]{Propriété}[les]{Propriété} + , ngerman = {Eigenschaft}{Eigenschaft} + , italian = [la]{Proprietà}[le]{Proprietà} + , portuguese = [a]{Propriedade}[as]{Propriedade} + , brazilian = [a]{Propriedade}[as]{Propriedade} + , spanish = [la]{Propiedad}[las]{Propiedad} + , schinese = {性质}{性质} + , tchinese = {性質}{性質} + , japanese = {性質}{性質} + , russian = {Имущество}{Имущество} + } + , Crefname = { + , english = {Property}{Property} + , french = [La]{Propriété}[Les]{Propriété} + , ngerman = {Eigenschaft}{Eigenschaft} + , italian = [La]{Proprietà}[Le]{Proprietà} + , portuguese = [A]{Propriedade}[As]{Propriedade} + , brazilian = [A]{Propriedade}[As]{Propriedade} + , spanish = [La]{Propiedad}[Las]{Propiedad} + , schinese = {性质}{性质} + , tchinese = {性質}{性質} + , japanese = {性質}{性質} + , russian = {Имущество}{Имущество} + } + } + +\NameTheorem { proposition } + { + , heading = { + , english = Proposition + , french = Proposition + , ngerman = Proposition + , italian = Proposizione + , portuguese = Proposição + , brazilian = Proposição + , spanish = Proposición + , schinese = 命题 + , tchinese = 命題 + , japanese = 命題 + , russian = Предложение + } + , crefname = { + , english = {Proposition}{Proposition} + , french = [la]{Proposition}[les]{Proposition} + , ngerman = {Proposition}{Proposition} + , italian = [la]{Proposizione}[le]{Proposizione} + , portuguese = [a]{Proposição}[as]{Proposição} + , brazilian = [a]{Proposição}[as]{Proposição} + , spanish = [la]{Proposición}[las]{Proposición} + , schinese = {命题}{命题} + , tchinese = {命題}{命題} + , japanese = {命題}{命題} + , russian = {Предложение}{Предложение} + } + , Crefname = { + , english = {Proposition}{Proposition} + , french = [La]{Proposition}[Les]{Proposition} + , ngerman = {Proposition}{Proposition} + , italian = [La]{Proposizione}[Le]{Proposizione} + , portuguese = [A]{Proposição}[As]{Proposição} + , brazilian = [A]{Proposição}[As]{Proposição} + , spanish = [La]{Proposición}[Las]{Proposición} + , schinese = {命题}{命题} + , tchinese = {命題}{命題} + , japanese = {命題}{命題} + , russian = {Предложение}{Предложение} + } + } + +\NameTheorem { question } + { + , heading = { + , english = Question + , french = Question + , ngerman = Frage + , italian = Domanda + , portuguese = Pergunta + , brazilian = Pergunta + , spanish = Pregunta + , schinese = 问题 + , tchinese = 問題 + , japanese = 問題 + , russian = Вопрос + } + , crefname = { + , english = {Question}{Question} + , french = [la]{Question}[les]{Question} + , ngerman = {Frage}{Frage} + , italian = [la]{Domanda}[le]{Domanda} + , portuguese = [a]{Pergunta}[as]{Pergunta} + , brazilian = [a]{Pergunta}[as]{Pergunta} + , spanish = [la]{Pregunta}[las]{Pregunta} + , schinese = {问题}{问题} + , tchinese = {問題}{問題} + , japanese = {問題}{問題} + , russian = {Вопрос}{Вопрос} + } + , Crefname = { + , english = {Question}{Question} + , french = [La]{Question}[Les]{Question} + , ngerman = {Frage}{Frage} + , italian = [La]{Domanda}[Le]{Domanda} + , portuguese = [A]{Pergunta}[As]{Pergunta} + , brazilian = [A]{Pergunta}[As]{Pergunta} + , spanish = [La]{Pregunta}[Las]{Pregunta} + , schinese = {问题}{问题} + , tchinese = {問題}{問題} + , japanese = {問題}{問題} + , russian = {Вопрос}{Вопрос} + } + } + +\NameTheorem { remark } + { + , heading = { + , english = Remark + , french = Remarque + , ngerman = Bemerkung + , italian = Commento + , portuguese = Comentário + , brazilian = Comentário + , spanish = Comentario + , schinese = 备注 + , tchinese = 備註 + , japanese = 注釈 + , russian = Замечание + } + , crefname = { + , english = {Remark}{Remark} + , french = [la]{Remarque}[les]{Remarque} + , ngerman = {Bemerkung}{Bemerkung} + , italian = [il]{Commento}[i]{Commento} + , portuguese = [o]{Comentário}[os]{Comentário} + , brazilian = [o]{Comentário}[os]{Comentário} + , spanish = [el]{Comentario}[los]{Comentario} + , schinese = {备注}{备注} + , tchinese = {備註}{備註} + , japanese = {注釈}{注釈} + , russian = {Замечание}{Замечание} + } + , Crefname = { + , english = {Remark}{Remark} + , french = [La]{Remarque}[Les]{Remarque} + , ngerman = {Bemerkung}{Bemerkung} + , italian = [Il]{Commento}[I]{Commento} + , portuguese = [O]{Comentário}[Os]{Comentário} + , brazilian = [O]{Comentário}[Os]{Comentário} + , spanish = [El]{Comentario}[Los]{Comentario} + , schinese = {备注}{备注} + , tchinese = {備註}{備註} + , japanese = {注釈}{注釈} + , russian = {Замечание}{Замечание} + } + } + +\NameTheorem { theorem } + { + , heading = { + , english = Theorem + , french = Théorème + , ngerman = Satz + , italian = Teorema + , portuguese = Teorema + , brazilian = Teorema + , spanish = Teorema + , schinese = 定理 + , tchinese = 定理 + , japanese = 定理 + , russian = Теорема + } + , crefname = { + , english = {Theorem}{Theorem} + , french = [le]{Théorème}[les]{Théorème} + , ngerman = {Satz}{Satz} + , italian = [il]{Teorema}[i]{Teorema} + , portuguese = [o]{Teorema}[os]{Teorema} + , brazilian = [o]{Teorema}[os]{Teorema} + , spanish = [el]{Teorema}[los]{Teorema} + , schinese = {定理}{定理} + , tchinese = {定理}{定理} + , japanese = {定理}{定理} + , russian = {Теорема}{Теорема} + } + , Crefname = { + , english = {Theorem}{Theorem} + , french = [Le]{Théorème}[Les]{Théorème} + , ngerman = {Satz}{Satz} + , italian = [Il]{Teorema}[I]{Teorema} + , portuguese = [O]{Teorema}[Os]{Teorema} + , brazilian = [O]{Teorema}[Os]{Teorema} + , spanish = [El]{Teorema}[Los]{Teorema} + , schinese = {定理}{定理} + , tchinese = {定理}{定理} + , japanese = {定理}{定理} + , russian = {Теорема}{Теорема} + } + } + +\endinput +%% +%% End of file `projlib-theorem.sty'. + + +接下来: +1. ✅ 定义 \SetTheorem,用于处理编号和名称样式的问题 +2. ✅ 定义 complexname 与 simplename +3. ✅ 给出定理类环境的初始化,注意 no-theorem 与 no-theorem-numbering 等选项 |