isl_pw_qpolynomial_intersect_domain: simplify polynomials using equalities
[platform/upstream/isl.git] / isl_factorization.c
2010-06-12 Sven Verdoolaegeadd isl_basic_set_factorizer