isl_basic_map_gauss: handle redundant or conflicting equalities directly
authorSven Verdoolaege <skimo@kotnet.org>
Sun, 24 Aug 2008 15:11:43 +0000 (17:11 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Mon, 25 Aug 2008 07:24:18 +0000 (09:24 +0200)
commit26ac4344beaa0257de853e4f3a10140777ec354f
tree3264a0735bd05c32415bae0d6e4546f04e6bd134
parent5ba54339ef17592252d6dee2c3e951e52c96a5ed
isl_basic_map_gauss: handle redundant or conflicting equalities directly
isl_map.c