-
-
Notifications
You must be signed in to change notification settings - Fork 554
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
some details in infinity "ring" #37137
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.
Some small details.
@@ -852,10 +858,10 @@ def _div_(self, other): | |||
0 | |||
""" | |||
if isinstance(other, UnsignedInfinity): | |||
return Integer(0) | |||
return Integer(0) # noqa: F821 |
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.
What does this comment mean?
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.
this is telling the linter not to warn about Integer
being not defined (it is lazy imported).
Co-authored-by: Travis Scrimshaw <clfrngrown@aol.com>
Documentation preview for this PR (built with commit a689fa0; changes) is ready! 🎉 |
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.
It is totally incomprehensible without an explanation IMO. It suggests to me either we shouldn't use such tools so strictly or we need to tell the tool to ignore something in the tool itself. Its fine in this localized setting for now, but I am sure we will get questions about it later...
sagemathgh-37137: some details in infinity "ring" some typing annotations, and using the base class `CommutativeRing` ### 📝 Checklist - [x] The title is concise, informative, and self-explanatory. - [x] The description explains in detail what this PR is about. URL: sagemath#37137 Reported by: Frédéric Chapoton Reviewer(s): Frédéric Chapoton, Travis Scrimshaw
sagemathgh-37137: some details in infinity "ring" some typing annotations, and using the base class `CommutativeRing` ### 📝 Checklist - [x] The title is concise, informative, and self-explanatory. - [x] The description explains in detail what this PR is about. URL: sagemath#37137 Reported by: Frédéric Chapoton Reviewer(s): Frédéric Chapoton, Travis Scrimshaw
sagemathgh-37137: some details in infinity "ring" some typing annotations, and using the base class `CommutativeRing` ### 📝 Checklist - [x] The title is concise, informative, and self-explanatory. - [x] The description explains in detail what this PR is about. URL: sagemath#37137 Reported by: Frédéric Chapoton Reviewer(s): Frédéric Chapoton, Travis Scrimshaw
some typing annotations, and using the base class
CommutativeRing
📝 Checklist