Subversion Repositories wimsdev

!set methtit2=Ó¦Óò»µÈʽµÄ´«µÝÐÔ
!set methtit=²»µÈʽµÄ´«µÝÐÔ
!set methenv=ZZ QQ RR
!set methparmtype=parm inequality >,parm inequality >
!set methhelp=´Ë·½·¨Ó¦Óò»µÈʽµÄ´«µÝÐÔ:\
  <div class="wimscenter">\
  \(A > B) Óë \(B > C) Ô̺¬ \(A > C).\
 </div>\
 Ç°Á½¸ö²»µÈʽ±ØÐëÒѾ­ÔÚ¼ÙÉèÖÐ,\
¶øµÚÈý¸öÔò±»¼Óµ½¼ÙÉèÖÐ. \
ԭʼ²»µÈʽҲ¿ÉÒÔÊÇ \(A > B) Óë \(C < B) µÄÐÎʽ.

!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 ($right1) - ($left2)\
    ($right2) - ($left1)
 !distribute lines $out into test1,test2
 !if $test1!=0
  !if $test2!=0
   error=ÄãµÄ²»µÈʽ²»ÄÜÓ¦Óô«µÝÐÔ.
   !advance penalty
   !exit
  !else
   !exchange right1,right2
   !exchange left1,left2
  !endif
 !endif

 !if $gt isin $sign1
  s_=>
 !else
  s_=<
 !endif
 eq=$empty=
 !if $eq isin $sign1 and $eq isin $sign2
  s_=$s_=
 !endif
 newobject0=$left1 $s_ $right2
 oldobject=0

!exit