Nuprl Definition : rroot-odd

rroot-odd(i;x) ==
  eval b = 2^i - 1 in
  λn.eval k = n^i in
     eval z = x k in
       if z <z 0 then -iroot(i;b * (-z)) else iroot(i;b * z) fi 


Definitions occuring in Statement :  callbyvalue: callbyvalue,  ifthenelse: if b then t else f fi ,  lt_int: i <z j,  apply: f a,  lambda: λx.A[x],  multiply: n * m,  subtract: n - m,  minus: -n,  natural_number: $n,  iroot: iroot(n;x),  fastexp: i^n
Definitions occuring in definition :  subtract: n - m,  lambda: λx.A[x],  fastexp: i^n,  callbyvalue: callbyvalue,  apply: f a,  ifthenelse: if b then t else f fi ,  lt_int: i <z j,  natural_number: $n,  minus: -n,  iroot: iroot(n;x),  multiply: n * m
FDL editor aliases :  rroot-odd
Latex:
rroot-odd(i;x)  ==
    eval  b  =  2\^{}i  -  1  in
    \mlambda{}n.eval  k  =  n\^{}i  in
          eval  z  =  x  k  in
              if  z  <z  0  then  -iroot(i;b  *  (-z))  else  iroot(i;b  *  z)  fi 


Date html generated: 2016_05_18-AM-09_38_08
Last ObjectModification: 2015_09_23-AM-09_12_11

Theory : reals


Home Index