Skip to content

remove some deprecated stuff in number_fields#41581

Merged
vbraun merged 1 commit intosagemath:developfrom
fchapoton:deprec_number_fields
Feb 11, 2026
Merged

remove some deprecated stuff in number_fields#41581
vbraun merged 1 commit intosagemath:developfrom
fchapoton:deprec_number_fields

Conversation

@fchapoton
Copy link
Copy Markdown
Contributor

after #38124 closed in 2024

📝 Checklist

  • The title is concise and informative.
  • The description explains in detail what this PR is about.
  • I have linked a relevant issue or discussion.

@github-actions
Copy link
Copy Markdown

github-actions bot commented Feb 3, 2026

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

Copy link
Copy Markdown
Collaborator

@dcoudert dcoudert 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 pushed a commit to vbraun/sage that referenced this pull request Feb 5, 2026
sagemathgh-41581: remove some deprecated stuff in number_fields
    
after sagemath#38124 closed in 2024

### 📝 Checklist

- [x] The title is concise and informative.
- [x] The description explains in detail what this PR is about.
- [x] I have linked a relevant issue or discussion.
    
URL: sagemath#41581
Reported by: Frédéric Chapoton
Reviewer(s): David Coudert
vbraun pushed a commit to vbraun/sage that referenced this pull request Feb 7, 2026
sagemathgh-41581: remove some deprecated stuff in number_fields
    
after sagemath#38124 closed in 2024

### 📝 Checklist

- [x] The title is concise and informative.
- [x] The description explains in detail what this PR is about.
- [x] I have linked a relevant issue or discussion.
    
URL: sagemath#41581
Reported by: Frédéric Chapoton
Reviewer(s): David Coudert
@vbraun vbraun merged commit c0d8c63 into sagemath:develop Feb 11, 2026
16 of 23 checks passed
@fchapoton fchapoton deleted the deprec_number_fields branch February 13, 2026 15:21
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.

3 participants