Rev 20 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 20 | Rev 16321 | ||
---|---|---|---|
Line 1... | Line 1... | ||
1 | !set |
1 | !set methtit2:Reescritura algebraica de una expresión |
2 | !set |
2 | !set methtit:Reescribir una expresión |
3 | !set |
3 | !set methenv:ZZ QQ RR CC |
4 | !set |
4 | !set methparmtype:parm algexp nocomma sin anidamiento, función |
5 | !set |
5 | !set methhelp:Deducción por reescritura algebraica. Sólo equivalencias\ |
6 |
|
6 | aritméticas se aceptan en esta reescritura. |
7 | 7 | ||
8 | !if $wims_read_parm iswordof form check |
8 | !if $wims_read_parm iswordof form check |
9 | !goto $wims_read_parm |
9 | !goto $wims_read_parm |
10 | !endif |
10 | !endif |
11 | 11 | ||
12 | !exit |
12 | !exit |
13 | :form |
13 | :form |
14 |
|
14 | Reescribe la expresión |
15 |
|
15 | !read deduc/methparm.phtml 1 |
16 | en |
16 | $ en |
17 |
|
17 | !read deduc/methparm.phtml 2,20 |
18 |
|
18 | !set methremark=Sólo se aceptan equivalencias aritméticas en \ |
19 |
|
19 | esta reescritura. |
20 | !exit |
20 | !exit |
21 | :check |
21 | :check |
22 |
|
22 | !distribute items $methparmobj1 into data,exp |
23 |
|
23 | !read deduc/sub/checkzero ($exp)-($methparm2) |
24 |
|
24 | !if $out=$empty |
25 | error=bad_data |
25 | error=bad_data |
26 | !exit |
26 | !exit |
27 |
|
27 | !endif |
28 |
|
28 | !if $out!=yes |
29 | error=unjustified |
29 | error=unjustified |
30 | !exit |
30 | !exit |
31 |
|
31 | !endif |
32 |
|
32 | methexp=Reescritura de \($exp) |
33 | - | ||
34 | newobject1=$methparm2 |
- | |
35 | oldobject=1 |
- | |
36 | 33 | ||
- | 34 | newobject1=$methparm2 |
|
37 |
|
35 | oldobject=1 |
38 | 36 | ||
- | 37 | !exit |