Nuprl Definition : ln
ln(a) == let j,c = near-log(a;10) in log-from(a;(r(c))/j)
Definitions occuring in Statement :
near-log: near-log(a;N),
log-from: log-from(a;b),
int-rdiv: (a)/k1,
int-to-real: r(n),
spread: spread def,
natural_number: $n
Definitions occuring in definition :
spread: spread def,
near-log: near-log(a;N),
natural_number: $n,
log-from: log-from(a;b),
int-rdiv: (a)/k1,
int-to-real: r(n)
FDL editor aliases :
ln
Latex:
ln(a) == let j,c = near-log(a;10) in log-from(a;(r(c))/j)
Date html generated:
2019_10_31-AM-06_09_56
Last ObjectModification:
2019_01_28-AM-10_10_06
Theory : reals_2
Home
Index