!set methtit=Añadir una ecuación a una desigualdad
!set methenv=ZZ QQ RR
!set methparmtype=function, parm equation >,parm inequality
!set methhelp=Este método aplica la siguiente propiedad\
  sobre las desigualdades, para deducir una nueva:\
<p><center>\
Si \(a = b), entonces  \(c > b <=> f*a+c > f*b+d) para cualquier \(f).\
</center>

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

!exit
:form
 Añadir
 !default methparm1=1
 !read deduc/methparm.phtml 1,10
 veces la ecuación
 !read deduc/methparm.phtml 2
 à la desigualdad
 !read deduc/methparm.phtml 3

!exit
:check
 !distribute items $methparmobj2 into data,left1,sign1,right1
 !distribute items $methparmobj3 into data,left2,sign2,right2
 methexp=Añadir \(($methparm1)*($left1 $sign1 $right1)) a \($left2 $sign2 $right2)
 
 !read deduc/sub/simplify ($methparm1)*($left1) + ($left2)\
	($methparm1)*($right1) + ($right2)
 !distribute lines $out into newleft, newright
 !if $newleft=$empty or $newright=$empty
  error=bad_data
  !exit
 !endif

 newobject3=$newleft $sign2 $newright
 oldobject=3

!exit

