Subversion Repositories wimsdev

Rev

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

Rev 16135 Rev 16209
Line 14... Line 14...
14
 to the two sides of the equation
14
 to the two sides of the equation
15
 !read deduc/methparm.phtml 2
15
 !read deduc/methparm.phtml 2
16
 
16
 
17
!exit
17
!exit
18
:check
18
:check
19
 !distribute items $methparmobj2 into data,left,sign,right
19
!distribute items $methparmobj2 into data,left,sign,right
20
 methexp=Add \(methparm1) to two sides of \($left $sign $right)
20
methexp=Add \(methparm1) to two sides of \($left $sign $right)
21
 
21
 
22
 !read deduc/sub/simplify ($left + ($methparm1)\
22
!read deduc/sub/simplify ($left + ($methparm1)\
23
	$right + ($methparm1)
23
	$right + ($methparm1)
24
 !distribute lines $out into newleft,newright
24
!distribute lines $out into newleft,newright
25
 !if $newleft=$empty or $newright=$empty
25
!if $newleft=$empty or $newright=$empty
26
  error=bad_data
26
  error=bad_data
27
  !exit
27
  !exit
28
 !endif
28
!endif
29
 newsign=$sign
29
newsign=$sign
30
 newobject2=$newleft $newsign $newright
30
newobject2=$newleft $newsign $newright
31
 oldobject=2
31
oldobject=2
32
 
32
 
33
 contextlist=$ct_Always,\
33
contextlist=$ct_Always,\
34
	$ct_Onlywhen the added number is of constant sign,\
34
	$ct_Onlywhen the added number is of constant sign,\
35
	$ct_Onlywhen the added number is positive
35
	$ct_Onlywhen the added number is positive
36
 
36
 
37
 !if $askresult>1
37
!if $askresult>1
38
  !read deduc/sub/simplify $left - ($methparm1)\
38
  !read deduc/sub/simplify $left - ($methparm1)\
39
	$right - ($methparm1)
39
 	$right - ($methparm1)
40
  !distribute lines $out into badleft, badright
40
  !distribute lines $out into badleft, badright
41
  badsign=!translate internal <> to >< in $newsign
41
  badsign=!translate internal <> to >< in $newsign
42
 
42
 
43
  resultlist=$newobject2,\
43
  resultlist=$newobject2,\
44
	$newleft $newsign $badright,\
44
 	  $newleft $newsign $badright,\
45
	$badleft $newsign $newright
45
 	  $badleft $newsign $newright
46
 !endif
46
!endif
47
 
47
 
48
!exit
48
!exit
49
 
-