exact-real icon indicating copy to clipboard operation
exact-real copied to clipboard

Make it usable with Data.Complex.

Open Abbath opened this issue 1 year ago • 1 comments

exponent from RealFloat now returns 0.

Abbath avatar Sep 05 '24 19:09 Abbath

Would you be able to add some tests to make sure that this conforms to the laws specified for RealFloat:

exponent corresponds to the second component of decodeFloat. exponent 0 = 0 and for finite nonzero x, exponent x = snd (decodeFloat x) + floatDigits x. If x is a finite floating-point number, it is equal in value to significand x * b ^^ exponent x, where b is the floating-point radix. The behaviour is unspecified on infinite or NaN values.

Do you want to be a maintainer for this package and on Hackage?

expipiplus1 avatar Oct 31 '24 06:10 expipiplus1