Skip to content

Commit

Permalink
Marc Bavant: +drv ~iganto
Browse files Browse the repository at this point in the history
  • Loading branch information
revo committed Sep 9, 2001
1 parent e872fc5 commit 80b88e2
Show file tree
Hide file tree
Showing 2 changed files with 69 additions and 23 deletions.
72 changes: 49 additions & 23 deletions revo/maksim1.xml
Original file line number Diff line number Diff line change
Expand Up @@ -8,23 +8,32 @@
<rad>maksimum</rad>/o
</kap>
<drv mrk="maksim1.0o">
<kap><tld/>o</kap>
<snc mrk="maksim1.0o.KOMUNE">
<dif>
Plejgranda atingebla kvanto a&ubreve; grado: <ekz><tld/>o da malvarmo dum vintro estis 32 gradoj sub nulo;
</ekz> <ekz>tio estas <tld/>a prezo;
</ekz> <ekz>mi forestos <tld/>e du tagojn;
</ekz> <ekz>vi devos <tld/>e penadi;
</ekz> <ekz><tld/>a justeco estas maljusteco
</ekz>
</dif>
</snc>

<kap><tld/>o</kap>
<snc mrk="maksim1.0o.KOMUNE">
<dif>
Plejgranda atingebla kvanto a&ubreve; grado:
<ekz>
<tld/>o da malvarmo dum vintro estis 32 gradoj sub nulo;
</ekz>
<ekz>
tio estas <tld/>a prezo;
</ekz>
<ekz>
mi forestos <tld/>e du tagojn;
</ekz>
<ekz>
vi devos <tld/>e penadi;
</ekz>
<ekz>
<tld/>a justeco estas maljusteco
</ekz>
</dif>
</snc>
<snc mrk="maksim1.0o.MAT">
<uzo tip="fak">MAT</uzo>
<fnt><bib>MatVort</bib></fnt>
<dif>
<klr>(de <ref cel="ord.0a.aro">orda aro</ref>
(<em>E</em>, &#x2264;))</klr>
<klr>(de <ref cel="ord.0a.aro">orda aro</ref> (<em>E</em>, &#x2264;))</klr>
Tia elemento M en <em>E</em>, ke &ccirc;iuj aliaj estas malpli
grandaj ol &gcirc;i (x&#x2264;M por &ccirc;iu ajn x en <em>E</em>):
<ekz>
Expand All @@ -34,23 +43,20 @@ Plejgranda atingebla kvanto a&ubreve; grado: <ekz><tld/>o da malvarmo dum vintro
la eventuala <tld/>o estas unika;
</ekz>
<ekz>
(absoluta) <tld/>o de funkcio
<klr>(t.e. de &gcirc;ia bildaro)</klr>;
(absoluta) <tld/>o de funkcio <klr>(t.e. de &gcirc;ia bildaro)</klr>;
</ekz>
<ekz>
(relativa) <tld/>o de funkcio
(relativa) <tld/>o de funkcio
<klr>(t.e. de la bildo de certa &ccirc;irka&ubreve;a&jcirc;o)</klr>.
</ekz>
</dif>
</snc>
<refgrp tip="ant">
<ref cel="minimu.0o">minimumo</ref>.
</refgrp>

<trd lng="en">maximum</trd>
<trd lng="fr">maximum</trd>
</drv>

<drv mrk="maksim1.0a">
<kap><tld/>a</kap>
<snc mrk="maksim1.0a.KOMUNE">
Expand All @@ -63,14 +69,15 @@ Plejgranda atingebla kvanto a&ubreve; grado: <ekz><tld/>o da malvarmo dum vintro
mi forestos <ind><tld/>e</ind> <klr>(ne pli ol)</klr> tri tagojn.
<trdgrp lng="fr">
<trd>au <ind>maximum</ind></trd>,
<trd>au <ind>plus</ind></trd></trdgrp>
<trd>au <ind>plus</ind></trd>
</trdgrp>
</ekz>
</dif>
</snc>
<snc mrk="maksim1.0a.elemento">
<uzo tip="fak">MAT</uzo>
<dif>
<klr>(p.p. elemento de <ref cel="ord.0a.aro">orda aro</ref>
<klr>(p.p. elemento de <ref cel="ord.0a.aro">orda aro</ref>
(<em>E</em>, &#x2264;))</klr>
Tia, ke ne ekzistas elemento de <em>E</em> strikte pli granda
ol &gcirc;i:
Expand All @@ -83,7 +90,7 @@ Plejgranda atingebla kvanto a&ubreve; grado: <ekz><tld/>o da malvarmo dum vintro
<snc mrk="maksim1.0a.idealo">
<uzo tip="fak">MAT</uzo>
<dif>
<klr>(p.p. <ref cel="ideal.0o.MAT">idealo</ref> de ringo
<klr>(p.p. <ref cel="ideal.0o.MAT">idealo</ref> de ringo
<em>R</em>)</klr>
Tia, ke &gcirc;i estas <tld/>a <sncref ref="maksim1.0a.elemento"/>
en la aro de &ccirc;iuj idealoj de <em>R</em>, provizita per
Expand All @@ -95,10 +102,29 @@ Plejgranda atingebla kvanto a&ubreve; grado: <ekz><tld/>o da malvarmo dum vintro
</refgrp>
<trd lng="fr">maximal</trd>
</drv>

<drv mrk="maksim1.0iganto">
<kap><tld/>iganto</kap>
<uzo tip="fak">MAT</uzo>
<fnt><bib>PIV1</bib></fnt>
<snc>
<dif>
<klr>(de <ref cel="bild.0igo">bildigo</ref> kun valoroj en
<ref cel="ord.0a.aro">orda aro</ref>)</klr>
Punkto de la fonto-aro, &ccirc;e kiu la bildigo atingas
<tld/>on.
</dif>
</snc>
<trd lng="de">Maximumstelle</trd>
<trd lng="en">point of maximum</trd>
<trd lng="fr">point de maximum</trd>
<trd lng="ru">&c_t;&c_o;&c_ch;&c_k;&c_a; &c_m;&c_a;&c_k;&c_s;&c_i;&c_m;&c_u;&c_m;&c_a;</trd>
</drv>
</art>
<!--
$Log$
Revision 1.6 2001/03/31 18:07:53 revo
Marc Bavant: +drv ~a
Revision 1.5 2001/02/04 17:16:13 revo
Marc Bavant: +ofc, kor ref tip al minimumo, +snc MAT
Expand Down
20 changes: 20 additions & 0 deletions revo/minimu.xml
Original file line number Diff line number Diff line change
Expand Up @@ -79,10 +79,30 @@ Kiel eble plej malgranda kvanto a&ubreve; plej malalta grado: <ekz>kunporti por
</refgrp>
<trd lng="fr">minimal</trd>
</drv>
<drv mrk="minimu.0iganto">
<kap><tld/>iganto</kap>
<uzo tip="fak">MAT</uzo>
<fnt><bib>PIV1</bib></fnt>
<snc>
<dif>
<klr>(de <ref cel="bild.0igo">bildigo</ref> kun valoroj en
<ref cel="ord.0a.aro">orda aro</ref>)</klr>
Punkto de la fonto-aro, &ccirc;e kiu la bildigo atingas
<tld/>on.
</dif>
</snc>
<trd lng="de">Minimumstelle</trd>
<trd lng="en">point of minimum</trd>
<trd lng="fr">point de minimum</trd>
<trd lng="ru">&c_t;&c_o;&c_ch;&c_k;&c_a; &c_m;&c_i;&c_n;&c_i;&c_m;&c_u;&c_m;&c_a;</trd>
</drv>
</art>

<!--
$Log$
Revision 1.6 2001/03/31 18:07:46 revo
Marc Bavant: +drv ~a
Revision 1.5 2001/02/04 17:16:09 revo
Marc Bavant: +ofc, kor ref tip al minimumo, +snc MAT
Expand Down

0 comments on commit 80b88e2

Please sign in to comment.