Rev 5976 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 5976 | Rev 16117 | ||
---|---|---|---|
Line 6... | Line 6... | ||
6 | <p class="wimscenter">\ |
6 | <p class="wimscenter">\ |
7 | Si \(a = b), alors \(c > b <=> f*a+c > f*b+d) quelque soit \(f).\ |
7 | Si \(a = b), alors \(c > b <=> f*a+c > f*b+d) quelque soit \(f).\ |
8 | </p> |
8 | </p> |
9 | 9 | ||
10 | !if $wims_read_parm iswordof form check |
10 | !if $wims_read_parm iswordof form check |
11 | !goto $wims_read_parm |
11 | !goto $wims_read_parm |
12 | !endif |
12 | !endif |
13 | 13 | ||
14 | !exit |
14 | !exit |
15 | :form |
15 | :form |
16 |
|
16 | Ajouter |
17 |
|
17 | !default methparm1=1 |
18 |
|
18 | !read deduc/methparm.phtml 1,10 |
19 |
|
19 | fois l'équation |
20 |
|
20 | !read deduc/methparm.phtml 2 |
21 |
|
21 | à l'inégalité |
22 |
|
22 | !read deduc/methparm.phtml 3 |
23 | 23 | ||
24 | !exit |
24 | !exit |
25 | :check |
25 | :check |
26 |
|
26 | !distribute items $methparmobj2 into data,left1,sign1,right1 |
27 |
|
27 | !distribute items $methparmobj3 into data,left2,sign2,right2 |
28 |
|
28 | methexp=Ajouter \(($methparm1)*($left1 $sign1 $right1)) à \($left2 $sign2 $right2) |
29 | 29 | ||
30 |
|
30 | !read deduc/sub/simplify ($methparm1)*($left1) + ($left2)\ |
31 | ($methparm1)*($right1) + ($right2) |
31 | ($methparm1)*($right1) + ($right2) |
32 |
|
32 | !distribute lines $out into newleft, newright |
33 |
|
33 | !if $newleft=$empty or $newright=$empty |
34 | error=bad_data |
34 | error=bad_data |
35 | !exit |
35 | !exit |
36 |
|
36 | !endif |
37 | - | ||
38 | newobject3=$newleft $sign2 $newright |
- | |
39 | oldobject=3 |
- | |
40 | 37 | ||
- | 38 | newobject3=$newleft $sign2 $newright |
|
41 |
|
39 | oldobject=3 |
42 | 40 | ||
- | 41 | !exit |