Opened 10 years ago
Closed 10 years ago
#12928 closed defect (duplicate)
critical bug in multivariate polynomial factorization over GF(2)
Reported by: | Paul Zimmermann | Owned by: | tbd |
---|---|---|---|
Priority: | critical | Milestone: | sage-duplicate/invalid/wontfix |
Component: | factorization | Keywords: | |
Cc: | Martin Albrecht | Merged in: | |
Authors: | Reviewers: | Jeroen Demeyer | |
Report Upstream: | Fixed upstream, in a later stable release. | Work issues: | |
Branch: | Commit: | ||
Dependencies: | Stopgaps: |
Description
consider the following (both with Sage 4.8 and Sage 5.0.beta13 without proof=False
):
sage: R.<x,y>=GF(2)[] sage: factor(x^6 + y^6 + x^5 + x^3 + x + 1,proof=False) x^6 + y^6 + x^5 + x^3 + x + 1 sage: (x^4+y^2*x^2+x^2+y^2*x+y^4+y^2+1)*(x^2+x+y^2+1) x^6 + y^6 + x^5 + x^3 + x + 1
This seems to be a bug in Singular factorization. I set the priority to "critical" since this is really a very basic routine.
Paul
Change History (10)
comment:1 Changed 10 years ago by
Cc: | Martin Albrecht added |
---|
comment:2 Changed 10 years ago by
comment:3 Changed 10 years ago by
Note that for the example given in the description, the "bug" seems to be deterministic.
Paul
comment:5 Changed 10 years ago by
Report Upstream: | N/A → Reported upstream. Little or no feedback. |
---|
reported upstream, see http://www.singular.uni-kl.de:8002/trac/ticket/424
comment:6 Changed 10 years ago by
Report Upstream: | Reported upstream. Little or no feedback. → Fixed upstream, in a later stable release. |
---|
the bug is fixed upstream. I have asked in which release the patch will be.
Paul
comment:8 Changed 10 years ago by
Milestone: | sage-5.3 → sage-duplicate/invalid/wontfix |
---|---|
Reviewers: | → Jeroen Demeyer |
Status: | new → needs_review |
Fixed by #13237.
comment:9 Changed 10 years ago by
Status: | needs_review → positive_review |
---|
comment:10 Changed 10 years ago by
Resolution: | → duplicate |
---|---|
Status: | positive_review → closed |
Note: See
TracTickets for help on using
tickets.
here is another example:
Note that the factorization algorithm seems not to be deterministic, thus some times the factorization is correct.
Paul