topcom.c: add missing include

[barvinok.git] / tests / iscc / fixed_power-2

M := { A[] -> B[]; B[] -> C[]; T[i] -> T[i+1] };
P := M^-1;
assert(P = { B[] -> A[]; C[] -> B[]; T[t] -> T[t - 1] });