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. 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 -~----------~----~----~----~------~----~------~--~---