[sympy] Re: Teaching simplify to do atan (issue 636)

2009-03-24 Thread Vinzent Steinberg
On Mar 24, 6:28 am, Ondrej Certik ond...@certik.cz wrote: On Sun, Mar 22, 2009 at 4:39 AM, Vinzent Steinberg vinzent.steinb...@googlemail.com wrote: On 22 Mrz., 11:39, Vinzent Steinberg vinzent.steinb...@googlemail.com wrote: e.find() would be really useful, often you just want to find

[sympy] Re: Teaching simplify to do atan (issue 636)

2009-03-23 Thread Ondrej Certik
On Sun, Mar 22, 2009 at 4:39 AM, Vinzent Steinberg vinzent.steinb...@googlemail.com wrote: On 22 Mrz., 11:39, Vinzent Steinberg vinzent.steinb...@googlemail.com wrote: e.find() would be really useful, often you just want to find a term and don't care whether it's nested in some other

[sympy] Re: Teaching simplify to do atan (issue 636)

2009-03-22 Thread Vinzent Steinberg
On Mar 21, 5:01 pm, Ondrej Certik ond...@certik.cz wrote: On Sat, Mar 21, 2009 at 5:58 AM, Vinzent Steinberg vinzent.steinb...@googlemail.com wrote: What is the best way to replace tan(x) with sin(x)/cos(x)? *.match() does not seem to be suited, because I don't care where tan (x)

[sympy] Re: Teaching simplify to do atan (issue 636)

2009-03-22 Thread Vinzent Steinberg
On 22 Mrz., 11:39, Vinzent Steinberg vinzent.steinb...@googlemail.com wrote: e.find() would be really useful, often you just want to find a term and don't care whether it's nested in some other expressions. It should be relatively easy to implement. See

[sympy] Re: Teaching simplify to do atan (issue 636)

2009-03-21 Thread Ondrej Certik
On Fri, Mar 20, 2009 at 10:05 PM, Akshay Srinivasan akshaysriniva...@gmail.com wrote: Here is a nice paper on Trignometric Simplification - http://vv.cn/d/d.aspx?Id=21987_1.0.42119 Very cool! Thanks a lot for sharing it. Let's implement it in sympy. Ondrej

[sympy] Re: Teaching simplify to do atan (issue 636)

2009-03-21 Thread Ondrej Certik
On Sat, Mar 21, 2009 at 5:58 AM, Vinzent Steinberg vinzent.steinb...@googlemail.com wrote: What is the best way to replace tan(x) with sin(x)/cos(x)? *.match() does not seem to be suited, because I don't care where tan (x) occurs, I just want to replace it. WildFunction() seems to be

[sympy] Re: Teaching simplify to do atan (issue 636)

2009-03-20 Thread Akshay Srinivasan
Here is a nice paper on Trignometric Simplification - http://vv.cn/d/d.aspx?Id=21987_1.0.42119 On Feb 28, 3:31 pm, Akshay Srinivasan akshaysriniva...@gmail.com wrote: I had this problem with the simplification of Boolean expressions. There's this algorithm by Quine-McCluskey where the

[sympy] Re: Teaching simplify to do atan (issue 636)

2009-02-26 Thread Ondrej Certik
On Thu, Feb 26, 2009 at 8:52 AM, Priit Laes plaes...@gmail.com wrote: Yesterday I ran into some trouble when trying to integrate a simple integral that should return atan(x). I also found an open bug about this topic: http://code.google.com/p/sympy/issues/detail?id=636q=atan . So, I took a

[sympy] Re: Teaching simplify to do atan (issue 636)

2009-02-26 Thread Priit Laes
On Feb 26, 6:57 pm, Ondrej Certik ond...@certik.cz wrote: On Thu, Feb 26, 2009 at 8:52 AM, Priit Laes plaes...@gmail.com wrote: Yesterday I ran into some trouble when trying to integrate a simple integral that should return atan(x). I also found an open bug about this

[sympy] Re: Teaching simplify to do atan (issue 636)

2009-02-26 Thread Ondrej Certik
On Thu, Feb 26, 2009 at 9:29 AM, Priit Laes plaes...@gmail.com wrote: On Feb 26, 6:57 pm, Ondrej Certik ond...@certik.cz wrote: On Thu, Feb 26, 2009 at 8:52 AM, Priit Laes plaes...@gmail.com wrote: Yesterday I ran into some trouble when trying to integrate a simple integral that should