2013-10-10 20:56:20 +08:00
|
|
|
|
<TeXmacs|1.0.7.20>
|
2011-08-28 15:59:50 +08:00
|
|
|
|
|
|
|
|
|
|
<style|tmdoc>
|
|
|
|
|
|
|
|
|
|
|
|
<\body>
|
2013-10-10 20:56:20 +08:00
|
|
|
|
<tmdoc-title|Environnements th<74>or<6F>mes>
|
2011-08-28 15:59:50 +08:00
|
|
|
|
|
|
|
|
|
|
Le d.t.d. <tmdtd|env-theorem> \ d<>finit les balises d'affichage des
|
|
|
|
|
|
environnements th<74>or<6F>mes. Les balises principales sont les suivantes :
|
|
|
|
|
|
|
2013-10-10 20:56:20 +08:00
|
|
|
|
<\explain|<markup|render-theorem>>
|
|
|
|
|
|
Macro d'affichage des environnements th<74>or<6F>mes. Le premier argument donne
|
|
|
|
|
|
le nom du th<74>or<6F>me, tel \S<space|0.2spc>Th<54>or<6F>me 1.2<space|0.2spc>\T et
|
|
|
|
|
|
le second argument est le corps du th<74>or<6F>me. Cet environnement est
|
|
|
|
|
|
utilis<69> par les environnements d<>finis avec <markup|new-theorem>.
|
|
|
|
|
|
</explain>
|
|
|
|
|
|
|
|
|
|
|
|
<\explain|<markup|render-remark>>
|
|
|
|
|
|
Identique <20> <markup|render-theorem> pour les environnements remarques.
|
|
|
|
|
|
</explain>
|
|
|
|
|
|
|
|
|
|
|
|
<\explain|<markup|render-exercise>>
|
|
|
|
|
|
Identique <20> <markup|render-theorem> pour les environnements exercices.
|
|
|
|
|
|
</explain>
|
|
|
|
|
|
|
|
|
|
|
|
<\explain|<markup|render-proof>>
|
|
|
|
|
|
Identique <20> <markup|render-theorem> pour les d<>monstrations. Cet
|
|
|
|
|
|
environnement est principalement utilis<69> pour personnaliser le nom d'une
|
|
|
|
|
|
d<>monstration, comme dans \S<space|0.2spc>Fin de la d<>monstration du
|
|
|
|
|
|
th<74>or<6F>me 1.2<space|0.2spc>\T.\
|
|
|
|
|
|
</explain>
|
|
|
|
|
|
|
|
|
|
|
|
<\explain|<markup|dueto>>
|
|
|
|
|
|
Environnement qui peut <20>tre utilis<69> pour indiquer des auteurs d'un
|
|
|
|
|
|
th<74>or<6F>me.
|
|
|
|
|
|
</explain>
|
|
|
|
|
|
|
|
|
|
|
|
<\explain|<markup|corollary*>>
|
|
|
|
|
|
Pour les corollaires non num<75>rot<6F>s. Cet environnement se base sur
|
|
|
|
|
|
<markup|render-theorem>.
|
|
|
|
|
|
</explain>
|
|
|
|
|
|
|
|
|
|
|
|
<\explain|<markup|proof>>
|
|
|
|
|
|
Pour la d<>monstration des th<74>or<6F>mes. Cet environnement se base sur
|
|
|
|
|
|
<markup|render-proof>.
|
|
|
|
|
|
</explain>
|
2011-08-28 15:59:50 +08:00
|
|
|
|
|
|
|
|
|
|
Les balises suivantes peuvent <20>tre utilis<69>es pour personnaliser les
|
|
|
|
|
|
environnements.
|
|
|
|
|
|
|
2013-10-10 20:56:20 +08:00
|
|
|
|
<\explain|<markup|theorem-name>>
|
|
|
|
|
|
Macro qui g<>re l'apparence des noms des environnements th<74>or<6F>mes et
|
|
|
|
|
|
remarques. La plupart utilisent un style gras ou des petites majuscules.
|
|
|
|
|
|
</explain>
|
2011-08-28 15:59:50 +08:00
|
|
|
|
|
2013-10-10 20:56:20 +08:00
|
|
|
|
<\explain|<markup|exercise-name>>
|
|
|
|
|
|
Identique <20> <markup|theorem-name> pour les exercices.
|
|
|
|
|
|
</explain>
|
2011-08-28 15:59:50 +08:00
|
|
|
|
|
2013-10-10 20:56:20 +08:00
|
|
|
|
<\explain|<markup|theorem-sep>>
|
|
|
|
|
|
S<>parateur entre le nom d'un environnement th<74>or<6F>me ou remarque et son
|
|
|
|
|
|
corps. Par d<>faut, il s'agit d'un point suivi d'une espace.
|
|
|
|
|
|
</explain>
|
2011-08-28 15:59:50 +08:00
|
|
|
|
|
2013-10-10 20:56:20 +08:00
|
|
|
|
<\explain|<markup|exercise-sep>>
|
|
|
|
|
|
Identique <20> <markup|theorem-sep> pour les exercices.
|
|
|
|
|
|
</explain>
|
2011-08-28 15:59:50 +08:00
|
|
|
|
|
2013-10-10 20:56:20 +08:00
|
|
|
|
<tmdoc-copyright|1998--2003|Joris van der Hoeven|Mich<63>le Garoche>
|
2011-08-28 15:59:50 +08:00
|
|
|
|
|
2013-10-10 20:56:20 +08:00
|
|
|
|
<tmdoc-license|Permission is granted to copy, distribute and/or modify this
|
|
|
|
|
|
document under the terms of the GNU Free Documentation License, Version 1.1
|
|
|
|
|
|
or any later version published by the Free Software Foundation; with no
|
|
|
|
|
|
Invariant Sections, with no Front-Cover Texts, and with no Back-Cover
|
|
|
|
|
|
Texts. A copy of the license is included in the section entitled "GNU Free
|
|
|
|
|
|
Documentation License".>
|
2011-08-28 15:59:50 +08:00
|
|
|
|
</body>
|
|
|
|
|
|
|
|
|
|
|
|
<\initial>
|
|
|
|
|
|
<\collection>
|
|
|
|
|
|
<associate|language|french>
|
|
|
|
|
|
</collection>
|
2013-10-10 20:56:20 +08:00
|
|
|
|
</initial>
|
