Issue 3929 in sympy: New assumptions handlers should use logic satisfiability as much as possible

2013-07-06 Thread sympy
Status: Valid Owner: CC: mrock...@gmail.com, ness...@googlemail.com, ronan.l...@gmail.com Labels: Type-Defect Priority-Medium Assumptions New issue 3929 by asmeu...@gmail.com: New assumptions handlers should use logic satisfiability as much as possible

Re: Issue 3222 in sympy: Memory problems with the cache

2013-07-06 Thread sympy
Comment #15 on issue 3222 by asmeu...@gmail.com: Memory problems with the cache http://code.google.com/p/sympy/issues/detail?id=3222 By the way, the cache actually makes memory usage better in some cases, because it prevents multiple instances of the same object from being created. We

Re: Issue 3929 in sympy: New assumptions handlers should use logic satisfiability as much as possible

2013-07-06 Thread sympy
Updates: Cc: mrock...@gmail.com ronan.l...@gmail.com ness...@googlemail.com Comment #2 on issue 3929 by asmeu...@gmail.com: New assumptions handlers should use logic satisfiability as much as possible http://code.google.com/p/sympy/issues/detail?id=3929 Yes, exactly. I think once we

Re: Issue 3929 in sympy: New assumptions handlers should use logic satisfiability as much as possible

2013-07-06 Thread sympy
Comment #3 on issue 3929 by asmeu...@gmail.com: New assumptions handlers should use logic satisfiability as much as possible http://code.google.com/p/sympy/issues/detail?id=3929 By the way, an annoying bug I found when playing with this. If you pass the Q.zero(x) type predicates to

Re: Issue 3929 in sympy: New assumptions handlers should use logic satisfiability as much as possible

2013-07-06 Thread sympy
Comment #4 on issue 3929 by ronan.l...@gmail.com: New assumptions handlers should use logic satisfiability as much as possible http://code.google.com/p/sympy/issues/detail?id=3929 By the way, did you remove the CCs because it was bugging you about the email. Yes, exactly. -- You

Re: Issue 3445 in sympy: Automate the release process

2013-07-06 Thread sympy
Comment #6 on issue 3445 by asmeu...@gmail.com: Automate the release process http://code.google.com/p/sympy/issues/detail?id=3445 Significant work on this at https://github.com/sympy/sympy/pull/2256 (in the 0.7.3 branch). -- You received this message because this project is configured to

Re: Issue 3787 in sympy: DS_Store files still in sympy 0.7.2

2013-07-06 Thread sympy
Updates: Status: Fixed Comment #4 on issue 3787 by asmeu...@gmail.com: DS_Store files still in sympy 0.7.2 http://code.google.com/p/sympy/issues/detail?id=3787 In addition to the new fabric/vagrant scripts being very unlikely to do something like this, I also implemented a check