<html><head></head><body><div class="ydpffbca960yahoo-style-wrap" style="font-family:courier new, courier, monaco, monospace, sans-serif;font-size:13px;"><div></div>
<div dir="ltr" data-setdir="false">I like the Lie algebra suggestion, but I doubt that, out of the box, it would support the tiny probabilities like 1e-100000 that Benjamin supports.</div><div><br></div>
</div><div id="yahoo_quoted_1450446837" class="yahoo_quoted">
<div style="font-family:'Helvetica Neue', Helvetica, Arial, sans-serif;font-size:13px;color:#26282a;">
<div>
On Tuesday, April 4, 2023 at 11:51:11 AM EDT, Will Yager <will.yager@gmail.com> wrote:
</div>
<div><br></div>
<div><br></div>
<div><div dir="ltr">If you end up coming up with a nice library design, you may want to generalize these operations from Double-valued logarithms to conversions between a Lie group and its corresponding Lie algebra. <br clear="none"><br clear="none">Exp/ln on all/positive real numbers is a special case of exp/ln on a lie algebra/group. <br clear="none"><br clear="none">Maybe worth checking if there already exists a package for working with lie groups in a nicely-typed way. If there's not a haskell one, I bet one of the theorem prover languages (coq, agda, idris) has one. <br clear="none"><br clear="none">Best,<br clear="none">Will<div class="yqt8125265435" id="yqtfd61108"><br clear="none">_______________________________________________<br clear="none">Haskell-Cafe mailing list<br clear="none">To (un)subscribe, modify options or view archives go to:<br clear="none"><a shape="rect" href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a><br clear="none">Only members subscribed via the mailman list are allowed to post.</div></div></div>
</div>
</div></body></html>