Skip to content
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

RealFloat instance for Compensated #2

Open
divipp opened this issue Jan 6, 2014 · 2 comments
Open

RealFloat instance for Compensated #2

divipp opened this issue Jan 6, 2014 · 2 comments

Comments

@divipp
Copy link

divipp commented Jan 6, 2014

As I see there is no RealFloat instance for Compensated numbers.
Is there any specific reason for that?
@cartazio
Copy link

cartazio commented Jan 6, 2014

What would the instance be? Compensated numbers are a pair of floats, or a iterated pair thereof. So you don't quite have a canonical rep for the real float ops!

@divipp
Copy link
Author

divipp commented Jan 17, 2014

Thanks for looking at this.
The use case would be to be able to use the compensated package with the numeric-quest package.
I thought that the RealFloat instance for Compensated was missing for the co-operation, but I had a closer look and it seems that numeric-quest is too restricted instead.
So if you think that RealFloat instance for Compensated is nonsensical you can close the ticket; I'm fine with that.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@cartazio @divipp