#7554: bug in multivariate polynomial factorization
-----------------------------------+----------------------------------------
Reporter: was | Owner: malb
Type: defect | Status: new
Priority: major | Milestone: sage-4.3
Component: commutative algebra | Keywords:
Work_issues: | Author:
Upstream: N/A | Reviewer:
Merged: |
-----------------------------------+----------------------------------------
This is suspicious:
{{{
sage: # define the coefficient field K and R=K[x,y]
sage: K.<a>=PolynomialRing(QQ,1)
sage: K=FractionField(K)
sage: R.<x,y>=PolynomialRing(K,2)
sage: factor(x^2-y^2)
(x - y) * (x + y)
sage: factor(x)
---------------------------------------------------------------------------
NotImplementedError Traceback (most recent call
last)
/Users/wstein/<ipython console> in <module>()
/Users/wstein/s/local/lib/python2.6/site-packages/sage/rings/arith.pyc in
factor(n, proof, int_, algorithm, verbose, **kwds)
2100 # this happens for example if n = x**2 + y**2 + 2*x*y
2101 try:
-> 2102 return n.factor(proof=proof, **kwds)
2103 except AttributeError:
2104 raise TypeError, "unable to factor n"
/Users/wstein/s/local/lib/python2.6/site-
packages/sage/rings/polynomial/multi_polynomial_element.pyc in
factor(self, proof)
1422 # try to use univariate factoring first
1423 try:
-> 1424 F = self.univariate_polynomial().factor()
1425 return Factorization([(R(f),m) for f,m in F],
unit=F.unit())
1426 except TypeError:
/Users/wstein/s/local/lib/python2.6/site-
packages/sage/rings/polynomial/polynomial_element.so in
sage.rings.polynomial.polynomial_element.Polynomial.factor
(sage/rings/polynomial/polynomial_element.c:22319)()
NotImplementedError:
}}}
See emails from Stefan Boettner in sage-support on Nov 28, 2009
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/7554>
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 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.
