| commit | c8e704583ea44dcbaa8dc58da6021e160e51ddce | |
| author | Sven Verdoolaege <sven@cs.kuleuven.be> | |
| Tue, 28 Apr 2009 19:20:10 +0000 (28 20:20 +0100) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Thu, 7 May 2009 09:18:56 +0000 (7 11:18 +0200) | ||
| tree | fda229c0e32b0f648819449dc34b9327aa8c4f85 | treesnapshot (tar.gz zip) |
| parent | 684cf64bf1bc22205a9b17fd2f1c38d1f6828c9a | commitdiff |
barvinok_enumerate_e_series: handle all existentials being eliminated
If all existentials are eliminated through equalities, then we
don't need to project anything anymore, so we can just compute
the generating function of the polytope and perform the summation.
If all existentials are eliminated through equalities, then we
don't need to project anything anymore, so we can just compute
the generating function of the polytope and perform the summation.
| series.cc | diffblobblamehistory |