diverge (redirected from diverging from)
Also found in: Dictionary
Related to diverging from: diverging lens
, diverging mirror
If a series of approximations to some value get progressively
further from it then the series is said to diverge.
of some term under some evaluation strategy
diverges if it does not reach a normal form
after a finite
number of reductions.