Subversion Repositories wimsdev

Rev

Rev 11567 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 11567 Rev 16117
Line 11... Line 11...
11 
 !goto $wims_read_parm
 11 
 !goto $wims_read_parm
12 
!endif
 12 
!endif
13 
 
 13 
 
14 
!exit
 14 
!exit
15 
:form
 15 
:form
16 
 !if $methsubstep=1
 16 
!if $methsubstep=1
17 
  Cette méthode permet la transformation entre inégalité stricte et
 17 
  Cette méthode permet la transformation entre inégalité stricte et
18 
  non-stricte. Vous pouvez choisir parmi les modes d'opération
 18 
  non-stricte. Vous pouvez choisir parmi les modes d'opération
19 
  suivantes&nbsp;: <ol>
 19 
  suivantes&nbsp;: <ol>
20 
   <li> (Affaiblir) Déduire une inégalité non-stricte d'une inégalité
 20 
   <li> (Affaiblir) Déduire une inégalité non-stricte d'une inégalité
21 
    stricte dans l'hypothèse.
 21 
    stricte dans l'hypothèse.
Line 26... Line 26...
26 
   </li><li> (Séparer)  "$m_ge" \(<=>) "&gt;" ou "=", ou
 26 
   </li><li> (Séparer)  "$m_ge" \(<=>) "&gt;" ou "=", ou
27 
    "&gt;" \(<=>) "$m_ge" et "$m_ne".
 27 
    "&gt;" \(<=>) "$m_ge" et "$m_ne".
28 
   </li>
 28 
   </li>
29 
  </ol>
 29 
  </ol>
30 
  !setmethsubstep=2
 30 
  !setmethsubstep=2
31 
 !else
 31 
!else
32 
 
 - 
 
33 
  methsubstep=1
 32 
  methsubstep=1
34 
 !endif
 33 
!endif
35 
!exit
 34 
!exit
36 
:check
 35 
:check
37 
 
 36 
 
38 
!exit
 37 
!exit
39 
 
 -