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
GapElement.__contains__ (from libgap) should use the infix in
from gap
#23844
Labels
Milestone
Comments
Changed keywords from none to thursdaysbdx |
Branch: u/vdelecroix/23844 |
New commits:
|
Commit: |
Author: Vincent Delecroix |
This comment has been minimized.
This comment has been minimized.
This comment has been minimized.
This comment has been minimized.
Reviewer: Travis Scrimshaw |
comment:4
LGTM (although |
Changed branch from u/vdelecroix/23844 to |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Right now
__contains__
is not defined and defaults to the Python behavior, which does some very wrong stuff when both sides areGapElement
. The following gets right with the branch appliedComponent: interfaces
Keywords: thursdaysbdx
Author: Vincent Delecroix
Branch/Commit:
f8c0088
Reviewer: Travis Scrimshaw
Issue created by migration from https://trac.sagemath.org/ticket/23844
The text was updated successfully, but these errors were encountered: