-
-
Notifications
You must be signed in to change notification settings - Fork 532
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
remove the last use of PrincipalIdealDomain #38922
Conversation
If this class isn't used anymore, can the class itself be deleted entirely? It looks like it's already deprecated. |
Documentation preview for this PR (built with commit e798f08; changes) is ready! 🎉 |
I has only be deprecated formally recently. We have to wait one year after the first release after the deprecation. |
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.
Looks correct!
This is removing the last use of the auld class `PrincipalIdealDomain` ### 📝 Checklist - [x] The title is concise and informative. - [x] The description explains in detail what this PR is about. - [ ] I have linked a relevant issue or discussion. - [ ] I have created tests covering the changes. - [ ] I have updated the documentation and checked the documentation preview. URL: sagemath#38922 Reported by: Frédéric Chapoton Reviewer(s): Frédéric Chapoton, Martin Rubey
This is removing the last use of the auld class `PrincipalIdealDomain` ### 📝 Checklist - [x] The title is concise and informative. - [x] The description explains in detail what this PR is about. - [ ] I have linked a relevant issue or discussion. - [ ] I have created tests covering the changes. - [ ] I have updated the documentation and checked the documentation preview. URL: sagemath#38922 Reported by: Frédéric Chapoton Reviewer(s): Frédéric Chapoton, Martin Rubey
This is removing the last use of the auld class `PrincipalIdealDomain` ### 📝 Checklist - [x] The title is concise and informative. - [x] The description explains in detail what this PR is about. - [ ] I have linked a relevant issue or discussion. - [ ] I have created tests covering the changes. - [ ] I have updated the documentation and checked the documentation preview. URL: sagemath#38922 Reported by: Frédéric Chapoton Reviewer(s): Frédéric Chapoton, Martin Rubey
This is removing the last use of the auld class `PrincipalIdealDomain` ### 📝 Checklist - [x] The title is concise and informative. - [x] The description explains in detail what this PR is about. - [ ] I have linked a relevant issue or discussion. - [ ] I have created tests covering the changes. - [ ] I have updated the documentation and checked the documentation preview. URL: sagemath#38922 Reported by: Frédéric Chapoton Reviewer(s): Frédéric Chapoton, Martin Rubey
This is removing the last use of the auld class
PrincipalIdealDomain
📝 Checklist