home *** CD-ROM | disk | FTP | other *** search
/ ftp.cs.yorku.ca 2015 / ftp.cs.yorku.ca.tar / ftp.cs.yorku.ca / pub / peter / SVT / arithmetic.simp next >
Text File  |  2000-01-24  |  1KB  |  49 lines
  1. X * 0 ->> 0.
  2. X * 1 ->> X.
  3. M * N ->> P :- P assigned M*N.
  4.  
  5. X**2 ->> S :- S assigned X*X.
  6.  
  7. sl(X, 0) ->> X.
  8. sl(X, N) ->> X*sl(N).
  9.  
  10. sl(0) ->> 1.
  11. sl(N) ->> sl(M)*2 :- M assigned N-1.
  12.  
  13. X**0 ->> 1.
  14. X**1 ->> X.
  15. 0**X ->> 0.
  16.  
  17. X + 0 ->> X.
  18. X - X ->> 0.
  19. X - 0 ->> X.
  20. X + Y - X ->> Y.   X + Y - Y ->> X.  X - Y + Y ->> X. 
  21. M - N ->> D :- D assigned M - N.
  22. X + Y = 0 ->> X = -Y.
  23. A + Neg ->> A - N :- N assigned -Neg, Neg < 0. 
  24. A - Neg ->> A + N :- N assigned -Neg, Neg < 0.
  25. X*K + X ->> X*K1 :- K1 assigned K+1.
  26. M + N ->> S :- S assigned M+N.
  27.  
  28. (X-Y)*(X+Y) ->> X**2 - Y**2.
  29. (X-Y)*(Y+X) ->> X**2 - Y**2.
  30. (X + Y) * N ->> X*N + P :- P assigned Y*N.
  31. (X + Y) * N ->> X*N + Y*N.
  32. X*M + X*N ->> X*P :- P assigned M + N.
  33. X + M - N ->> X + D :- D assigned M - N.
  34. (X+M)-(X+N) ->> M - N.
  35. -(A-B) ->> B-A.
  36. X - (X - A) ->> A.
  37. X - (Y - Z) ->> X - Y + Z. 
  38. X+X ->> X*2.  
  39. W + X + (Y - X) ->> W + Y. 
  40.  
  41. X*Y*X ->> Y*X**2.
  42. X**N * Y * X ->> X**(N+1)*Y.
  43. X**N * (Y * X) ->> X**(N+1)*Y.
  44. A**N ->> A**M*A :- number(A), M assigned N - 1.
  45. X**A*X**B ->> X**(A*B).
  46.  
  47.  
  48.  
  49.