isl_input.c add_equalities: gauss and finalize result after adding equalities
[platform/upstream/isl.git] / isl_factorization.h
2010-06-12 Sven Verdoolaegeadd isl_basic_set_factorizer