On Mon, May 17, 2010 at 10:31 PM, Ronan Lamy <ronan.l...@gmail.com> wrote:
> After my work on Predicates, I've made another attempt at replacing the
> old assumption system with the new one and the results are encouraging.
> After a few more relatively simple changes to the assumptions system -
> that make it significantly more powerful - it appears that it's possible
> to completely the old assumptions with the new ones with only reasonably
> many failures, and very few seeming intractable. The biggest problem is
> that the switch causes a very painful slowdown. It also seems that a lot

How did you measure the speed? I would like to test it in my
"get-rid-of-assumptions" branch too.

Ondrej

-- 
You received this message because you are subscribed to the Google Groups 
"sympy" group.
To post to this group, send email to sy...@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.

Reply via email to