From: Sven Verdoolaege <skimo@kotnet.org>
Date: Sat, 5 Feb 2011 19:02:44 +0000 (+0100)
Subject: isl_tab_add_row: add further explanation
X-Git-Tag: isl-0.06~72
X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=10488bffb1aeef848cbc57ce96dd2e4edb9f22c2;p=platform%2Fupstream%2Fisl.git

isl_tab_add_row: add further explanation

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
---

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)
 {