| commit | 138a344289d26d335968a1d6c338e9b7207efff2 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Tue, 16 Mar 2010 15:16:37 +0000 (16 16:16 +0100) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Thu, 18 Mar 2010 09:54:31 +0000 (18 10:54 +0100) | ||
| tree | cdfe78f170994861de38c57524abab6b0c6c04f7 | treesnapshot (tar.gz zip) |
| parent | 7ad0f5af3257dab2dc6a844178e088dc9ccdd13f | commitdiff |
isl_pw_qpolynomial_upper_bound: set up variable vector after lifting
A lifted cell may have more dimensions than the original, so we
should wait until after the lifting to set up the variable vector.
A lifted cell may have more dimensions than the original, so we
should wait until after the lifting to set up the variable vector.
| bernstein.cc | diffblobblamehistory |