Subversion Repositories wimsdev

Rev

Rev 5763 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 5763 Rev 16120
Line 4... Line 4...
4 
!set methparmtype=function, choice 4, function
 4 
!set methparmtype=function, choice 4, function
5 
!set methhelp=This method allows you to enter an inequality \(A > B) into\
 5 
!set methhelp=This method allows you to enter an inequality \(A > B) into\
6 
 the hypotheses, whenever \(A - B) is a positive constant.
 6 
 the hypotheses, whenever \(A - B) is a positive constant.
7 
 
 7 
 
8 
!if $wims_read_parm iswordof form check
 8 
!if $wims_read_parm iswordof form check
9 
 !goto $wims_read_parm
 9 
  !goto $wims_read_parm
10 
!endif
 10 
!endif
11 
 
 11 
 
12 
!exit
 12 
!exit
13 
:form
 13 
:form
14 
 Introduce an obvious inequality
 14 
 Introduce an obvious inequality
15 
 <input size=12 name=methparm1 value="$methparm1"/>
 15 
<input size="12" name="methparm1" value="$methparm1"/>
16 
 !formselect methparm2 from 1 to 4 prompt <,>,<=,>=
 16 
!formselect methparm2 from 1 to 4 prompt <,>,<=,>=
17 
 <input size=12 name=methparm3 value="$methparm3"/>
 17 
<input size="12" name="methparm3" value="$methparm3"/>
18 
 !set methremark=Your inequality must be obviously true after simple\
 18 
!set methremark=Your inequality must be obviously true after simple\
19 
  arithmetics.
 19 
  arithmetics.
20 
 
 20 
 
21 
!exit
 21 
!exit
22 
:check
 22 
:check
23 
 sign=!item $methparm2 of <,>,<=,>=
 23 
sign=!item $methparm2 of <,>,<=,>=
24 
 !read deduc/sub/checkineq ($methparm1) - ($methparm3),$sign,0
 24 
!read deduc/sub/checkineq ($methparm1) - ($methparm3),$sign,0
25 
 !if $out!=true
 25 
!if $out!=true
26 
  !if $out=false
 26 
  !if $out=false
27 
   error=Your inequality is not true!
 27 
    error=Your inequality is not true!
28 
   !advance penalty
 28 
    !advance penalty
29 
  !else
 29 
  !else
30 
   error=unjustified
 30 
    error=unjustified
31 
  !endif
 31 
  !endif
32 
  !exit
 32 
  !exit
33 
 !endif
 33 
!endif
34 
 
 - 
 
35 
 newobject0=$methparm1 $sign $methparm3
 - 
 
36 
 oldobject=0
 - 
 
37 
 methexp=Obvious inequality
 - 
 
38 
 
 34 
 
- 
 
 35 
newobject0=$methparm1 $sign $methparm3
39 
!exit
 36 
oldobject=0
- 
 
 37 
methexp=Obvious inequality
40 
 
 38 
 
- 
 
 39 
!exit