isl_term_get_div: normalize result
commitb8fb3b6d32d55f6ce8c74e70ac3d669360161d55
authorSven Verdoolaege <skimo@kotnet.org>
Fri, 30 Mar 2012 13:18:35 +0000 (30 15:18 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Tue, 17 Apr 2012 16:50:18 +0000 (17 18:50 +0200)
treec6eef79773f6fc48f9817cb7b4e3b1b6e1a47474
parent2043cb2b63b4acc3f4fb1cf1d845ca885ada5a29
isl_term_get_div: normalize result

In particular, remove unused divs from the result.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_polynomial.c