Dediginiz gibi $k2^n-1$ formunda olmasi gerekir sayilarin ve burada $2^{253}>(50^{253}-5^{253})$ olmasi gerekir, ki degil. Lucas asallik testi daha uygun dusebilir bu soru icin hatta. Fakat ben cok etkili "efficient" goremedim. Cunku $q-1$'in tum asal carpanlarini iceren islemler yapmak gerekecek. Aslinda asal pek buyuk degil, $q-1$ carpanlari ise
$\{\{2, 1\}, \{11, 2\}, \{23, 2\}, \{47, 1\}, \{139, 1\},\{2531, 1\}, \{4093, 1\}, \{8779, 1\}, \{6866927, 1\}, \{549797184491917, 1\}$ ,
$\{34823500348877655362343206477378708307857041186406012214\cdots, 1\}\}$
Yeterince fazla. Fakat en etkilisi ya da cok hizli bulabilecek bir algoritma var mi? $m$ arttikca...