!set methtit2=Introducir una desigualdad obvia por aritmética simple
!set methtit=Introducir desigualdad obvia
!set methenv=ZZ QQ RR
!set methparmtype=function, choice 4, function
!set methhelp=Este método le permite ingresar una desigualdad del estilo\
  \(A > B) en las hipótesis, en cuanto \(A - B) es una constante positiva.

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

!exit
:form
Introducir una desigualdad obvia
<input size="12" name="methparm1" value="$methparm1">
!formselect methparm2 from 1 to 4 prompt <,>,<=,>=
<input size="12" name="methparm3" value="$methparm3">
!set methremark=La verdad de tu desigualdad debería ser \
obvia a partir de aritmética simple.

!exit
:check
sign=!item $methparm2 of <,>,<=,>=
!read deduc/sub/checkineq ($methparm1) - ($methparm3),$sign,0
!if $out!=true
  !if $out=false
    error=¡Tu desigualdad no es cierta!
    !advance penalty
  !else
    error=unjustified
  !endif
  !exit
!endif

newobject0=$methparm1 $sign $methparm3
oldobject=0
methexp=Desigualdad obvia

!exit
