| commit | 5b086334335884cf50db334eaa0127ff0a441727 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Mon, 25 Feb 2008 23:15:31 +0000 (26 00:15 +0100) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Mon, 31 Mar 2008 10:05:59 +0000 (31 12:05 +0200) | ||
| tree | 96da321775d496680911fc0ae53cf0a8cdbc1a48 | treesnapshot (tar.gz zip) |
| parent | fb328ff22b7013fe6e383edec3d1ef1f2352b037 | commitdiff |
Bernoulli_sum_evalue: remove redundant constraint in one of the cases
If -1 < u < 0, then l <= u < 0, so there is no need to add
the constraint l <= 0.
If -1 < u < 0, then l <= u < 0, so there is no need to add
the constraint l <= 0.
| bernoulli.c | diffblobblamehistory | |
| doc/implementation.tex | diffblobblamehistory |