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.Last updated: 1994-12-08
divisor
A quantity that evenly divides another quantity. Unless otherwise stated, use of this term implies that the quantities involved are integers. (For non-integers, the more general term factor may be more appropriate.)Example: 3 is a divisor of 15. Example: 3 is not a divisor of 14.
Last updated: 1997-03-07
Nearby terms:
disusered ♦ dithering ♦ Ditto Drive ♦ diverge ♦ divisor ♦ dj ♦ DJGPP ♦ DjVu
Try this search on Wikipedia, Wiktionary, Google, OneLook.
Loading
