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] - feat(analysis/special_functions/pow, set_theory/*): positivity
extension for powers
#16462
Conversation
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.
Thanks!
bors r+
Sorry, that will likely conflict with #16141 for stupid reasons (the tests)! |
Oops! bors r- |
✌️ YaelDillies can now approve this pull request. To approve and merge a pull request, simply reply with |
Canceled. |
Indeed, it was the tests' fault. bors merge |
…nsion for powers (#16462) Add the following `positivity` extensions to handle powers: * `positivity_rpow` for real powers * `positivity_opow` for ordinal powers * `positivity_cardinal_pow` for cardinal powers
This PR was included in a batch that was canceled, it will be automatically retried |
…nsion for powers (#16462) Add the following `positivity` extensions to handle powers: * `positivity_rpow` for real powers * `positivity_opow` for ordinal powers * `positivity_cardinal_pow` for cardinal powers
Build failed (retrying...): |
…nsion for powers (#16462) Add the following `positivity` extensions to handle powers: * `positivity_rpow` for real powers * `positivity_opow` for ordinal powers * `positivity_cardinal_pow` for cardinal powers
Build failed (retrying...): |
Tests seem to be an issue here again bors r- |
Canceled. |
Must've messed up the merge... bors merge |
…nsion for powers (#16462) Add the following `positivity` extensions to handle powers: * `positivity_rpow` for real powers * `positivity_opow` for ordinal powers * `positivity_cardinal_pow` for cardinal powers
Build failed (retrying...): |
…nsion for powers (#16462) Add the following `positivity` extensions to handle powers: * `positivity_rpow` for real powers * `positivity_opow` for ordinal powers * `positivity_cardinal_pow` for cardinal powers
Pull request successfully merged into master. Build succeeded: |
positivity
extension for powerspositivity
extension for powers
…nsion for powers (#16462) Add the following `positivity` extensions to handle powers: * `positivity_rpow` for real powers * `positivity_opow` for ordinal powers * `positivity_cardinal_pow` for cardinal powers
Add the following
positivity
extensions to handle powers:positivity_rpow
for real powerspositivity_opow
for ordinal powerspositivity_cardinal_pow
for cardinal powers