home *** CD-ROM | disk | FTP | other *** search
/ Chip 2002 June / Chip_2002-06_cd1.bin / zkuste / derive / download / Setup.exe / %MAINDIR% / Math / Algebra.dmo next >
Encoding:
Text File  |  2002-05-15  |  1.0 KB  |  27 lines

  1. ;Expands as necessary to simplify expressions
  2. (x+a)^2-2*a*x
  3.  
  4. ;Unnecessary top-level expansion is avoided
  5. 2 (x^2 - y^2)^6 - (x^2 - y^2)^5(2 x^2 - 3)
  6.  
  7. ;Unnecessary inner-level expansion is avoided
  8. (x + (a + 1)^10) ^ 2  -  (a + 1)^20
  9.  
  10. ;This rational expression simplifies to a polynomial
  11. a^3/((a-b)*(a-c)) + b^3/((b-c)*(b-a)) + c^3/((c-a)*(c-b))
  12.  
  13. ;Fractions are reduced to lowest terms
  14. (x^6+a^6)(x+1)/((x^6+a^6)*(x^2-a^2)+a^2*x^2*(x^4-a^4))+a^2*x^2(x+1)/(x^6-a^6-a^2*x^2*(x^2-a^2))
  15.  
  16. ;Superfluous variables are eliminated
  17. ((a*n + b*m)^2 + (a*m - b*n)^2) / ((a*p + b*q)^2 + (a*q - b*p)^2)
  18.  
  19. ;Cancellations can be dramatic
  20. ((p*x^2+(k-s)*x+r)^2-(p*x^2+(k+s)*x+r)^2)/((p*x^2+(k+t)*x+r)^2-(p*x^2+(k-t)*x+r)^2)
  21.  
  22. ;Compound fractions are reduced to simple ones
  23. (1 - (1-(y+1)/(x+y+1)) / (1-x/(x+y+1))) / ((y+1)^2 - x / (1+x/(y-x+1)) (x (y+1)/(y-x+1) - x))
  24.  
  25. ;Compound fractions are reduced to simple ones
  26. ((1/x^2+1/y^2)/(1/x^2-1/y^2)-(1/x^2-1/y^2)/(1/x^2+1/y^2))/((2x+y)/(((x+y)/(x-y)+(x-y)/(x+y))*(x^2/y^2+y^2/x^2-2)))
  27.