Status: Started
Owner: ----
Labels: Type-Defect Priority-Medium
New issue 3268 by [email protected]: simplify fails to recognize a zero
http://code.google.com/p/sympy/issues/detail?id=3268
z = -5*sqrt(2)/(2*sqrt(2*sqrt(29) + 29)) + sqrt(-sqrt(29)/29 + 1/2)
pprint(z)
______________
___ / ____
5*\/ 2 / \/ 29 1
- -------------------- + / - ------ + -
_______________ \/ 29 2
/ ____
2*\/ 2*\/ 29 + 29
pprint(z.normal())
/ _________________ _______________\
____ | ____ / ____ / ____ |
\/ 58 *\- 10*\/ 29 + 2*\/ - 2*\/ 29 + 29 *\/ 2*\/ 29 + 29 /
----------------------------------------------------------------
_______________
/ ____
116*\/ 2*\/ 29 + 29
If that product of radicals was expanded, the expression would go to zero.
When the terms with known sign are separated and collected together an
expansion should be attempted or else the expression will just separate out
again (via autosimplification):
sqrt(3-sqrt(2))*sqrt(3+sqrt(2))
sqrt(-sqrt(2) + 3)*sqrt(sqrt(2) + 3)
sqrt( (3+sqrt(2))*(3-sqrt(2)) )
sqrt(-sqrt(2) + 3)*sqrt(sqrt(2) + 3)
--
You received this message because you are subscribed to the Google Groups
"sympy-issues" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sympy-issues?hl=en.
