Skip to content
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

Adjust for compatibility with all packages loaded #544

Merged
merged 1 commit into from
Sep 28, 2018

Conversation

wilfwilson
Copy link
Collaborator

@wilfwilson wilfwilson commented Sep 28, 2018

With this PR and an adjustment to a filter in smallsemi that I mentioned in #543 (comment), the next release of the Semigroups package should pass in Alexander's tests where all the packages are loaded.

Not that this required me to adjust an iterator test for free inverse semigroups; @james-d-mitchell has adjusted this code and presumably the tests, so it would be best to merge this after that fix has been pushed (in case this will need rebasing).

I added SUM_FLAGS to the method rank of IsOrthodoxSemigroup so that Semigroups beats smallsemi. Ideally 1 should be enough of an adjustment to make this happen, but until the current GAP master branch, method rank stuff was broken in GAP, and this is the simplest way to avoid the brokenness of GAP.

Doing this avoids needing to make changes to smallsemi.

@james-d-mitchell
Copy link
Collaborator

Looks good, can you remind me (or do it) about the commented out test? I'm working on the fix for Issue #536 now.

@james-d-mitchell
Copy link
Collaborator

Also if this resolves Issue #543, then could you please indicate that?

@james-d-mitchell james-d-mitchell merged commit 1dab852 into semigroups:stable-3.0 Sep 28, 2018
@wilfwilson wilfwilson deleted the adjust-tests branch September 28, 2018 20:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants