Rev 20 | Rev 16209 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 20 | Rev 16135 | ||
---|---|---|---|
Line 2... | Line 2... | ||
2 | !set methparmtype=number,parm equation |
2 | !set methparmtype=number,parm equation |
3 | !set methhelp=This method transforms an equation \(a = b)\ |
3 | !set methhelp=This method transforms an equation \(a = b)\ |
4 | into the equivalent equation \(a + n = b + n), where \(n) is a number. |
4 | into the equivalent equation \(a + n = b + n), where \(n) is a number. |
5 | 5 | ||
6 | !if $wims_read_parm iswordof form check |
6 | !if $wims_read_parm iswordof form check |
7 | !goto $wims_read_parm |
7 | !goto $wims_read_parm |
8 | !endif |
8 | !endif |
9 | 9 | ||
10 | !exit |
10 | !exit |
11 | :form |
11 | :form |
12 | Add the number |
12 | Add the number |
Line 27... | Line 27... | ||
27 | !exit |
27 | !exit |
28 | !endif |
28 | !endif |
29 | newsign=$sign |
29 | newsign=$sign |
30 | newobject2=$newleft $newsign $newright |
30 | newobject2=$newleft $newsign $newright |
31 | oldobject=2 |
31 | oldobject=2 |
32 | 32 | ||
33 | contextlist=$ct_Always,\ |
33 | contextlist=$ct_Always,\ |
34 | $ct_Onlywhen the added number is of constant sign,\ |
34 | $ct_Onlywhen the added number is of constant sign,\ |
35 | $ct_Onlywhen the added number is positive |
35 | $ct_Onlywhen the added number is positive |
36 | 36 | ||
37 | !if $askresult>1 |
37 | !if $askresult>1 |
38 | !read deduc/sub/simplify $left - ($methparm1)\ |
38 | !read deduc/sub/simplify $left - ($methparm1)\ |
39 | $right - ($methparm1) |
39 | $right - ($methparm1) |
40 | !distribute lines $out into badleft, badright |
40 | !distribute lines $out into badleft, badright |
41 | badsign=!translate internal <> to >< in $newsign |
41 | badsign=!translate internal <> to >< in $newsign |
42 | 42 | ||
43 | resultlist=$newobject2,\ |
43 | resultlist=$newobject2,\ |
44 | $newleft $newsign $badright,\ |
44 | $newleft $newsign $badright,\ |
45 | $badleft $newsign $newright |
45 | $badleft $newsign $newright |
46 | !endif |
46 | !endif |
47 | 47 |