New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Make it usable with Data.Complex. #42

Open

Abbath wants to merge 1 commit into expipiplus1:master from Abbath:master

Abbath commented Sep 5, 2024

exponent from RealFloat now returns 0.


          Make it usable with Data.Complex.

44ed1d6

exponent from RealFloat now returns 0.

Owner

expipiplus1 commented Oct 31, 2024

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?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet