Opened 8 years ago
Closed 8 years ago
#721 closed bug (fixed)
a size()-misusage bug in 'gitfan.lib'
| Reported by: | jakobkroeker | Owned by: | somebody |
|---|---|---|---|
| Priority: | minor | Milestone: | 4-1-0 and higher |
| Component: | dontKnow | Version: | 4-0-2 |
| Keywords: | Cc: |
Description
'gitfan.lib' is not ready to be used as a black box component: it contains at least a known size()-misusage bug:
LIB("gitfan.lib");
ring R = 0,(T(1..4)),dp;
ideal I = T(1)*T(2)-T(4) , 1;
ideal J = 0,I;
intvec w = 0;
isAface(I,w);
isAface(J,w); //1, wrong !
Remark: there are much more potential size()-misusage bugs in Singular library code, see https://github.com/Singular/Sources/issues/611
If someone thinks that I'm too picky or the issue 611 is too abstract, here are two examples(bugfixes) that show size()-misusage impact: https://github.com/Singular/Sources/commit/c675914994fe73d4ffb4343e47564ab1f87ae9da https://github.com/Singular/Sources/commit/13079719da06e518c20fdb2a9e05c26bff4e8cf4
Change History (2)
comment:1 Changed 8 years ago by
comment:2 Changed 8 years ago by
| Resolution: | → fixed |
|---|---|
| Status: | new → closed |
fixed with f52bd59412a399cb6c4ca21c965dd68c19aa5def
The issue tracker at github is not used by the Singular team (it does not match our needs), consider all issues there as closed/obsolete/ignored/what ever you like.
Illegal "Reported by" entry results in:
A message that you sent could not be delivered to one or more of its recipients. This is a permanent error. The following address(es) failed: