| commit | c1caf8c8fb303115bf5958a144c94833becf48d0 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Wed, 4 Aug 2010 10:18:46 +0000 (4 12:18 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Wed, 4 Aug 2010 10:18:46 +0000 (4 12:18 +0200) | ||
| tree | f92745e2c7c24d8935a896606d7f405825091a66 | treesnapshot (tar.gz zip) |
| parent | 0a5ddc3dd612851bd57e16d67f3bf36e315f07cf | commitdiff |
isl_pw_qpolynomial_sum: check for unbounded domains
We currently set the result to NaN if the domain is unbounded.
In principle, we could check if the function is non-negative
or non-positive and set the result to +infty or -infty.
We currently set the result to NaN if the domain is unbounded.
In principle, we could check if the function is non-negative
or non-positive and set the result to +infty or -infty.
| summate.c | diffblobblamehistory |