Talk:Cantor–Zassenhaus algorithm

External links modified
Hello fellow Wikipedians,

I have just modified 1 one external link on Cantor–Zassenhaus algorithm. Please take a moment to review my edit. If you have any questions, or need the bot to ignore the links, or the page altogether, please visit this simple FaQ for additional information. I made the following changes:
 * Added archive https://web.archive.org/web/20070311010058/http://pari.math.u-bordeaux.fr:80/dochtml/html.stable/Arithmetic_functions.html to http://pari.math.u-bordeaux.fr/dochtml/html.stable/Arithmetic_functions.html#factorcantor

When you have finished reviewing my changes, please set the checked parameter below to true or failed to let others know (documentation at ).

Cheers.— InternetArchiveBot  (Report bug) 11:29, 14 November 2016 (UTC)

Error in describing characteristic 2
The text says

It proceeds as follows, in the case where the field {\displaystyle \mathbb {F} _{q}} \mathbb {F} _{q} is of odd-characteristic. The process can be generalised to characteristic 2 fields in a fairly straightforward way: Select a random polynomial {\displaystyle b(x)\in R} b(x)\in R such that {\displaystyle b(x)\neq 0,\pm 1} b(x)\neq 0,\pm 1. Set {\displaystyle m=(q^{d}-1)/2} m=(q^{d}-1)/2 and compute {\displaystyle b(x)^{m}} b(x)^{m}

But this is wrong; if q is 2 then m is not an integer. The text needs to be fixed. I am not sure how, though.

Arghman (talk) 13:36, 18 November 2017 (UTC)

If q is even (and in fact in all cases), you can use m=(q**d-1)/(smallest prime factor of (q**d-1)). But this is not efficient for q=2 and d odd. See https://arxiv.org/pdf/1012.5322.pdf for more efficient approaches. MeanStandev (talk) 20:51, 27 April 2018 (UTC)

@MeanStandev: I read the paper you posted. Thanks. It was very helpful. In it, it said that if q = 2 and d is odd, then you can just do a quadratic field extension to get q=4 instead. This forces a factor of 3 in q**d - 1. There is a faster way, though, for all cases of q=2. See when they talk about test polynomials of the form sum_i T**(2**i), where i is in [0, d - 1] and T is a random starter polynomial. I will say, though, the only "fairly straightforward" case is when there's a factor of 3 in q**d - 1. Etoombs (talk) 21:33, 1 March 2020 (UTC)