SUMalg - computes indefinite sums of expressions containing unknown functions and their shifts Calling Sequences SUMalg(E,n) Parameters E - an expression containing unknown and known functions of the variable n. n - the variable with respect to which the summation is performed. Remarks -The non-locality (difference between the highest and lowest shift) of the summand is minimized. -The form of the summand can effect the summation procedure for rational expressions containing non-monomial terms in the denominator. In such cases the result is always corect, though it may not be optimal.