Subversion Repositories wimsdev

!set methtit=Add a number to the two sides of an inequality

!set methenv=ZZ QQ RR

!set methparmtype=number,parm inequality

!set methhelp=This method transforms an inequality of the form \(a > b)\

 into an equivalent one \(a + n > b + n), where \(n) is a number.

!if $wims_read_parm iswordof form check

  !goto $wims_read_parm

!endif

!exit

:form

 Add the number

!read deduc/methparm.phtml 1,15

 to the two sides of the inequality

!read deduc/methparm.phtml 2

!exit

:check

!distribute items $methparmobj2 into data,left,sign,right

methexp=Add \($methparm1) to the two sides of \($left $sign $right)

!read deduc/sub/simplify $left + ($methparm1)\

  $right + ($methparm1)

!distribute lines $out into newleft,newright

!if $newleft=$empty or $newright=$empty

  error=bad_data

  !exit

!endif

newsign=$sign

newobject2=$newleft $newsign $newright

oldobject=2

contextlist=$ct_Always,\

	$ct_Onlywhen the number added is positive,\

	$ct_Onlywhen the inequality is strict,\

	$ct_Onlywhen the inequality is not strict

!if $askresult>1

  !read deduc/sub/simplify $left - ($methparm1)\

	$right - ($methparm1)

  !distribute lines $out into badleft, badright

  badsign=!translate internal <> to >< in $newsign

  resultlist=$newobject2,\

	$newleft $newsign $badright,\

	$badleft $newsign $newright,\

	$newleft $badsign $newright,\

	$newleft $badsign $badright

!endif

!exit