!set methtit2=Introduire une inégalité évidente par simple arithmétique
!set methtit=Introduire une inégalité évidente
!set methenv=ZZ QQ RR
!set methparmtype=function, choice 4, function
!set methhelp=Cette méthode permet d'entrer une inégalité du style\
 \(A > B) dans les hypothèses, dès que \(A - B) est une constante positive.

!if $wims_read_parm iswordof form check
 !goto $wims_read_parm
!endif

!exit
:form
 Introduire une inégalité évidente
 <input size="12" name="methparm1" value="$methparm1"/>
 !formselect methparm2 from 1 to 4 prompt <,>,<=,>=
 <input size="12" name="methparm3" value="$methparm3"/>
 !set methremark=La vérité de votre inégalité doit être évidente \
  à partir de simples arithmétiques.

!exit
:check
 sign=!item $methparm2 of <,>,<=,>=
 !read deduc/sub/checkineq ($methparm1) - ($methparm3),$sign,0
 !if $out!=true
  !if $out=false
   error=Votre inégalité n'est pas vraie !
   !advance penalty
  !else
   error=unjustified
  !endif
  !exit
 !endif

 newobject0=$methparm1 $sign $methparm3
 oldobject=0
 methexp=Inégalité évidente

!exit

