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

Accommodate correctly pluralized ViewStrings in GAP #1

Merged
merged 1 commit into from
Apr 22, 2021

Conversation

wilfwilson
Copy link
Member

In a future version of GAP, some nouns will be correctly pluralised to match their number. For example, the ViewString for CyclicGroup(3); will change from <pc group of size 3 with 1 generators> to <pc group of size 3 with 1 generator>.

The changes in this PR maintain the backwards and forwards compatibility of this package with GAP. (As far as I can tell, only the change to the test file is absolutely necessary to maintain compatibility, but I thought why not change the .msk files too.)

See gap-system/gap#3992 and gap-system/gap#4050 for more context.

@codecov
Copy link

codecov bot commented Jul 26, 2020

Codecov Report

Merging #1 (29ce8d7) into master (5c3afa5) will not change coverage.
The diff coverage is n/a.

❗ Current head 29ce8d7 differs from pull request most recent head f3faeee. Consider uploading reports for the commit f3faeee to get more accurate results

@@           Coverage Diff           @@
##           master       #1   +/-   ##
=======================================
  Coverage   31.97%   31.97%           
=======================================
  Files          19       19           
  Lines        3825     3825           
=======================================
  Hits         1223     1223           
  Misses       2602     2602           

@fingolfin fingolfin merged commit 8049bf3 into gap-packages:master Apr 22, 2021
@fingolfin
Copy link
Member

Someone should make a release with this at some point...

@wilfwilson wilfwilson deleted the pluralize branch April 22, 2021 07:47
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.

3 participants