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 |