barvinok 0.41.5

[barvinok.git] / tests / iscc / sum2

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