-
-
Notifications
You must be signed in to change notification settings - Fork 482
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
various changes about is_field and is_ring #37783
Conversation
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.
LGTM assuming tests pass.
not yet ready for consumption ; I need to add a default |
I have decided just to fix the doctests here. |
Documentation preview for this PR (built with commit b807676; changes) is ready! 🎉 |
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.
LGTM
just miscellanous changes about not using `is_ring`, replacing some `is_field` by `in Fields` and having more precise categories in descent algebras also sorting the imports on the way ### 📝 Checklist - [x] The title is concise and informative. - [x] The description explains in detail what this PR is about. URL: sagemath#37783 Reported by: Frédéric Chapoton Reviewer(s): Matthias Köppe, Travis Scrimshaw
just miscellanous changes about not using
is_ring
, replacing someis_field
byin Fields
and having more precise categories in descent algebras
also sorting the imports on the way
📝 Checklist