diver

n 1: someone who works underwater [syn: {frogman}, {underwater

diver}]

2: someone who dives (into water)

3: large somewhat primitive fish-eating diving bird of the

northern hemisphere having webbed feet placed far back;

related to the grebes [syn: {loon}]

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)