Skip to content

use _an_element_ and type annotations in ore_module #40096

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.

Sign up for GitHub

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

Jump to bottom
Merged
merged 1 commit into from
May 18, 2025
Merged

use _an_element_ and type annotations in ore_module #40096

merged 1 commit into from
May 18, 2025

Conversation

fchapoton
Copy link
Contributor

using _an_element_ in the modified file ; also adding some typing annotations there

📝 Checklist

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

@vbraun vbraun merged commit 366fb98 into sagemath:develop May 18, 2025
11 of 19 checks passed
@fchapoton fchapoton deleted the ore_module_typing branch May 18, 2025 11:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@edgarcosta edgarcosta edgarcosta approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@fchapoton @edgarcosta @vbraun