isl_basic_map_implicit_equalities: perform Gaussian elimination on result

diff --git a/isl_affine_hull.c b/isl_affine_hull.c
index 39075a9..549d182 100644 (file)
--- a/isl_affine_hull.c
+++ b/isl_affine_hull.c
@@ -28,6 +28,7 @@ struct isl_basic_map *isl_basic_map_implicit_equalities(
        tab = isl_tab_detect_equalities(bmap->ctx, tab);
        bmap = isl_basic_map_update_from_tab(bmap, tab);
        isl_tab_free(bmap->ctx, tab);
+       bmap = isl_basic_map_gauss(bmap, NULL);
        ISL_F_SET(bmap, ISL_BASIC_MAP_NO_IMPLICIT);
        return bmap;
 }