Nuprl Definition : find-xover-val

find-xover-val(test;f;m;n;step) ==
  eval v = f n in
  if test v then <v, n, m> else eval step' = 2 * step in eval k = n + step in   find-xover-val(test;f;n;k;step') fi 


Definitions occuring in Statement :  callbyvalue: callbyvalue,  ifthenelse: if b then t else f fi ,  apply: f a,  pair: <a, b>,  multiply: n * m,  add: n + m,  natural_number: $n
Definitions occuring in definition :  ifthenelse: if b then t else f fi ,  apply: f a,  pair: <a, b>,  multiply: n * m,  natural_number: $n,  callbyvalue: callbyvalue,  add: n + m
FDL editor aliases :  find-xover-val
Latex:
find-xover-val(test;f;m;n;step)  ==
    eval  v  =  f  n  in
    if  test  v
    then  <v,  n,  m>
    else  eval  step'  =  2  *  step  in
              eval  k  =  n  +  step  in
                  find-xover-val(test;f;n;k;step')
    fi 


Date html generated: 2019_06_20-PM-01_16_20
Last ObjectModification: 2019_01_09-PM-03_57_53

Theory : int_2


Home Index