Subversion Repositories wimsdev

!set methtit=Á½¸ö²»µÈʽÏà¼Ó

!set methenv=ZZ QQ RR

!set methparmtype=parm inequality >,parm inequality >

!set methhelp=´Ë·½·¨´ÓÁ½¸öÒÑÓеIJ»µÈʽÍƵ¼³öеIJ»µÈʽ:\

 <div class="wimscenter">\

 Èô \(a > b) Óë \(c > b), Ôò \(a+c > b+d) .\

</div>\

 µÃµ½µÄ²»µÈʽ¼ÓÈë¼ÙÉèÖÐ.

!if $wims_read_parm iswordof form check

 !goto $wims_read_parm

!endif

!exit

:form

 °Ñ²»µÈʽ

 !read deduc/methparm.phtml 1

 Óë

 !read deduc/methparm.phtml 2

Ïà¼Ó

!exit

:check

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

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

 methexp=°Ñ \($left1 $sign1 $right1) Óë \($left2 $sign2 $right2) Ïà¼Ó

 gt=>

 lt=<

 !if ($gt isin $sign1 and $lt isin $sign2) or\

    ($lt isin $sign1 and $gt isin $sign2)

  !exchange left2,right2

 !endif

 !read deduc/sub/simplify ($left1) + ($left2)\

    ($right1) + ($right2)

 !distribute lines $out into newleft, newright

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

  error=bad_data

  !exit

 !endif

 !if $gt isin $sign1

  s_=>

 !else

  s_=<

 !endif

 eq=$empty=

 !if $eq isin $sign1 and $eq isin $sign2

  s_=$s_=

 !endif

 newobject0=$newleft $s_ $newright

 oldobject=0

 contextlist=$ct_Always,\

    $ct_OnlywhenÁ½¸ö²»µÈʽÊÇÕýµÄ,\

    $ct_OnlywhenÆäÖÐÖ®Ò»ÊÇÕýµÄ,\

    $ct_OnlywhenÆäÖÐ֮һͬºÅ

!exit