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