On May 1, 8:47 am, Ondrej Certik <[email protected]> wrote: > I am still very much convinced, that this disconnect-assumptions-2 is > the simplest and easiest way to get rid of the old assumptions, so > that we can start speeding up the core, and start using some other > system for them.
I'm not convinced, because it uses global assumptions, and I think they are broken by design. Global assumptions basically let us do the garbage collection manually, a regression compared to the old system. > I would be interested in the community vote on this idea. I vote +1. I > am aware that Ronan voted -1 last year. What do others think? I don't think that any branch is ready to be merged now, so maybe let's rather discuss about the approach for future development. For instance, what do you think about the local assumptions approach (see the wiki page and issue 1884)? It's a hack, but I think it is much better than using global assumptions. Vinzent -- You received this message because you are subscribed to the Google Groups "sympy" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/sympy?hl=en.
