natural log

Stream: new members

[Callum Cassidy-Nolan]

I'm trying to figure out how to use the natural log, I've looked up ln on mathlib and didn't find it, as a workaround I knew about real.logb so then I went hunting for the constante which I wasn't able to find looked up real.e on mathlib and got no results, which I found odd since if I look up real.pi I do get results.

I just found real.exp though, so would the most concise way of getting ln to be real.logb (real.exp 1) ... ?

[Junyan Xu]

real.log is the natural log
and I can't find real.e either