Subversion Repositories wimsdev

!set methtit=²»µÈʽÁ½±ß¼ÓÒ»¸öÊý

!set methenv=ZZ QQ RR

!set methparmtype=number,parm inequality

!set methhelp=´Ë·½·¨°Ñ²»µÈʽ \(a > b)\

 ±äÐÎ³ÉµÈ¼ÛµÄ \(a + n > b + n), ÆäÖÐ \(n) ÊÇÒ»¸öÊý.

!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=°Ñ \($methparm1) ¼Óµ½ \($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Õâ¸öÊýÊÇÕýµÄ,\

    $ct_Onlywhen²»µÈʽÊÇÑϸñµÄ,\

    $ct_Onlywhen²»µÈʽ²»ÊÇÑϸñµÄ

 !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