Zulip Chat Archive

Stream: general

Topic: log

Scott Morrison (Nov 23 2018 at 00:12):

Do we have log, as a function on the reals?

Chris Hughes (Nov 23 2018 at 00:13):

Yes. In analysis.exponential

Scott Morrison (Nov 23 2018 at 00:30):

Thanks, works beautifully! :-)

Last updated: Dec 20 2023 at 11:08 UTC