26 May
2008
26 May
'08
10:26 a.m.
Fred Lunnon wrote:
But I think your heroic computation confirms that these identities really are special, and there is (probably) no simple-minded algorithm for them.
Yes, I agree.
Sadly, in this particular case it eventually dawned on me to desist from trying to iterate the floor function, and instead replace [(x+1)/tau^2] by another variable --- at which point everything in my top-level expression cancels nicely, without any misdirected attempt at "simplification".
That's pretty much what I ended up doing too :-). -- g