Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

remove unused imports in rings #39619

Open
wants to merge 1 commit into
base: develop
Choose a base branch
from
Open

remove unused imports in rings #39619

wants to merge 1 commit into from
+2 −11

Conversation

fchapoton
Copy link
Contributor

@fchapoton fchapoton commented Mar 2, 2025 •
edited
Loading

found using ruff check --select=F401 src/sage/rings

📝 Checklist

  • The title is concise and informative.
  • The description explains in detail what this PR is about.

@github-actions GitHub Actions
Copy link

github-actions bot commented Mar 2, 2025

Documentation preview for this PR (built with commit 13111fb; changes) is ready! 🎉
This preview will update shortly after each push to this PR.

mantepse
mantepse approved these changes Mar 3, 2025
View reviewed changes
Copy link
Contributor

@mantepse mantepse left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thank you!

# for free to join this conversation on GitHub. Already have an account? # to comment
Reviewers

@mantepse mantepse mantepse approved these changes

Assignees
No one assigned
Labels
s: positive review
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@fchapoton @mantepse