Re: Issue 3799 in sympy: Smarter simplicity criteria for Fu trigsimp

2013-05-01 Thread sympy
Comment #4 on issue 3799 by asmeu...@gmail.com: Smarter simplicity criteria for Fu trigsimp http://code.google.com/p/sympy/issues/detail?id=3799 I'm not even sure then. The pi/4 just looks really off to me. -- You received this message because this project is configured to send all issue n

Re: Issue 3799 in sympy: Smarter simplicity criteria for Fu trigsimp

2013-05-01 Thread sympy
Comment #3 on issue 3799 by smi...@gmail.com: Smarter simplicity criteria for Fu trigsimp http://code.google.com/p/sympy/issues/detail?id=3799 What if you have a product of two such functions, is cos(x+pi/4)*cos(y+pi/4) more complicated than sin(x)*sin(y)/2 - sin(x)*cos(y)/2 - sin(y)*cos(

Re: Issue 3799 in sympy: Smarter simplicity criteria for Fu trigsimp

2013-05-01 Thread sympy
Updates: Summary: Smarter simplicity criteria for Fu trigsimp Comment #2 on issue 3799 by asmeu...@gmail.com: Smarter simplicity criteria for Fu trigsimp http://code.google.com/p/sympy/issues/detail?id=3799 So clearly it needs a smarter criteria. I consider that form to be less simp