diff options
Diffstat (limited to 'macros/latex/contrib/projlib/projlib-theorem.sty')
-rw-r--r-- | macros/latex/contrib/projlib/projlib-theorem.sty | 1184 |
1 files changed, 0 insertions, 1184 deletions
diff --git a/macros/latex/contrib/projlib/projlib-theorem.sty b/macros/latex/contrib/projlib/projlib-theorem.sty deleted file mode 100644 index 092ca2f0ea..0000000000 --- a/macros/latex/contrib/projlib/projlib-theorem.sty +++ /dev/null @@ -1,1184 +0,0 @@ -\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 等选项 |