By changes to client code, I do not mean changing x.is_foo to
ask(Q.foo(x)). Clearly, ask has to be at least as powerful as the old
assumptions for the switchover to be possible.
The problem with changing the client code is rather that the new and old
system are different in subtle ways. Some of these I hope to describe in
mmy next emails.
On 10.04.2013 10:13, Chris Smith wrote:
Another thing that could be done is that the `is_foo` methods could be
transformed one at a time, so where is_positive is in any given place in
sympy, the guts of that function could be written to use the new
assumptions. When all `is_foo` have been changed *then* an overhaul of
the syntax in the code base can be made (changing the call from x.is_foo
to ask(x, foo) -- or whatever). That way there won't be branch-breaking
changes in much of the code -- only in single functions that don't get
changed very much.
--
You received this message because you are subscribed to the Google Groups
"sympy" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sympy?hl=en-US.
For more options, visit https://groups.google.com/groups/opt_out.
