Subversion Repositories wimsdev

Rev

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