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) = ... |