Die notwendigen algebraischen Voraussetzungen an den Rechenbereich, damit der euklidische Algorithmus durchführbar ist und nach endlich vielen Schritten zu einem Ergebnis kommt, sind im Begriff des ...
Das Restpolynom ist die zuletzt berechnete Differenz beim Abbruch des Algorithmus (vgl. auch Euklidischer Algorithmus).