Comment #39 on issue 93 by [email protected]: Square root denesting
http://code.google.com/p/sympy/issues/detail?id=93
Combination of radicals is not implemented; there is a section on this
in http://www.almaden.ibm.com/cs/people/fagin/symb85.pdf
In many cases one can use ``minimal_polynomial``; for example in that
reference
one wants to denest
```
expr = sqrt(1 + sqrt(3)) + sqrt(3 + 3*sqrt(3)) - sqrt(10 + 6*sqrt(3))
minimal_polynomial(expr)
_x
```
so the expression is zero; similarly
```
minimal_polynomial(-sqrt(2)*sqrt(sqrt(5) + 5)/4 - sqrt(10)*sqrt(sqrt(5)
+ 5)/20 + sqrt(5)*sqrt(2*sqrt(5) + 5)/5)
_x
```
``minimal_polynomial`` has also the advantage that it can deal with other
radicals
For instance the example C19 in Wester.pdf
```
minimal_polynomial((90 + 34*sqrt(7))**Rational(1,3))
_x**2 - 6*_x + 2
solve(_)
[-sqrt(7) + 3, sqrt(7) + 3]
```
--
You received this message because this project is configured to send all
issue notifications to this address.
You may adjust your notification preferences at:
https://code.google.com/hosting/settings
--
You received this message because you are subscribed to the Google Groups
"sympy-issues" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sympy-issues?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.
