Great improvement, it really flies now! (I don't really have a comparison though, because my new laptop is much faster than my old PC, but I remember noticeable delays which are gone now.)
Let's start to replace the old assumption system, starting with Symbol. Symbol(.., integer=True) should call global_assumptions.add(Assume(..., Q.integer)), etc. We can leave the old .is_even attributes and remove them in 0.7. Vinzent 2009/8/23 Fabian Pedregosa <fab...@fseoane.net> > > Fabian Pedregosa wrote: > > Ondrej Certik wrote: > >> The patches look ok to me, but there are no docstrings in the functions. > >> > >> But as usual, I offer to do that myself, but I am a bit busy today. :) > > > > All new functions have docstrings, I suppose you mean doctest. I'll do > > that today, I have a long trip in train. > > Added doctests to all functions and pushed the patches in. > > > > > Fabian, > > > >> Ondrej > >> > >> On Thu, Aug 20, 2009 at 11:52 AM, Fabian Pedregosa<fab...@fseoane.net> > wrote: > >>> Fabian Pedregosa wrote: > >>>> The following two patches represent some speed improvements for the > >>>> logic and queries module. > >>>> > >>>> Speed improvements come from using integer representation (instead of > >>>> symbol representation) in the DPLL algorithm, responsible for > computing > >>>> satisfiability of a propositional sentence. > >>>> > >>> forgot to say, you can also pull from my logic branch: > >>> > >>> git pull http://fseoane.net/git/sympy.git logic > >>> > >>> > > > > > > > > > > > > --~--~---------~--~----~------------~-------~--~----~ 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 -~----------~----~----~----~------~----~------~--~---