On Thu, Jun 17, 2010 at 3:23 PM, Ronan Lamy ronan.l...@gmail.com wrote:
Le jeudi 17 juin 2010 à 14:02 -0700, Ondrej Certik a écrit :
Yes, in this branch we should brake compatibility. We should totally
get rid of the old assumptions, thus breaking compatibility. Make sure
that things work
Le vendredi 18 juin 2010 à 02:02 +0200, Vinzent Steinberg a écrit :
Using the local assumptions hack we could keep compatibility and avoid
rewriting sympy.
I don't see how. Putting everything into global_assumptions works just
as well, it's only less efficient. Changing the assumption system
2010/6/18 Ronan Lamy ronan.l...@gmail.com:
Le vendredi 18 juin 2010 à 02:02 +0200, Vinzent Steinberg a écrit :
Using the local assumptions hack we could keep compatibility and avoid
rewriting sympy.
I don't see how. Putting everything into global_assumptions works just
as well, it's only
Sounds good to me. It should be noted that speeding up the reasoner is
almost entirely disjoint from the assumption interface rewrite --
finished or not, the sat solver improvements don't depend on how you
create your assumptions...just what they are.
Cheers
On Friday, June 18, 2010, Ondrej
On Fri, Jun 18, 2010 at 1:19 PM, Christian Muise
christian.mu...@gmail.com wrote:
Sounds good to me. It should be noted that speeding up the reasoner is
almost entirely disjoint from the assumption interface rewrite --
finished or not, the sat solver improvements don't depend on how you
create