Subversion Repositories wimsdev

!set methtit=Add an equation to an inequality

!set methenv=ZZ QQ RR

!set methparmtype=function, parm equation >,parm inequality

!set methhelp=This method applies the following property on inequalities,\

 to deduce a new inequality:\

<p class="wimscenter">\

 If \(a = b), then \(c > b <=> f*a+c > f*b+d) for whatever \(f).\

</p>

!if $wims_read_parm iswordof form check

  !goto $wims_read_parm

!endif

!exit

:form

 Add

!default methparm1=1

!read deduc/methparm.phtml 1,10

$ times the equation

!read deduc/methparm.phtml 2

$ to the inequality

!read deduc/methparm.phtml 3

!exit

:check

!distribute items $methparmobj2 into data,left1,sign1,right1

!distribute items $methparmobj3 into data,left2,sign2,right2

methexp=Add \(($methparm1)*($left1 $sign1 $right1)) to \($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