Nuprl Definition : general-iroot
general-iroot(n;x) ==
eval m = n in
eval y = x in
if (y) < (0) then if m mod 2=1 then TERMOF{integer-nth-root2:o, 1:l} m y else 0 else iroot(m;y)
Definitions occuring in Statement :
iroot: iroot(n;x),
modulus: a mod n,
callbyvalue: callbyvalue,
less: if (a) < (b) then c else d,
int_eq: if a=b then c else d,
apply: f a,
natural_number: $n
Definitions occuring in definition :
callbyvalue: callbyvalue,
less: if (a) < (b) then c else d,
int_eq: if a=b then c else d,
modulus: a mod n,
apply: f a,
integer-nth-root2,
natural_number: $n,
iroot: iroot(n;x)
TermOfs occuring in Definition :
integer-nth-root2
FDL editor aliases :
general-iroot
Latex:
general-iroot(n;x) ==
eval m = n in
eval y = x in
if (y) < (0)
then if m mod 2=1 then TERMOF\{integer-nth-root2:o, 1:l\} m y else 0
else iroot(m;y)
Date html generated:
2019_06_20-PM-02_34_56
Last ObjectModification:
2019_03_19-AM-10_49_40
Theory : num_thy_1
Home
Index