Nuprl Definition : rroot

rroot(i;x) ==  if isEven(i) then rroot-abs(i;x) else accelerate(2;rroot-odd(i;x)) fi 


Definitions occuring in Statement :  rroot-odd: rroot-odd(i;x),  rroot-abs: rroot-abs(i;x),  accelerate: accelerate(k;f),  isEven: isEven(n),  ifthenelse: if b then t else f fi ,  natural_number: $n
Definitions occuring in definition :  ifthenelse: if b then t else f fi ,  isEven: isEven(n),  rroot-abs: rroot-abs(i;x),  accelerate: accelerate(k;f),  natural_number: $n,  rroot-odd: rroot-odd(i;x)
FDL editor aliases :  rroot rroot
Latex:
rroot(i;x)  ==    if  isEven(i)  then  rroot-abs(i;x)  else  accelerate(2;rroot-odd(i;x))  fi 


Date html generated: 2016_05_18-AM-09_40_21
Last ObjectModification: 2015_09_23-AM-09_12_19

Theory : reals


Home Index