Skip to content
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

Merged
merged 2 commits into from
Feb 2, 2024

Conversation

fchapoton
Copy link
Contributor

some typing annotations, and using the base class CommutativeRing

📝 Checklist

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

Copy link
Collaborator

@tscrim tscrim left a 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
Copy link
Collaborator

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?

Copy link
Contributor Author

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>
Copy link

Documentation preview for this PR (built with commit a689fa0; changes) is ready! 🎉

Copy link
Collaborator

@tscrim tscrim left a 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...

vbraun pushed a commit to vbraun/sage that referenced this pull request Jan 27, 2024
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
vbraun pushed a commit to vbraun/sage that referenced this pull request Jan 29, 2024
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
vbraun pushed a commit to vbraun/sage that referenced this pull request Jan 30, 2024
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
@vbraun vbraun merged commit 8bca97b into sagemath:develop Feb 2, 2024
18 of 19 checks passed
@fchapoton fchapoton deleted the some_details_in-oo-rings branch February 3, 2024 08:22
@mkoeppe mkoeppe added this to the sage-10.3 milestone Mar 7, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants