#5195: Multivariate factorization raises NotImplementedError in sage-3.3.alpha3
---------------------------------+------------------------------------------
Reporter: SimonKing | Owner: malb
Type: defect | Status: new
Priority: critical | Milestone: sage-3.3
Component: commutative algebra | Keywords:
---------------------------------+------------------------------------------
The following happened to me on `sage.math`
{{{
sage: R=PolynomialRing(GF(2),5,'x')
sage: p=R.random_element()
sage: p.factor()
---------------------------------------------------------------------------
NotImplementedError Traceback (most recent call
last)
/home/SimonKing/.sage/temp/sage.math.washington.edu/11643/_home_SimonKing__sage_init_sage_0.py
in <module>()
/usr/local/sage/local/lib/python2.5/site-
packages/sage/rings/polynomial/multi_polynomial_libsingular.so in
sage.rings.polynomial.multi_polynomial_libsingular.MPolynomial_libsingular.factor
(sage/rings/polynomial/multi_polynomial_libsingular.cpp:23156)()
NotImplementedError: proof = True factorization not implemented. Call
factor with proof=False.
sage: ver
verbose version vert_to_ieq
sage: version()
'Sage Version 3.3.alpha3, Release Date: 2009-01-28'
sage: p.factor(proof=False)
x4
}}}
Apparently the optional parameter 'proof' is 'True' by default, but the
default case is not implemented.
Since I believe factorization is frequently used, I think this bug is
critical.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/5195>
Sage <http://sagemath.org/>
Sage - Open Source Mathematical Software: Building the Car Instead of
Reinventing the Wheel
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to
[email protected]
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en
-~----------~----~----~----~------~----~------~--~---
