Talk:Factorization of polynomials over finite fields: Difference between revisions

Revision as of 19:43, 16 April 2018

Revision as of 20:07, 19 April 2018

Line 37:

There is no need to test for the derivative being zero.[[User:MeanStandev|MeanStandev]] ([[User talk:MeanStandev|talk]]) 18:05, 16 April 2018 (UTC)

:This is true in characteristic 0. Here we are over a finite field, and a nonzero polynomial may have a zero derivative. [[User:D.Lazard|D.Lazard]] ([[User talk:D.Lazard|talk]]) 19:42, 16 April 2018 (UTC)

Yes, a nonconstant polynomial can have a zero derivative. But if you remove the test, you will see that the zero derivative case is handled correctly in the remaining code, since the gcd of a polynomial with a zero polynomial is the polynomial itself.[[User:MeanStandev|MeanStandev]] ([[User talk:MeanStandev|talk]]) 20:07, 19 April 2018 (UTC)