topcom.c: add missing include

[barvinok.git] / tests / iscc / sum1

r := sum { [[n] -> [i]] -> i : 0 <= i <= n };
assert(r == { [n] -> (1/2 * n + 1/2 * n^2) : n >= 0 });