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)\