Skip to content

Conversation

wilfwilson
Copy link
Collaborator

@wilfwilson wilfwilson commented Oct 1, 2025

I've made a GAP pull request at gap-system/gap#4343 which makes a few pluralisation-related changes. The change most relevant to this issue is that it changes “1 arguments” to “1 argument” in no method found errors. I'm expecting this will be merged into GAP master soon, and this PR assumes that it'll make its way into GAP 4.16.

I think the only ways to accommodate this change in our test files would either be to stop testing for no method found errors (which I think would be a reasonable approach; why test for the non-existence of a method?), or to use the #@if syntax and provide two versions of test output, using the appropriate pluralisation for the GAP version. That's what this pull request does.

Unfortunately, the #@if syntax was only introduced in GAP 4.11, so merging this PR will also require dropping support for GAP 4.10; see #866.

There'll be a bit of a chicken-and-egg problem with these pull requests; in particular, the tests here against the GAP master branch will fail until gap-system/gap#4343 is merged.

However, to mitigate this, I've (temporarily) added a CI job to this pull request that tests against the update-pluralization branch of my GAP work, which is the one responsible for gap-system/gap#4343. Therefore these jobs reflect how the GAP master jobs will behave once gap-system/gap#4343 is merged, and therefore these new jobs should pass!

The Semigroups and smallsemi packages also need such an update; I'll make pull requests for all three, and try and merge all those of those, plus gap-system/gap#4343, pretty much simultaneously, so that the period of time during which the CI fails is minimised.

@wilfwilson wilfwilson added minor A label for PRs or issues that are minor in some sense. do not merge A label for PRs that should not be merged for whatever reason. tests A label for issues/PRs relating to adding or updating tests or the testing system technical A necessary technical change, not interesting mathematically/feature-wise gap compatibility Label for PRs or issues related to compatibility with upcoming changes in GAP labels Oct 1, 2025
@wilfwilson wilfwilson force-pushed the update-pluralization branch 2 times, most recently from dfa2aff to a7500f0 Compare October 1, 2025 14:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
do not merge A label for PRs that should not be merged for whatever reason. gap compatibility Label for PRs or issues related to compatibility with upcoming changes in GAP minor A label for PRs or issues that are minor in some sense. technical A necessary technical change, not interesting mathematically/feature-wise tests A label for issues/PRs relating to adding or updating tests or the testing system
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant