Rev 16120 | Details | Compare with Previous | Last modification | View Log | RSS feed
Rev | Author | Line No. | Line |
---|---|---|---|
20 | reyssat | 1 | !set methtit=Add a number to the two sides of an inequality |
2 | !set methenv=ZZ QQ RR |
||
3 | !set methparmtype=number,parm inequality |
||
4 | !set methhelp=This method transforms an inequality of the form \(a > b)\ |
||
5 | into an equivalent one \(a + n > b + n), where \(n) is a number. |
||
6 | |||
7 | !if $wims_read_parm iswordof form check |
||
16120 | bpr | 8 | !goto $wims_read_parm |
20 | reyssat | 9 | !endif |
10 | |||
11 | !exit |
||
12 | :form |
||
13 | Add the number |
||
16120 | bpr | 14 | !read deduc/methparm.phtml 1,15 |
20 | reyssat | 15 | to the two sides of the inequality |
16120 | bpr | 16 | !read deduc/methparm.phtml 2 |
20 | reyssat | 17 | |
18 | !exit |
||
19 | :check |
||
16120 | bpr | 20 | !distribute items $methparmobj2 into data,left,sign,right |
17064 | bpr | 21 | methexp=Add \($methparm1) to the two sides of \($left $sign $right) |
20 | reyssat | 22 | |
16120 | bpr | 23 | !read deduc/sub/simplify $left + ($methparm1)\ |
24 | $right + ($methparm1) |
||
25 | !distribute lines $out into newleft,newright |
||
26 | !if $newleft=$empty or $newright=$empty |
||
20 | reyssat | 27 | error=bad_data |
28 | !exit |
||
16120 | bpr | 29 | !endif |
30 | newsign=$sign |
||
31 | newobject2=$newleft $newsign $newright |
||
32 | oldobject=2 |
||
33 | |||
34 | contextlist=$ct_Always,\ |
||
20 | reyssat | 35 | $ct_Onlywhen the number added is positive,\ |
36 | $ct_Onlywhen the inequality is strict,\ |
||
37 | $ct_Onlywhen the inequality is not strict |
||
38 | |||
16120 | bpr | 39 | !if $askresult>1 |
20 | reyssat | 40 | !read deduc/sub/simplify $left - ($methparm1)\ |
41 | $right - ($methparm1) |
||
42 | !distribute lines $out into badleft, badright |
||
43 | badsign=!translate internal <> to >< in $newsign |
||
16120 | bpr | 44 | |
20 | reyssat | 45 | resultlist=$newobject2,\ |
46 | $newleft $newsign $badright,\ |
||
47 | $badleft $newsign $newright,\ |
||
48 | $newleft $badsign $newright,\ |
||
49 | $newleft $badsign $badright |
||
16120 | bpr | 50 | !endif |
20 | reyssat | 51 | |
52 | !exit |