Subversion Repositories wimsdev

Rev

Details | Last modification | View Log | RSS feed

Rev Author Line No. Line
2071 zjchen 1
!set methtit2=重写代数式
2
!set methtit=重写代数式
3
!set methenv=ZZ QQ RR CC
4
!set methparmtype=parm algexp nocomma nonesting, function
5
!set methhelp=通过代数重写进行推导. 只允许使用算术等价性.
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
 !read deduc/methparm.phtml 2,20
17
 !set methremark=只允许使用算术等价性.
18
!exit
19
:check
20
 !distribute items $methparmobj1 into data,exp
21
 !read deduc/sub/checkzero ($exp)-($methparm2)
22
 !if $out=$empty
23
  error=bad_data
24
  !exit
25
 !endif
26
 !if $out!=yes
27
  error=unjustified
28
  !exit
29
 !endif
30
 methexp=重写 \($exp)
31
 
32
 newobject1=$methparm2
33
 oldobject=1
34
 
35
!exit
36