On Fri, 13 May 2011 at 07:00AM -0400, Bruno Le Floch wrote: > Anyway, give me some examples, and one or two weeks, and I'll try to > produce a prototype.
That's the kind of answer I was hoping for! "Give me your problem, and
I'll find a solution for you." Excellent! :)
Here's what I was working with yesterday that prompted my message:
x, y, G = var('x y G')
sol = solve(G == 1/(1-x-x^2*(x^2*y-x^2) - x^2/(1-x-x^2*G)), G)[1].rhs()
latex(sol.full_simplify())
\frac{x^{5} - x^{4} - {\left(x^{5} - x^{4}\right)} y - x^{2} +
\sqrt{x - 1} \sqrt{x^{4} y - x^{4} + x - 1} \sqrt{-x^{5} + x^{4}
+ {\left(x^{5} - x^{4}\right)} y - 3 \, x^{2} - 2 \, x + 1} + 2
\, x - 1}{2 \, {\left(x^{6} y - x^{6} + x^{3} - x^{2}\right)}}
After poking and prodding that expression, what I have in my TeX file is:
\frac{(x-1)(x^{4}(1-y) - (x-1)) + \sqrt{(x - 1)(x-1+x^{4}(y-1))
(-x^{4}(x-1)(1-y)-(3x-1)(x+1))}}{2 x^{2} (x-1+x^{4}(y-1))}
If your parser can take that fraction and give me a Sage expression
that I can compare to `sol', I would be very happy.
Dan
--
--- Dan Drake
----- http://mathsci.kaist.ac.kr/~drake
-------
signature.asc
Description: Digital signature
