Nuprl Definition : qexp
r ↑ n == eval n = n in let a,b = qrep(r) in mk-rational(a^n;b^n)
Definitions occuring in Statement :
qrep: qrep(r),
mk-rational: mk-rational(a;b),
fastexp: i^n,
callbyvalue: callbyvalue,
spread: spread def
Definitions occuring in definition :
callbyvalue: callbyvalue,
spread: spread def,
qrep: qrep(r),
mk-rational: mk-rational(a;b),
fastexp: i^n
FDL editor aliases :
qexp
Latex:
r \muparrow{} n == eval n = n in let a,b = qrep(r) in mk-rational(a\^{}n;b\^{}n)
Date html generated:
2016_05_15-PM-11_06_31
Last ObjectModification:
2015_09_23-AM-08_27_46
Theory : rationals
Home
Index