isl_map_compute_divs: make sure result is gaussed and finalized
commit565134e0e114f9a1f84492e8848265f7364c3746
authorSven Verdoolaege <skimo@kotnet.org>
Wed, 21 Apr 2010 15:42:24 +0000 (21 17:42 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Wed, 21 Apr 2010 15:45:06 +0000 (21 17:45 +0200)
tree3b343f57f39fcdb2ca72be232007ee64affa2c34
parent5c411966ade2c8cb10194507d81da0e7701020fd
isl_map_compute_divs: make sure result is gaussed and finalized

In particular, when the variables in the input can be compressed,
basic_set_append_equalities should gauss and finalize the result
of adding the equalities back in.
isl_map.c