| commit | 8e24fc30dd9e701f6b7385b8e5989f6f9756ac6d | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Thu, 6 Sep 2007 07:33:16 +0000 (6 09:33 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Sat, 8 Sep 2007 11:00:21 +0000 (8 13:00 +0200) | ||
| tree | 63c2ebea9afc801f3d16f3f9c77d21ef84fe363a | treesnapshot (tar.gz zip) |
| parent | 827c88b1f77246eba0feb8a2dc129a4959245e70 | commitdiff |
barvinok_summate: verify solution over whole parameter domain
Previously, the solution was only verified for the domains
in the solution itself, missing domains where the solution
is zero.
Previously, the solution was only verified for the domains
in the solution itself, missing domains where the solution
is zero.
| summate.cc | diffblobblamehistory |