Benutze: a≠0⇒ a = lc a * lt a + red a mit deg(red a)<deg a (Vereinbarung: deg(0) = - ∞ ) a : b = if deg a < deg b then (0, a) else let t = (lc a / lc b) * X^(deg a - deg b) (q,r) = (red a - t * red b) : b in (t + q, r)
a = lc a * lt a + red a
mit deg(red a)<deg a (Vereinbarung: deg(0) = - ∞ ) a : b = if deg a < deg b then (0, a) else let t = (lc a / lc b) * X^(deg a - deg b) (q,r) = (red a - t * red b) : b in (t + q, r)
deg(red a)<deg a
a : b = if deg a < deg b then (0, a) else let t = (lc a / lc b) * X^(deg a - deg b) (q,r) = (red a - t * red b) : b in (t + q, r)