Subversion Repositories wimsdev

!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