Opmerking
Zoals het Mathematica commando Factor al suggereert, bestaan
er wel degelijk algoritmen voor het vinden van irreducibele factoren van
veeltermen in R[X] als R=Q of Z/pZ.
Voor R=Q bestaat een methode uit het terugbrengen tot factorisatie
in Z[X], terwijl factorisatie in Z[X] mogelijk
(maar inefficiënt) is met behulp van interpolatie (zie