Nuprl Definition : isqrt_newton

isqrt_newton(n;x)
==r eval s = x + (n ÷ x) in
    eval z = s ÷ 2 in
      if z=x  then z  else if (x) < (z)  then x  else isqrt_newton(n;z)
isqrt_newton(n;x) ==
  fix((λisqrt_newton,x. eval s = x + (n ÷ x) in
                        eval z = s ÷ 2 in
                          if z=x  then z  else if (x) < (z)  then x  else (isqrt_newton z))) 
  x


Definitions occuring in Statement :  callbyvalue: callbyvalue,  less: if (a) < (b)  then c  else d,  int_eq: if a=b  then c  else d,  apply: f a,  fix: fix(F),  lambda: λx.A[x],  divide: n ÷ m,  add: n + m,  natural_number: $n
Definitions occuring in definition :  fix: fix(F),  lambda: λx.A[x],  add: n + m,  callbyvalue: callbyvalue,  divide: n ÷ m,  natural_number: $n,  int_eq: if a=b  then c  else d,  less: if (a) < (b)  then c  else d,  apply: f a
FDL editor aliases :  isqrt_newton
Latex:
isqrt\_newton(n;x)
==r  eval  s  =  x  +  (n  \mdiv{}  x)  in
        eval  z  =  s  \mdiv{}  2  in
            if  z=x    then  z    else  if  (x)  <  (z)    then  x    else  isqrt\_newton(n;z)
Latex:
isqrt\_newton(n;x)  ==
    fix((\mlambda{}isqrt$_{newton}$,x.  eval  s  =  x  +  (n  \mdiv{}  x)  in
                                              eval  z  =  s  \mdiv{}  2  in
                                                  if  z=x    then  z    else  if  (x)  <  (z)    then  x    else  (isqrt$_{newton\000C}$  z))) 
    x


Date html generated: 2016_05_15-PM-05_16_04
Last ObjectModification: 2015_09_23-AM-07_52_43

Theory : general


Home Index