#13770: bug in multivariate factorization over prime fields
-------------------------------------------------+-------------------------
Reporter: zimmerma | Owner: malb
Type: defect | Status:
Priority: critical | needs_review
Component: commutative algebra | Milestone: sage-5.12
Keywords: | Resolution:
Authors: Paul Zimmermann | Merged in:
Report Upstream: Fixed upstream, but not in a | Reviewers:
stable release. | Work issues:
Branch: | Commit:
Dependencies: | Stopgaps:
-------------------------------------------------+-------------------------
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://www.loria.fr/~zimmerma/singular-3-1-5.p8.spkg
>
> '''apply''' [attachment:trac_13770.patch]
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://www.loria.fr/~zimmerma/singular-3-1-5.p8.spkg
'''apply''' [attachment:trac_13770.patch]
See also upstream [https://github.com/Singular/Sources/pull/215]
--
--
Ticket URL: <http://trac.sagemath.org/ticket/13770#comment:13>
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.
