This is documentation for Mathematica 6, which was
based on an earlier version of the Wolfram Language.

# NestWhile

 NestWhile[f, expr, test]starts with expr, then repeatedly applies f until applying test to the result no longer yields True. NestWhile[f, expr, test, m]supplies the most recent m results as arguments for test at each step. NestWhile[f, expr, test, All]supplies all results so far as arguments for test at each step. NestWhile[f, expr, test, m, max]applies f at most max times. NestWhile[f, expr, test, m, max, n]applies f an extra n times. NestWhile[f, expr, test, m, max, -n]returns the result found when f had been applied n fewer times.
• NestWhile[f, expr, test] returns the first expression f[f[... f[expr]...]] to which applying test does not yield True.
• NestWhile[f, expr, test, m] at each step evaluates test[res1, res2, ..., resm]. It does not put the results resi in a list.  »
• The resi are given in the order they are generated, with the most recent coming last.
• NestWhile[f, expr, test, m] does not start applying test until at least m results have been generated.
• NestWhile[f, expr, test, {mmin, m}] does not start applying test until at least mmin results have been generated. At each step it then supplies as arguments to test as many recent results as possible, up to a maximum of m.  »
• NestWhile[f, expr, UnsameQ, All] goes on applying f until the same result first appears more than once.
• NestWhile[f, expr, test, m, max, n] applies f an additional n times after test fails, or max applications have already been performed.  »
• NestWhile[f, expr, test, m, Infinity, -1] returns, if possible, the last expression in the sequence expr, f[expr], f[f[expr]], ... for which test yields True.
Keep dividing by 2 until the result is no longer an even number:
 Out[1]=

Iterate taking logarithms until the result is no longer positive:
 Out[1]=
 Scope   (5)
 Applications   (3)
New in 4