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 #9

Merged
merged 1 commit into from
Feb 20, 2021

Conversation

wilfwilson
Copy link
Member

(Sorry, I accidentally deleted my fork of circle, so I'm just re-creating PR #8 so that everything is normal.)

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.

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

@codecov
Copy link

codecov bot commented Oct 29, 2020

Codecov Report

Merging #9 into master will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##           master       #9   +/-   ##
=======================================
  Coverage   96.55%   96.55%           
=======================================
  Files           4        4           
  Lines         145      145           
=======================================
  Hits          140      140           
  Misses          5        5           

Copy link
Member

@fingolfin fingolfin left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM. @alex-konovalov ?

@olexandr-konovalov
Copy link
Member

Thanks @wilfwilson

@olexandr-konovalov olexandr-konovalov merged commit 524fcb3 into gap-packages:master Feb 20, 2021
@wilfwilson wilfwilson deleted the pluralize branch February 20, 2021 14:42
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