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
http://code.google.com/p/sympy/iss
Updates:
Cc: -mrock...@gmail.com -ness...@googlemail.com -ronan.l...@gmail.com
Comment #1 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
Well, it's the whole conce
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 d
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 satisfia
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 received
Comment #5 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
A prototype of this (really just a proof of concept) is at
https://github.com/sympy/sympy/pull/2506.
--
You rec
Comment #6 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
Oops, that should be https://github.com/sympy/sympy/pull/2508.
--
You received this message because this project i
