isl_basic_set_multiplicative_call: handle parametric input

Due to a mistake in the original implementation, the wrong dimensions
would get dropped from factors of the input in case this input was
parametric.

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

diff --git a/isl_polynomial.c b/isl_polynomial.c
index 444d8eb..180a89d 100644 (file)
--- a/isl_polynomial.c
+++ b/isl_polynomial.c
@@ -3745,9 +3745,9 @@ static __isl_give isl_pw_qpolynomial *compressed_multiplicative_call(
                            nparam + n + f->len[i], nvar - n - f->len[i]);
                bset_i = isl_basic_set_drop_constraints_involving(bset_i,
                            nparam, n);
-               bset_i = isl_basic_set_drop_dims(bset_i,
-                           nparam + n + f->len[i], nvar - n - f->len[i]);
-               bset_i = isl_basic_set_drop_dims(bset_i, nparam, n);
+               bset_i = isl_basic_set_drop(bset_i, isl_dim_set,
+                           n + f->len[i], nvar - n - f->len[i]);
+               bset_i = isl_basic_set_drop(bset_i, isl_dim_set, 0, n);
 
                pwqp_i = fn(bset_i);
                pwqp = isl_pw_qpolynomial_mul(pwqp, pwqp_i);