verb, -verged, -verg⋅ing.| 1. | to move, lie, or extend in different directions from a common point; branch off. |
| 2. | to differ in opinion, character, form, etc.; deviate. |
| 3. | Mathematics. (of a sequence, series, etc.) to have no unique limit; to have infinity as a limit. |
| 4. | to turn aside or deviate, as from a path, practice, or plan. |
| 5. | to deflect or turn aside. |
di·verge (dĭ-vûrj', dī-) v. di·verged, di·verg·ing, di·verg·es v. intr.
To cause (light rays, for example) to diverge; deflect. [Latin dīvergere : Latin dī-, dis-, apart; see dis- + Latin vergere, to bend; see wer-2 in Indo-European roots.] |
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)