|v. i.||1.||To extend from a common point in different directions; to tend from one point and recede from each other; to tend to spread apart; to turn aside or deviate (as from a given direction); - opposed to |
|2.||To differ from a typical form; to vary from a normal condition; to dissent from a creed or position generally held or taken.|
|Verb||1.||diverge - move or draw apart; "The two paths diverge here"|
converge - move or draw together at a certain location; "The crowd converged on the movie star"
|2.||diverge - have no limits as a mathematical series|
|3.||diverge - extend in a different direction; "The lines start to diverge here"; "Their interests diverged"|
|4.||diverge - be at variance with; be out of line with|
|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.