-
Notifications
You must be signed in to change notification settings - Fork 234
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] - perf (Abelian.Transfer): clean up a dsimp #9641
Conversation
!bench |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Two birds with one stone: addresses a porting nice, shorter and nicer - and presumably even faster 🎉
Assuming benchmarking is neutral or positive (let alone wildly positive), looks good to me. (But I'm not an expert.)
Thank you for doing this, please keep going!
Here are the benchmark results for commit 1fe2ebe.Found no runs to compare against. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
bors d+
✌️ mattrobball can now approve this pull request. To approve and merge a pull request, simply reply with |
bors merge |
bors r- I should delete that |
Canceled. |
bors merge |
Cleaning up a `dsimp` improves performance. Co-authored-by: Matthew Robert Ballard <100034030+mattrobball@users.noreply.github.com>
Pull request successfully merged into master. Build succeeded: |
Cleaning up a
dsimp
improves performance.