isl_basic_set_sample: only perform basis reduction once
authorSven Verdoolaege <skimo@kotnet.org>
Sun, 9 Aug 2009 09:42:41 +0000 (11:42 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Fri, 28 Aug 2009 17:42:19 +0000 (19:42 +0200)
commit8db0a802ca195e7639fcb30f3e5d6f10679ed0b0
treefce568beaaa22b64f67c19031732736c3c6c69d4
parent8789f9f066b0643f4c4fa391099096ca18522ad3
isl_basic_set_sample: only perform basis reduction once

On larger problem, much time was spent on repeated basis reductions
with little or no reduction on the number of points visited.
The initial basis reduction seems to be sufficient in most cases.
include/isl_ctx.h.in
isl_ctx.c
isl_sample.c