Rev 20 | Go to most recent revision | Details | Compare with Previous | Last modification | View Log | RSS feed
Rev | Author | Line No. | Line |
---|---|---|---|
16321 | bpr | 1 | !set methtit2:Reescritura algebraica de una expresión |
2 | !set methtit:Reescribir una expresión |
||
3 | !set methenv:ZZ QQ RR CC |
||
4 | !set methparmtype:parm algexp nocomma sin anidamiento, función |
||
5 | !set methhelp:Deducción por reescritura algebraica. Sólo equivalencias\ |
||
6 | aritméticas se aceptan en esta reescritura. |
||
20 | reyssat | 7 | |
8 | !if $wims_read_parm iswordof form check |
||
16321 | bpr | 9 | !goto $wims_read_parm |
20 | reyssat | 10 | !endif |
11 | |||
12 | !exit |
||
13 | :form |
||
16321 | bpr | 14 | Reescribe la expresión |
15 | !read deduc/methparm.phtml 1 |
||
16 | $ en |
||
17 | !read deduc/methparm.phtml 2,20 |
||
18 | !set methremark=Sólo se aceptan equivalencias aritméticas en \ |
||
19 | esta reescritura. |
||
20 | reyssat | 20 | !exit |
21 | :check |
||
16321 | 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 |
||
16321 | bpr | 27 | !endif |
28 | !if $out!=yes |
||
20 | reyssat | 29 | error=unjustified |
30 | !exit |
||
16321 | bpr | 31 | !endif |
32 | methexp=Reescritura de \($exp) |
||
20 | reyssat | 33 | |
16321 | bpr | 34 | newobject1=$methparm2 |
35 | oldobject=1 |
||
20 | reyssat | 36 | |
37 | !exit |