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.
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
[Merged by Bors] - fix: generalize DivisionRing.toOfScientific #9947
Conversation
If you can cast a rat to a type, then we probably want decimal notation to work there too
!bench |
Here are the benchmark results for commit 23f4bc0. |
I am wondering what's the status of this? Will it be approved? |
I think probably it just needs some reviewer time, perhaps from @thorimur or @semorrison, just in case there's a reason I'm not aware of that makes this a bad idea |
bors merge |
If you can cast a rat to a type, then we probably want decimal notation to work there too. This has the benefit of making the instance computable even in cases where some parts of the division ring structure are not. It also means that this could apply to matrices of rational numbers, which are not a division ring, but could have a rat cast.
Pull request successfully merged into master. Build succeeded: |
If you can cast a rat to a type, then we probably want decimal notation to work there too. This has the benefit of making the instance computable even in cases where some parts of the division ring structure are not. It also means that this could apply to matrices of rational numbers, which are not a division ring, but could have a rat cast.
If you can cast a rat to a type, then we probably want decimal notation to work there too. This has the benefit of making the instance computable even in cases where some parts of the division ring structure are not. It also means that this could apply to matrices of rational numbers, which are not a division ring, but could have a rat cast.
If you can cast a rat to a type, then we probably want decimal notation to work there too.
This has the benefit of making the instance computable even in cases where some parts of the division ring structure are not.
It also means that this could apply to matrices of rational numbers, which are not a division ring, but could have a rat cast.