On Mon, Mar 16, 2009 at 9:58 PM, Akshay Srinivasan <akshaysriniva...@gmail.com> wrote: > > Yes , I agree that it'd better to merge this into sympy.core.logic , > but I'm concerned about the usability. I'm not sure by how much > facts.py would have to be changed, if this is done. I'll try merging > it, over the week. > Is it alright to break backward compatibility with sympy.core.logic? I
Yes, but all tests must pass. > guess if this is done, then probably the new sympy.core.logic module > can be rolled out with the assumptions system. This way it can serve > both purposes, without the redundancy. > > I'll make sure to document it better in the next patch :) Thanks. Don't forget to write tests please. :) Ondrej --~--~---------~--~----~------------~-------~--~----~ 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 -~----------~----~----~----~------~----~------~--~---