[sympy] some inconsistencies with summation

2012-08-30 Thread Saurabh Jha
Hi, In the course of implementing kauers algorithm I wanted to implement a function that can take as input a term like summation(f(x), (x, 1, k)) and outputs the f(x+1) that is the difference between (f(x), (x, 1, k + 1)) and (f(x), (x, 1, k)). Instead, it just returns "summation(f(x), (x, 1,

Re: [sympy] some inconsistencies with summation

2012-08-30 Thread Chris Smith
On Thu, Aug 30, 2012 at 8:02 PM, Saurabh Jha wrote: > Hi, > > In the course of implementing kauers algorithm I wanted to implement a > function that can take as input a term like summation(f(x), (x, 1, k)) and > outputs the f(x+1) that is the difference between (f(x), (x, 1, k + 1)) and > (f(x),

Re: [sympy] some inconsistencies with summation

2012-08-30 Thread Aaron Meurer
The question is, do we want Sum to automatically combine like that? If not, then I would add it as a different method than __sub__. Aaron Meurer On Thu, Aug 30, 2012 at 8:51 AM, Chris Smith wrote: > On Thu, Aug 30, 2012 at 8:02 PM, Saurabh Jha wrote: >> Hi, >> >> In the course of implementing k

Re: [sympy] some inconsistencies with summation

2012-08-30 Thread Matthew Rocklin
Doesn't this call for some sort of Sum_simplify? I don't like the idea of overriding __sub__. I do like the idea of looking at an expression tree and seeing if it can be simplified. Is there a mechanism in SymPy to write down these simplifications and have them applied when you call simplify? I'm

Re: [sympy] some inconsistencies with summation

2012-08-30 Thread Chris Smith
On Thu, Aug 30, 2012 at 10:28 PM, Aaron Meurer wrote: > The question is, do we want Sum to automatically combine like that? > If not, then I would add it as a different method than __sub__. > `_eval_expand_basic`, perhaps? -- You received this message because you are subscribed to the Google Gr

Re: [sympy] some inconsistencies with summation

2012-08-30 Thread Aaron Meurer
This doesn't really make sense as expansion, though. This is closely related to http://code.google.com/p/sympy/issues/detail?id=2297. Aaron Meurer On Aug 30, 2012, at 12:37 PM, Chris Smith wrote: > On Thu, Aug 30, 2012 at 10:28 PM, Aaron Meurer wrote: >> The question is, do we want Sum to aut

Re: [sympy] some inconsistencies with summation

2012-08-30 Thread Chris Smith
On Fri, Aug 31, 2012 at 12:41 AM, Aaron Meurer wrote: > This doesn't really make sense as expansion, though. > > This is closely related to > http://code.google.com/p/sympy/issues/detail?id=2297. > If you expanded the sums you would obtain the single `f(x+1)`-like term. It's just a thought and `

Re: [sympy] some inconsistencies with summation

2012-09-01 Thread Aaron Meurer
This also doesn't work well with expand() because the method would have to be on Add to work. I think the best solution would be to write a function that takes an expression with summations and tries to combine them. Aaron Meurer On Thu, Aug 30, 2012 at 12:59 PM, Chris Smith wrote: > On Fri, Au