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