divulge

v : make known to the public information that was previously

known only to a few people or that was meant to be kept a

secret; "The aution house would not disclose the price at

which the van Gogh had sold"; "The actress won't reveal

how old she is"; "bring out the truth"; "he broke the

news to her" [syn: {disclose}, {let on}, {bring out}, {reveal},

{discover}, {expose}, {declare}, {impart}, {break}, {give

away}, {let out}]

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)