From 10488bffb1aeef848cbc57ce96dd2e4edb9f22c2 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Sat, 5 Feb 2011 20:02:44 +0100 Subject: [PATCH] isl_tab_add_row: add further explanation Signed-off-by: Sven Verdoolaege --- isl_tab.c | 3 +++ 1 file changed, 3 insertions(+) diff --git a/isl_tab.c b/isl_tab.c index 1cc8306..7674866 100644 --- a/isl_tab.c +++ b/isl_tab.c @@ -1630,6 +1630,9 @@ int isl_tab_allocate_var(struct isl_tab *tab) * d_r d_r d_r d_x/g m * * with g the gcd of d_r and d_x and m the lcm of d_r and d_x. + * + * If tab->M is set, then, internally, each variable x is represented + * as x' - M. We then also need no subtract k d_r from the coefficient of M. */ int isl_tab_add_row(struct isl_tab *tab, isl_int *line) { -- 2.7.4