Rev 5763 | Rev 16135 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 5763 | Rev 16120 | ||
---|---|---|---|
Line 5... | Line 5... | ||
5 | to the truth of an equation or inequality. The equation/inequality and \ |
5 | to the truth of an equation or inequality. The equation/inequality and \ |
6 | its inverse will be added to the hypotheses in the two respective\ |
6 | its inverse will be added to the hypotheses in the two respective\ |
7 | cases. |
7 | cases. |
8 | 8 | ||
9 | !if $wims_read_parm iswordof form check |
9 | !if $wims_read_parm iswordof form check |
10 | !goto $wims_read_parm |
10 | !goto $wims_read_parm |
11 | !endif |
11 | !endif |
12 | 12 | ||
13 | !exit |
13 | !exit |
14 | :form |
14 | :form |
15 |
|
15 | Separate the cases according to the truth of the (in)équation <br/> |
16 |
|
16 | <input size="10" name="methparm1" value="$methparm1"/> |
17 |
|
17 | !formselect methparm2 from 1 to 6 prompt =,!=,<,>,<=,>= |
18 |
|
18 | <input size="10" name="methparm3" value="$methparm3"/> |
19 | !exit |
19 | !exit |
20 | :check |
20 | :check |
21 |
|
21 | sign1=!item $methparm2 of =,!=,<,>,<=,>= |
22 |
|
22 | sign2=!item $methparm2 of !=,=,>=,<=,>,< |
23 | 23 | ||
24 |
|
24 | casesplit=$methparm1 $sign1 $methparm3\ |
25 | $methparm1 $sign2 $methparm3 |
25 | $methparm1 $sign2 $methparm3 |
26 | methexp=Separate the cases \($methparm1 $sign1 $methparm3) and \($methparm1 $sign2 $methparm3) |
26 | methexp=Separate the cases \($methparm1 $sign1 $methparm3) and \($methparm1 $sign2 $methparm3) |
27 | 27 | ||
28 | !exit |
28 | !exit |
29 | - |