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