Subversion Repositories wimsdev

Rev

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
 Separate the cases according to the truth of the (in)équation <br/>
15
Separate the cases according to the truth of the (in)équation <br/>
16
 <input size=10 name=methparm1 value="$methparm1"/>
16
<input size="10" name="methparm1" value="$methparm1"/>
17
 !formselect methparm2 from 1 to 6 prompt =,!=,<,>,<=,>=
17
!formselect methparm2 from 1 to 6 prompt =,!=,<,>,<=,>=
18
 <input size=10 name=methparm3 value="$methparm3"/>
18
<input size="10" name="methparm3" value="$methparm3"/>
19
!exit
19
!exit
20
:check
20
:check
21
 sign1=!item $methparm2 of =,!=,<,>,<=,>=
21
sign1=!item $methparm2 of =,!=,<,>,<=,>=
22
 sign2=!item $methparm2 of !=,=,>=,<=,>,<
22
sign2=!item $methparm2 of !=,=,>=,<=,>,<
23
 
23
 
24
 casesplit=$methparm1 $sign1 $methparm3\
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
 
-