Rev 16209 | Details | Compare with Previous | Last modification | View Log | RSS feed
Rev | Author | Line No. | Line |
---|---|---|---|
20 | reyssat | 1 | !set methtit=Separate cases according to an inequality |
2 | !set methenv=ZZ QQ RR |
||
3 | !set methparmtype=function, choice 4, function |
||
4 | !set methhelp=This method separates the situation into two cases, according \ |
||
5 | to the truth of an inequality. The inequality and its inverse will be added\ |
||
6 | to the hypotheses of the two cases respectively. |
||
7 | |||
8 | !if $wims_read_parm iswordof form check |
||
16209 | bpr | 9 | !goto $wims_read_parm |
20 | reyssat | 10 | !endif |
11 | |||
12 | !exit |
||
13 | :form |
||
17187 | bpr | 14 | Separate the cases according to the truth of the inequality <br> |
16120 | bpr | 15 | !read deduc/methparm.phtml 1,10 |
16 | !formselect methparm2 from 1 to 4 prompt <,>,<=,>= |
||
17 | !read deduc/methparm.phtml 3,10 |
||
20 | reyssat | 18 | !exit |
19 | :check |
||
16120 | bpr | 20 | sign1=!item $methparm2 of <,>,<=,>= |
21 | sign2=!item $methparm2 of >=,<=,>,< |
||
20 | reyssat | 22 | |
23 | casesplit=$methparm1 $sign1 $methparm3\ |
||
16135 | bpr | 24 | $methparm1 $sign2 $methparm3 |
25 | mt1=$methparm1 $sign1 $methparm3 |
||
26 | mt2=$methparm1 $sign2 $methparm3 |
||
27 | methexp=Separate the cases \($mt1) and \($mt2) |
||
20 | reyssat | 28 | |
29 | !exit |