Nuprl Definition : is-power
is-power(n;x) == eval r = iroot(n;x) in (r^n =z x)
Definitions occuring in Statement :
iroot: iroot(n;x),
fastexp: i^n,
callbyvalue: callbyvalue,
eq_int: (i =z j)
Definitions occuring in definition :
callbyvalue: callbyvalue,
iroot: iroot(n;x),
eq_int: (i =z j),
fastexp: i^n
FDL editor aliases :
is-power
Latex:
is-power(n;x) == eval r = iroot(n;x) in (r\^{}n =\msubz{} x)
Date html generated:
2019_06_20-PM-02_34_08
Last ObjectModification:
2019_03_19-AM-10_49_20
Theory : num_thy_1
Home
Index