id,summary,reporter,owner,description,type,status,priority,milestone,component,resolution,keywords,cc,merged,author,reviewer,upstream,work_issues,branch,commit,dependencies,stopgaps
21996,Factorization in iterated extensions of finite fields,saraedum,,"At the moment there is no factorization implemented in iterated extensions of finite fields:
{{{
sage: K = GF(2)
sage: R. = K[]
sage: L. = K.extension(x^2 + x + 1)
sage: R. = L[]
sage: M. = L.extension(y^2 + y + x)
sage: R. = M[]
sage: (T^2 + T + x).factor()
NotImplementedError
}}}
The reason is that `M` in the above example is just a quotient of a polynomial ring over `L`.
Here, we implement isomorphisms (for this special case) to a simple extensions of a prime field over which factorization is implemented. We also implement univariate factorization for polynomial quotient rings if an isomorphism to a field which supports such factorization is known.",enhancement,closed,major,sage-7.5,finite rings,fixed,"factorization, finite field, sd86.5, sd87",jpflori,,"Julian Rüth, Hanson Smith, Edouard Rousseau","Hanson Smith, Edouard Rousseau, Aly Deines",N/A,,d585fdbe3fb82c88546c1aa4344715d01bc31839,d585fdbe3fb82c88546c1aa4344715d01bc31839,"#21998, #22001",