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 
 
 -