On Mar 21, 4:04 pm, Akshay Srinivasan <akshaysriniva...@gmail.com> wrote: > On Mar 21, 3:52 pm, Vinzent Steinberg<vinzent.steinb...@googlemail.com> wrote: > > Assumptions are currently borked in sympy (thus Fabian's rewrite). But > > Indeed. The whole assumptions part looks very messy. I tried to each > of sympy.core.facts sympy.core.assumptions and sympy.core.basic to use > the module I've written, and failed miserably. So now I'm making > sympy.core.facts backward compatible, using a bunch of compatibility > functions. I understand, this isn't very desirable but this should be > much more bug free. > > > I think by default x is not assumed to be real, so this should fail, > > unless you defined x to be real. > > I suppose so, the docstring for class Symbol still says that its > assumed to be real. > .... > class Symbol(sympy.core.basic.Atom) > | Assumptions:: > | real = True > | commutative = True > .... > > > Fabian is currently implementing a lot of logic for the new > > assumptions system, maybe you can join forces? He needs help with > > implementing backward chaining. > > That'll be great! Looking forward to working with Fabian. > A rewrite of the whole assumptions system should take a fairly long > time, > from what I reckon. >
Yes, but it's currently the highest priority for sympy. See the following issues: http://code.google.com/p/sympy/issues/detail?id=1047 http://code.google.com/p/sympy/issues/detail?id=1309 You can see Fabian's progress here: http://fseoane.net/cgi-bin/gitweb.cgi?p=sympy.git;a=shortlog;h=refs/heads/assumptions Maybe it's better not to spend much time on supporting the old assumptions system, let's rather focus on the new one. Vinzent --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "sympy-patches" group. To post to this group, send email to sympy-patches@googlegroups.com To unsubscribe from this group, send email to sympy-patches+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sympy-patches?hl=en -~----------~----~----~----~------~----~------~--~---