!set methtit=引入恒不等式
!set methenv=ZZ QQ RR
!set methparmtype=number, choice 4, number
!set methhelp=此方法引入一个(数值)恒不等式到假设中.

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

!exit
:form
 引入恒不等式
 <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=你的不等式不对!
   !advance penalty
  !else
   error=unjustified
  !endif
  !exit
 !endif

 newobject0=$methparm1 $sign $methparm3
 oldobject=0
 methexp=恒不等式

!exit

