Details | Last modification | View Log | RSS feed
| Rev | Author | Line No. | Line |
|---|---|---|---|
| 2071 | zjchen | 1 | !set methtit=交换不等式的两边 |
| 2 | !set methenv=ZZ QQ RR |
||
| 3 | !set methparmtype=parm inequality |
||
| 4 | !set methhelp=此方法把不等式 \(A < B) 改写成 \(B > A),\ |
||
| 5 | 或反之. |
||
| 6 | |||
| 7 | !if $wims_read_parm iswordof form check |
||
| 8 | !goto $wims_read_parm |
||
| 9 | !endif |
||
| 10 | |||
| 11 | !exit |
||
| 12 | :form |
||
| 13 | 交换不等式的两边 |
||
| 14 | !read deduc/methparm.phtml 1 |
||
| 15 | |||
| 16 | !exit |
||
| 17 | :check |
||
| 18 | !distribute items $methparmobj1 into data,left,sign,right |
||
| 19 | methexp=交换 \($left $sign $right) 的两边 |
||
| 20 | |||
| 21 | newsign=!translate internal <> to >< in $sign |
||
| 22 | newobject1=$right $newsign $left |
||
| 23 | oldobject=1 |
||
| 24 | |||
| 25 | contextlist=$ct_Always,\ |
||
| 26 | $ct_Onlywhen两边是正的,\ |
||
| 27 | $ct_Onlywhen两边同号,\ |
||
| 28 | $ct_Onlywhen不等式是严格的 |
||
| 29 | |||
| 30 | resultlist=$newobject1,\ |
||
| 31 | $right $sign $left |
||
| 32 | |||
| 33 | !exit |
||
| 34 |