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