On Fri, Jun 18, 2010 at 1:19 PM, Christian Muise <christian.mu...@gmail.com> wrote: > Sounds good to me. It should be noted that speeding up the reasoner is > almost entirely disjoint from the assumption interface rewrite -- > finished or not, the sat solver improvements don't depend on how you > create your assumptions...just what they are.
Ok, so the plan is clear. Let me reiterate it just to make sure we understand each other: * work very hard till this friday to progress on the branch to get it to a workable state. There will be no assumptions in sympy after the branch is finished. (Well, there will be the new assumptions of course, but sympy itself will work without them.). All tests pass. Can you please inform us everyday the next week, about the progress? (Just short email would be enough), so that I know how it is progressing and can help with debugging and testing. If you don't finish this, I will then take over this and try to get it finished myself. This task is of tremendous importance to sympy, so that we can speed up the core finally (which is next to impossible now with the old assumptions in). * in either case, after that next friday, you'll work full time just on the sat solver improvements. (which is unrelated, in a sense, to the above) 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-patc...@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.