Subversion Repositories wimsdev

Rev

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

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