Skip to content

Conversation

@fchapoton
Copy link
Contributor

@fchapoton fchapoton commented Mar 7, 2024

Let us use Parent for the ugly Unsigned Infinity Ring.

The case of the Infinity Ring seems to be even more problematic, and is not touched upon here.

📝 Checklist

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

@github-actions
Copy link

github-actions bot commented Mar 7, 2024

Documentation preview for this PR (built with commit 6f87c77; 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.

LGTM.

@vbraun vbraun merged commit c7bf519 into sagemath:develop Mar 31, 2024
@fchapoton fchapoton deleted the partial_parent_infinity branch April 1, 2024 07:32
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