OK to move bind-fpprec from nummod.lisp to mutils.lisp?



On 5/22/2012 6:29 AM, Barton Willis wrote:...

..
>
> My code for the generalized Lambert function needs to match
> a number to x * log(x).  An explicit match is straightforward, but it
> also needs to match log(4/9)/3 to (2/3) * log(2/3), for example. How to do this?
> First, it uses floating point and rat to convert to a putative match;
> second it does an exact check of the putative match using radcan.  Maybe you
> all know an elegant way to do this?
>
> --Barton
>

Could you look for c* (x*log(x))  instead?   Then   match for (arbitrary 
A, B), the pattern  A*log(B), and then
x=B
c=A/B

RJF