Subversion Repositories wimsdev

Rev

Rev 20 | Rev 16120 | Go to most recent revision | Blame | Compare with Previous | Last modification | View Log | RSS feed

!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