A Note On the Minimality Problem in Indefinite Summation of Rational Functions
Roberto Pirastu · 2001
Consider a field K of characteristic zero. The shift operator E on K(x) is defined by Ef(x):= f(x + 1) for all f ∈ K(x). The (forward) difference operator is defined by ∆: = E − 1, where 1 operates identically. Then the problem of indefinite summation of rational functions can be stated as follows.