barvinok_sum_over_polytope: special case 0D polytopes

[barvinok.git] / tests / iscc / sum5

r := sum { [] -> 1 };
assert(r == { 1 });