Subversion Repositories wimsdev

Rev

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

Rev 20 Rev 38
Line 39... Line 39...
39 
 !endif
 39 
 !endif
40
40
41 
 !read deduc/sub/checkzero $check1\
 41 
 !read deduc/sub/checkzero $check1\
42 
	$check2
 42 
	$check2
43 
 !distribute line $out into out1, out2
 43 
 !distribute line $out into out1, out2
44 
 !read deduc/sub/Simplify ($check1) / ($check2)
 44 
 !read deduc/sub/_Simplify ($check1) / ($check2)
45 
 out3=$out
 45 
 out3=$out
46 
 !if $out1=yes or $out2=yes
 46 
 !if $out1=yes or $out2=yes
47 
  !if $out1!=yes or $out2!=yes
 47 
  !if $out1!=yes or $out2!=yes
48 
   !goto badequiv
 48 
   !goto badequiv
49 
  !endif
 49 
  !endif