divers

adj : many and different; "tourist offices of divers

nationalities"; "a person of diverse talents" [syn: {divers(a)},

{diverse}]

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)