Subversion Repositories wimsdev

!set methtit=Introduce a constant inequality
!set methenv=ZZ QQ RR
!set methparmtype=number, choice 4, number
!set methhelp=This method allows you to enter a constant (numerical)\
 inequality into the hypotheses.

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

!exit
:form
 Introduce a constant inequality
 <input size=12 name=methparm1 value="$methparm1"/>
 !formselect methparm2 from 1 to 4 prompt <,>,<=,>=
 <input size=12 name=methparm3 value="$methparm3"/>
!exit
:check
 sign=!item $methparm2 of <,>,<=,>=
 !read deduc/sub/checkineq $methparm1,$sign,$methparm3
 !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=Constant inequality

!exit