Updates:
Status: Fixed
Comment #9 on issue 1676 by smi...@gmail.com: simplification of type sin
x.cos y + cos x.sin y = sin (x + y) does't work
http://code.google.com/p/sympy/issues/detail?id=1676
The equation in comment 6 solves with an op count of 106; the trig pattern
in the OP is now recognized:
trigsimp(sin(x)*cos(y)+cos(x)*sin(y))
sin(x + y)
--
You received this message because you are subscribed to the Google Groups
"sympy-issues" group.
To post to this group, send email to sympy-issues@googlegroups.com.
To unsubscribe from this group, send email to
sympy-issues+unsubscr...@googlegroups.com.
For more options, visit this group at
http://groups.google.com/group/sympy-issues?hl=en.