On 29 Apr., 23:16, "Aaron S. Meurer" <asmeu...@gmail.com> wrote:
> So Ondřej, Christian, and I talked about this before GSoC, but I forgot to
> mention it on the list. We need to figure out, as a community, how to remove
> the old assumptions system and merge in the new one. We have already had
> several branches attempting to do it, and we couldn't even get a GSoC to do
> it because we don't really have a clear strategy on how to do it.
>
Can you describe what went wrong with these branches? In particular,
why can the following naive strategy not work:
1. Make the new system at least as good as the old one. That is
whenever I can write foo.is_bar I can write ask(foo, Q.bar) and I will
get at least as good an answer. In particular Symbol('x',
positive=True) should register automatically in the global assumptions
that x > 0 (if I understand correctly how the new system works...).
2. Replace all queries foo.is_bar by ask(foo, Q.bar).
3. Remove all implementations of the is_bar properties.
4. Remove all remaining remnants of the old system.
--
You received this message because you are subscribed to the Google Groups
"sympy" group.
To post to this group, send email to sympy@googlegroups.com.
To unsubscribe from this group, send email to
sympy+unsubscr...@googlegroups.com.
For more options, visit this group at
http://groups.google.com/group/sympy?hl=en.
