optionally (and by default) use bernstein expansion to compute bounds
commit7790c83aff93eb8352bd37e340c7ff9956315b8b
authorSven Verdoolaege <skimo@kotnet.org>
Mon, 7 Jun 2010 12:43:26 +0000 (7 14:43 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Sat, 12 Jun 2010 15:34:01 +0000 (12 17:34 +0200)
tree9ccbbf6d042548d6aaa578eda9f20142a49e0720
parent7679c371ce969bd88e3d7990dc340b96fc0cc0fd
optionally (and by default) use bernstein expansion to compute bounds
12 files changed:
Makefile.am
bound.c
bound_test.sh
doc/user.pod
include/isl_options.h
include/isl_polynomial.h
isl_bernstein.c [new file with mode: 0644]
isl_bernstein.h [new file with mode: 0644]
isl_bound.c
isl_bound.h
isl_options.c
isl_range.c