Re: [sympy] Assumption Rewrite Update

2010-06-22 Thread Ondrej Certik
On Mon, Jun 21, 2010 at 10:26 PM, william ratcliff william.ratcl...@gmail.com wrote: Has anyone had any thoughts or seen what other CAS do to take advantage of multiple cores?  For example, if one is collecting terms, one could imagine farming out subexpressions to search to each core. Very

Re: [sympy] Assumption Rewrite Update

2010-06-22 Thread william ratcliff
Has anyone had any thoughts or seen what other CAS do to take advantage of multiple cores? For example, if one is collecting terms, one could imagine farming out subexpressions to search to each core. William On Tue, Jun 22, 2010 at 1:11 AM, Ondrej Certik ond...@certik.cz wrote: On Mon, Jun

Re: [sympy] Assumption Rewrite Update

2010-06-22 Thread Øyvind Jensen
Aren't some results dependent on assumptions? I don't see how you can cache independent of assumptions and not have problems. For example: 1) check that there are no global or local assumptions set 2) store the expression retrieve: * check 1) * use cache How about: 0)

Re: [sympy] Assumption Rewrite Update

2010-06-22 Thread Aaron S. Meurer
On Jun 22, 2010, at 12:03 AM, Øyvind Jensen wrote: Aren't some results dependent on assumptions? I don't see how you can cache independent of assumptions and not have problems. For example: 1) check that there are no global or local assumptions set 2) store the expression

Re: [sympy] Assumption Rewrite Update

2010-06-22 Thread Aaron S. Meurer
On Jun 21, 2010, at 11:52 PM, Ondrej Certik wrote: On Mon, Jun 21, 2010 at 10:26 PM, william ratcliff william.ratcl...@gmail.com wrote: Has anyone had any thoughts or seen what other CAS do to take advantage of multiple cores? For example, if one is collecting terms, one could imagine

Re: [sympy] Assumption Rewrite Update

2010-06-22 Thread Christian Muise
On Tue, Jun 22, 2010 at 12:31 AM, Ondrej Certik ond...@certik.cz wrote: I would be more than happy if we can remove all caching altogether, but since it currently would slow sympy down, Well, maybe not anymore. We should do some tests. But let's say we need to keep the cache (at least

Re: [sympy] Assumption Rewrite Update

2010-06-22 Thread Aaron S. Meurer
On Jun 22, 2010, at 12:39 PM, Christian Muise wrote: On Tue, Jun 22, 2010 at 12:31 AM, Ondrej Certik ond...@certik.cz wrote: I would be more than happy if we can remove all caching altogether, but since it currently would slow sympy down, Well, maybe not anymore. We should do some tests.

Re: [sympy] Assumption Rewrite Update

2010-06-21 Thread Ondrej Certik
Hi Christian, On Mon, Jun 21, 2010 at 8:24 PM, Christian Muise christian.mu...@gmail.com wrote: I was asked to update the list with my progress daily until Friday, so I'll keep this quick.   I've pushed hard against the branch to remove the old assumptions, and as of a few minutes ago I've