The examples in this subsection have been used for testing purposes by Matthias Goldgruber. The examples concern couble fractions. In particular for those, we are eagerly awaiting some specific open source tools from the MathML development.


Simplify the following terms ...

No.1 ((2 - x)/(2*a)) / (2*a/(x - 2)) = ...
No.2 (a^2 + 1)/(a^2 - 1) / ((a+1)/(a - 1)) = ...
No.3 (b^3 - b^2) / (b^2+b) / (b^2 - 1) = ...
No.4 (16*a^2 - 9*b^2)/(2*a+3*a*b) / ((4*a+3*b)/(4*a^2 - 9*a^2*b^2)) = ...
No.5 (a^2 - b^2)/(a*b) / (4*(a+b)^2/a) = ...
No.6 ((8*x^2 - 32*y^2)/(2*x + 4*y)) / ((4*x - 8*y)/(x + y)) = ...

This term simplifies considerably.
No.7 (2/(x+3) + 2/(x - 3)) / (8*x/(x^2 - 9)) = ...

And this term evaluates independent from the value of x !
No.8 (a - a/(a - 2)) / (a + a/(a - 2)) = ...
No.9 ((x+3*y)/9 + (4*y^2 - 9*z^2)/(16*x)) / (x/9 + y/6 + z/4) = ...
No.10 ((1 - 7*(x - 2)/(x^2 - 4)) / (6/(x+2))) / (3/(x+5)+30/(x^2 - 25)) = ...
No.11 3*b^2 / (4*a^2 - 8*a*b + 4*b^2) / (a / (a^2*b - b^3) + (a - b) / (4*a*b^2 + 4*b^3) - 1 / (4*b^2)) = ...
No.12 CAUTION with this example left for further testing. See smltest/ IsacKnowledge/ rational.sml 'SRD.test'.

((a^2 - b^2)/(2*a*b) + 2*a*b/(a^2 - b^2)) / ((a^2+b^2)/(2*a*b)+1) / ((a^2+b^2)^2/(a+b)^2) = ...