#13770: bug in multivariate factorization over prime fields
-------------------------------------------------+-------------------------
Reporter: zimmerma | Owner: malb
Type: defect | Status:
Priority: critical | needs_work
Component: commutative algebra | Milestone: sage-5.12
Keywords: | Resolution:
Authors: Paul Zimmermann, Jeroen | Merged in:
Demeyer | Reviewers:
Report Upstream: Fixed upstream, but not in a | Work issues:
stable release. | Commit:
Branch: | Stopgaps:
Dependencies: |
-------------------------------------------------+-------------------------
Description changed by jdemeyer:
Old description:
> after #11829, #11838, #12918, #12928, here is another bug in multivariate
> factorization over prime fields:
> {{{
> ----------------------------------------------------------------------
> | Sage Version 5.4.1, Release Date: 2012-11-15 |
> | Type "notebook()" for the browser-based notebook interface. |
> | Type "help()" for help. |
> ----------------------------------------------------------------------
> sage: U.<y,t> = GF(2)[]
> sage: f
> y*t^8 + y^5*t^2 + y*t^6 + t^7 + y^6 + y^5*t + y^2*t^4 + y^2*t^2 + y^2*t +
> t^3 + y^2 + t^2
> sage: f.factor()
> y*t^8 + y^5*t^2 + y*t^6 + t^7 + y^6 + y^5*t + y^2*t^4 + y^2*t^2 + y^2*t +
> t^3 + y^2 + t^2
> sage: f % (t^2+t+y+1)
> 0
> }}}
> When will Sage be usable for this kind of computation?
>
> '''spkg''':
> http://boxen.math.washington.edu/home/jdemeyer/spkg/singular-3-1-5.p9.spkg
>
> '''apply''' [attachment:trac_13770.patch]
>
> See also upstream [https://github.com/Singular/Sources/pull/215]
New description:
after #11829, #11838, #12918, #12928, here is another bug in multivariate
factorization over prime fields:
{{{
----------------------------------------------------------------------
| Sage Version 5.4.1, Release Date: 2012-11-15 |
| Type "notebook()" for the browser-based notebook interface. |
| Type "help()" for help. |
----------------------------------------------------------------------
sage: U.<y,t> = GF(2)[]
sage: f
y*t^8 + y^5*t^2 + y*t^6 + t^7 + y^6 + y^5*t + y^2*t^4 + y^2*t^2 + y^2*t +
t^3 + y^2 + t^2
sage: f.factor()
y*t^8 + y^5*t^2 + y*t^6 + t^7 + y^6 + y^5*t + y^2*t^4 + y^2*t^2 + y^2*t +
t^3 + y^2 + t^2
sage: f % (t^2+t+y+1)
0
}}}
When will Sage be usable for this kind of computation?
'''spkg''':
http://boxen.math.washington.edu/home/jdemeyer/spkg/singular-3-1-5.p9.spkg
([attachment:singular-3-1-5.p9.diff spkg diff])
'''apply''' [attachment:trac_13770.patch]
See also upstream [https://github.com/Singular/Sources/pull/215]
--
--
Ticket URL: <http://trac.sagemath.org/ticket/13770#comment:24>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/groups/opt_out.
