ckDivision(a, b)以上的算法的复杂度在formula_9级别，当formula_10较大时，远远比原始的算法快捷。
推广.
多项式的带余除法.以域formula_11为系数的多项式构成的多项式整环formula_12中也可以定义带余除法。设有、两个多项式，其中不是零多项式。则存在由和唯一确定的多项式和，使得：并且多项式是零多项式或者它的次数严格小于的次数，称为多项式带余除法的余元。
欧几里德整环.普通的整数或实数之间