From cf42ba28afa7d7c22ae2c7a54afc88e4874adb13 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Mon, 25 Oct 2010 13:49:22 +0200 Subject: [PATCH] isl_pw_qpolynomial_gist: substitute equalities in polynomials Signed-off-by: Sven Verdoolaege --- isl_pw_templ.c | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/isl_pw_templ.c b/isl_pw_templ.c index 8d15c1e0..7f780b25 100644 --- a/isl_pw_templ.c +++ b/isl_pw_templ.c @@ -409,6 +409,14 @@ __isl_give PW *FN(PW,gist)(__isl_take PW *pw, __isl_take isl_set *context) goto error; for (i = pw->n - 1; i >= 0; --i) { + isl_basic_set *aff; + pw->p[i].set = isl_set_intersect(pw->p[i].set, + isl_set_copy(context)); + if (!pw->p[i].set) + goto error; + aff = isl_set_affine_hull(isl_set_copy(pw->p[i].set)); + pw->p[i].FIELD = FN(EL,substitute_equalities)(pw->p[i].FIELD, + aff); pw->p[i].set = isl_set_gist_basic_set(pw->p[i].set, isl_basic_set_copy(hull)); if (!pw->p[i].set) -- 2.11.4.GIT