diverse

adj 1: many and different; "tourist offices of divers

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

2: distinctly dissimilar or unlike; "diverse parts of the

country"; "celebrities as diverse as Bob Hope and Bob

Dylan"; "animals as various as the jaguar and the cavy and

the sloth" [syn: {various}]

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)