Exista doar trei valori in inelul
,
de fapt corp"ul" cu trei elemente (general field with 3 elements, GF(3)),
deci avem de facut de trei ori schema lui Horner peste acest inel/corp
anume pentru trei polinoame,
Aici voi lua computerul, ca sa tiparesc mai repede:
Solutia scurta
"vede acum" ca intotdeauna (1 modulo trei) este radacina,
savarseste impartirea la (x+2) = (x-1)
si se uita cand mai are catul o radacina in corpul/inelul Z3.
Calculam catul:
Catul sta mai sus.
Daca x=0 (modulo 3) este radacina, rezulta a=0.
Daca x=1 (modulo 3) este radacina, rezulta 2=0, mai greu.
Daca x=-1 (modulo 3) este radacina, rezulta (-2)a=0, deci a=0.
Reciproc, pentru a=0 avem descompunerea in trei factori liniari imediata a lui x^3-x.