I had this problem with the simplification of Boolean expressions. There's this algorithm by Quine-McCluskey where the expression is reduced to a "standard form" and then simplified. I guess there's an analogue for algebraic expressions as well. I'm yet to implement the QM algorithm in sympy.
On Feb 26, 10:40 pm, Ondrej Certik <ond...@certik.cz> wrote: > 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 return atan(x). I also found an open bug about > >> > this topic:http://code.google.com/p/sympy/issues/detail?id=636&q=atan > >> > . > > >> > So, I took a peek into sympy/simplify/simplify.py's trigsimp function. > >> > So I tried to add the specific form with imaginary units into matchers > >> > list under ifelse expr.is_Add but it doesn't seem to work :( > > >> Thanks for trying --- this function needs some polishing, I'll try to > >> have a look at it if you don't manage to fix it yourself. > > > Ugh, there's currently a big bug in my code, but even if I correct it > > there's no way it would work as currently simplifications are made > > using single terms (so it wont look something "term1 + term2") > > Right. Do you have some ideas how to fix it so that it works with > "term1 + term2"? > > Ondrej --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "sympy" group. To post to this group, send email to sympy@googlegroups.com To unsubscribe from this group, send email to sympy+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sympy?hl=en -~----------~----~----~----~------~----~------~--~---
