#11218: factor is broken for polynomials over relative number fields
-----------------------------+----------------------------------------------
Reporter: lftabera | Owner: tbd
Type: PLEASE CHANGE | Status: new
Priority: major | Milestone: sage-4.7
Component: factorization | Keywords: factorization, tower of number
fields
Author: | Upstream: N/A
Reviewer: | Merged:
Work_issues: |
-----------------------------+----------------------------------------------
I suspect this is a regression, but I do not have and old sage copy right
now
{{{
sage: K=QQ[I]['x,t']
sage: K.inject_variables()
Defining x, t
sage: f=t^2+1
sage: f.factor()
(t + (-I)) * (t + (I))
sage: K=QQ[sqrt(5),I]['t']
sage: K.inject_variables()
Defining t
sage: f=t^2+1
sage: f.factor()
(x + I) * (x - I)
sage: prod(f.factor())==f
False
sage: f.parent()
Univariate Polynomial Ring in t over Number Field in sqrt5 with defining
polynomial x^2 - 5 over its base field
sage: prod(f.factor()).parent()
Univariate Polynomial Ring in x over Number Field in sqrt5 with defining
polynomial x^2 - 5 over its base field
}}}
Factor of uni-variate polynomials in polynomial rings (uni and
multivariate) over towers of number fields are broken, since the output
variable is always 'x', so it the output is in the wrong ring.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/11218>
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.
