!set methtit2=Introduce an obvious inequality after simple arithmetics
!set methtit=Introduce an obvious inequality
!set methenv=ZZ QQ RR
!set methparmtype=function, choice 4, function
!set methhelp=This method allows you to enter an inequality \(A > B) into\
 the hypotheses, whenever \(A - B) is a positive constant.

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

!exit
:form
 Introduce an obvious inequality
<input size="12" name="methparm1" value="$methparm1">
!formselect methparm2 from 1 to 4 prompt <,>,<=,>=
<input size="12" name="methparm3" value="$methparm3">
!set methremark=Your inequality must be obviously true after simple\
  arithmetics.

!exit
:check
sign=!item $methparm2 of <,>,<=,>=
!read deduc/sub/checkineq ($methparm1) - ($methparm3),$sign,0
!if $out!=true
  !if $out=false
    error=Your inequality is not true!
    !advance penalty
  !else
    error=unjustified
  !endif
  !exit
!endif

newobject0=$methparm1 $sign $methparm3
oldobject=0
methexp=Obvious inequality

!exit
