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 |