diverge

v 1: move or draw apart; "The two paths diverge here" [ant: {converge}]

2: have no limits; used of mathematical series [ant: {converge},

{converge}]

3: extend in a different direction; "The lines start to diverge

here"; "Their interests diverged" [ant: {converge}]

4: be at variance with; be out of line with [syn: {deviate}, {vary},

{depart}] [ant: {conform}]

diverge

If a series of approximations to some value get progressively

further from it then the series is said to diverge.

The {reduction} of some term under some {evaluation strategy}

diverges if it does not reach a {normal form} after a finite

number of reductions.

(1994-12-08)