add isl_pw_qpolynomial_upper_bound
commit3a73b5576985e70c44834d96f7c6179fff06db80
authorSven Verdoolaege <skimo@kotnet.org>
Tue, 9 Mar 2010 15:15:17 +0000 (9 16:15 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Tue, 9 Mar 2010 16:02:35 +0000 (9 17:02 +0100)
treee8670be391763e984a65a07394e08cb8ff0b6322
parent7f24624b847906c8949a054ea2777c1a1589d3a2
add isl_pw_qpolynomial_upper_bound
barvinok/bernstein.h
bernstein.cc