Subversion Repositories wimsdev

Rev

Rev 5763 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 5763 Rev 16120
Line 7... Line 7...
7 
 If \(a > b) and \(c > b), then \(a+c > b+d) .\
 7 
 If \(a > b) and \(c > b), then \(a+c > b+d) .\
8 
</div>\
 8 
</div>\
9 
 The last inequality will be put into the hypotheses.
 9 
 The last inequality will be put into the hypotheses.
10 
 
 10 
 
11 
!if $wims_read_parm iswordof form check
 11 
!if $wims_read_parm iswordof form check
12 
 !goto $wims_read_parm
 12 
  !goto $wims_read_parm
13 
!endif
 13 
!endif
14 
 
 14 
 
15 
!exit
 15 
!exit
16 
:form
 16 
:form
17 
 Add the inequalities
 17 
 Add the inequalities
18 
 !read deduc/methparm.phtml 1
 18 
!read deduc/methparm.phtml 1
19 
 and
 19 
 and
20 
 !read deduc/methparm.phtml 2
 20 
!read deduc/methparm.phtml 2
21 
 
 21 
 
22 
!exit
 22 
!exit
23 
:check
 23 
:check
24 
 !distribute items $methparmobj1 into data,left1,sign1,right1
 24 
!distribute items $methparmobj1 into data,left1,sign1,right1
25 
 !distribute items $methparmobj2 into data,left2,sign2,right2
 25 
!distribute items $methparmobj2 into data,left2,sign2,right2
26 
 methexp=Add \($left1 $sign1 $right1) and \($left2 $sign2 $right2)
 26 
methexp=Add \($left1 $sign1 $right1) and \($left2 $sign2 $right2)
27
27 
 
28 
 gt=>
 28 
gt=>
29 
 lt=<
 29 
lt=<
30 
 !if ($gt isin $sign1 and $lt isin $sign2) or\
 30 
!if ($gt isin $sign1 and $lt isin $sign2) or\
31 
	($lt isin $sign1 and $gt isin $sign2)
 31 
	($lt isin $sign1 and $gt isin $sign2)
32 
  !exchange left2,right2
 32 
  !exchange left2,right2
33 
 !endif
 33 
!endif
34 
 !read deduc/sub/simplify ($left1) + ($left2)\
 34 
!read deduc/sub/simplify $left1 + ($left2)\
35 
	($right1) + ($right2)
 35 
	$right1 + ($right2)
36 
 !distribute lines $out into newleft, newright
 36 
!distribute lines $out into newleft, newright
37 
 !if $newleft=$empty or $newright=$empty
 37 
!if $newleft=$empty or $newright=$empty
38 
  error=bad_data
 38 
  error=bad_data
39 
  !exit
 39 
  !exit
40 
 !endif
 40 
!endif
41 
 
 41 
 
42 
 !if $gt isin $sign1
 42 
!if $gt isin $sign1
43 
  s_=>
 43 
  s_=>
44 
 !else
 44 
!else
45 
  s_=<
 45 
  s_=<
46 
 !endif
 46 
!endif
47 
 eq=$empty=
 47 
eq=$empty=
48 
 !if $eq isin $sign1 and $eq isin $sign2
 48 
!if $eq isin $sign1 and $eq isin $sign2
49 
  s_=$s_=
 49 
 s_=$s_=
50 
 !endif
 50 
!endif
51 
 newobject0=$newleft $s_ $newright
 51 
newobject0=$newleft $s_ $newright
52 
 oldobject=0
 52 
oldobject=0
53 
 
 53 
 
54 
 contextlist=$ct_Always,\
 54 
contextlist=$ct_Always,\
55 
	$ct_Onlywhen the two inequalities are positive,\
 55 
	$ct_Onlywhen the two inequalities are positive,\
56 
	$ct_Onlywhen one of the two inequalities is positive,\
 56 
	$ct_Onlywhen one of the two inequalities is positive,\
57 
	$ct_Onlywhen one of the two inequalities is of the same sign
 57 
	$ct_Onlywhen one of the two inequalities is of the same sign
58 
 
 58 
 
59 
!exit
 59 
!exit