-
Notifications
You must be signed in to change notification settings - Fork 297
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] - chore(ring_theory): delete is_algebra_tower
#3785
Conversation
Delete the abbreviation `is_algebra_tower` for `is_scalar_tower`, and replace all references (including the usages of the `is_algebra_tower` namespace) with `is_scalar_tower`. Documentation should also have been updated accordingly. This change was requested in a comment on #3717.
That's great! It seems like there is not a lot to review here! Can I give you the permission to merge already? |
It's better to let at least one (other) maintainer take a look, although with the current backlog of PRs they might just give you the permission to merge it after reviewing. |
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.
Shouldn't you rename the file is_algebra_tower
?
Co-authored-by: Patrick Massot <patrickmassot@free.fr>
(It is currently called |
bors merge |
Delete the abbreviation `is_algebra_tower` for `is_scalar_tower`, and replace all references (including the usages of the `is_algebra_tower` namespace) with `is_scalar_tower`. Documentation should also have been updated accordingly. This change was requested in a comment on #3717. Co-authored-by: Vierkantor <Vierkantor@users.noreply.github.com>
Pull request successfully merged into master. Build succeeded: |
is_algebra_tower
is_algebra_tower
Delete the abbreviation
is_algebra_tower
foris_scalar_tower
, and replace all references (including the usages of theis_algebra_tower
namespace) withis_scalar_tower
. Documentation should also have been updated accordingly.This change was requested in a comment on #3717.