| commit | c3550e872b04c72c0b2e889229cc184352c1da3c | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Tue, 16 Oct 2007 18:33:40 +0000 (16 20:33 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Thu, 25 Oct 2007 21:15:06 +0000 (25 23:15 +0200) | ||
| tree | 06ec2204061ec41b9e38bdd88ca5ef14556fced4 | treesnapshot (tar.gz zip) |
| parent | fa744ce8bd9e3b27078fb2e9190675b38e06cd2b | commitdiff |
Replace incremental infinite set counter by "regular" infinite set counter
The incremental infinite set counter was incorrect since it would
only keep the negative terms in the final specialization step.
It therefore only worked for 1-dimensional problems, where the
final specialization step is the only specialization step,
and so it wasn't actually incremental at all.
The incremental infinite set counter was incorrect since it would
only keep the negative terms in the final specialization step.
It therefore only worked for 1-dimensional problems, where the
final specialization step is the only specialization step,
and so it wasn't actually incremental at all.