Rev 16135 | Details | Compare with Previous | Last modification | View Log | RSS feed
Rev | Author | Line No. | Line |
---|---|---|---|
20 | reyssat | 1 | !set methtit2=Algebraic rewriting of an expression |
2 | !set methtit=Rewrite an expression |
||
3 | !set methenv=ZZ QQ RR CC |
||
4 | !set methparmtype=parm algexp nocomma nonesting, function |
||
5 | !set methhelp=Deduction by algebraic rewriting. Only arithmetic equivalences\ |
||
16207 | bpr | 6 | are accepted in this rewriting. |
20 | reyssat | 7 | |
8 | !if $wims_read_parm iswordof form check |
||
16120 | bpr | 9 | !goto $wims_read_parm |
20 | reyssat | 10 | !endif |
11 | |||
12 | !exit |
||
13 | :form |
||
16120 | bpr | 14 | Rewrite the expression |
15 | !read deduc/methparm.phtml 1 |
||
16 | $ into |
||
16135 | bpr | 17 | !read deduc/methparm.phtml 2,20 |
18 | !set methremark=Only arithmetic equivalences are accepted in this\ |
||
20 | reyssat | 19 | rewriting. |
20 | !exit |
||
21 | :check |
||
16120 | bpr | 22 | !distribute items $methparmobj1 into data,exp |
23 | !read deduc/sub/checkzero ($exp)-($methparm2) |
||
24 | !if $out=$empty |
||
20 | reyssat | 25 | error=bad_data |
26 | !exit |
||
16120 | bpr | 27 | !endif |
28 | !if $out!=yes |
||
20 | reyssat | 29 | error=unjustified |
30 | !exit |
||
16135 | bpr | 31 | !endif |
32 | methexp=Rewriting of \($exp) |
||
20 | reyssat | 33 | |
16120 | bpr | 34 | newobject1=$methparm2 |
35 | oldobject=1 |
||
20 | reyssat | 36 | |
37 | !exit |