-
-
Notifications
You must be signed in to change notification settings - Fork 405
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鈥檒l occasionally send you account related emails.
Already on GitHub? Sign in to your account
using less isinstance(..., Ring) #36922
Conversation
Documentation preview for this PR (built with commit 1272029; changes) is ready! 馃帀 |
if category is None: | ||
homset_cat = A.category() | ||
else: | ||
homset_cat = category | ||
# Remark: Ring.__init__ will automatically form the join | ||
# Remark: Parent.__init__ will automatically form the join | ||
# of the category of rings and of homset_cat |
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.
does it? or is that done by Endsets()
?
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.
Well, that's the line Parent.__init __
that does the job. Once done, the categories contains that of "rings". The next line does not change anything to the list of categories.
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.
in favour of the more categorical
... in Rings()
also fixing a few pep8 details in passing but not too much
馃摑 Checklist