divorce

n : the legal dissolution of a marriage [syn: {divorcement}]

v 1: part; cease or break association with; "She disassociated

herself from the organization when she found out the

identity of the president" [syn: {dissassociate}, {dissociate},

{disunite}, {disjoint}]

2: get a divorce; formally terminate a marriage; "The couple

divorced after only 6 months" [syn: {split up}]

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)