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.
Cheers On Friday, June 18, 2010, Ondrej Certik <ond...@certik.cz> wrote: > On Thu, Jun 17, 2010 at 3:23 PM, Ronan Lamy <ronan.l...@gmail.com> wrote: >> Le jeudi 17 juin 2010 à 14:02 -0700, Ondrej Certik a écrit : >>> Yes, in this branch we should brake compatibility. We should totally >>> get rid of the old assumptions, thus breaking compatibility. Make sure >>> that things work nicely, all tests pass and there are no hacks. >> >> I don't understand. Have Christian's project goals changed? This means > > No, Christian's project goals have not changed. > > > >> rewriting half of sympy so he probably won't have time for anything > > No, I don't propose to rewrite half of sympy. > >> else. And the result won't be usable yet anyway because it'll be too >> slow. > > Why would it be slow? Is the branch already slower than it used to be? > I don't understand this point. > >> Who'll take care of improving the performance of the new >> assumptions system? > > Christian. These are the goals: > > http://socghop.appspot.com/gsoc/student_project/show/google/gsoc2010/python/t127230762878 > > > We agreed that he'll start speeding up the SAT solver now -- but it's > a long term project, essentially it will take the whole summer. Part > of it is to hook in the new system. > > Let's make a deadline, June 25 (next Friday), to finish this branch, > so that all tests pass. I think it's almost done. Next Friday, let's > meet at IRC and see if we are all happy with it, so that we are > willing to commit it (after polishing it) and only use the new > assumptions from now on. Christian will then work on speeding them up. > > If (and only if) by next Friday the branch is still not usable, we'll > have to abandon this approach, so that Christian can work on something > that can be finished when the summer is over. > > 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. > > -- 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.