previous up next
Go backward to Sum Identities
Go up to Top
Go forward to Examples
RISC-Linz logo

Sum Identities

Furthermore, if term C is a term in which i does not occur freely:

(sumi, F C*T) = C*(sumi, F T).
(sumi, F C) = n*C
(where n is the number of i for which F holds).
Author: Wolfgang Schreiner
Last Modification: November 16, 1999

previous up next