-
Notifications
You must be signed in to change notification settings - Fork 0
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 #5
Conversation
Codecov Report
@@ Coverage Diff @@
## master #5 +/- ##
=======================================
Coverage 81.54% 81.54%
=======================================
Files 16 16
Lines 2476 2476
=======================================
Hits 2019 2019
Misses 457 457 |
Thanks @wilfwilson! I wonder if we will gain more by asking for |
The purpose of this PR was to maintain the current level of information given by the tests, and I believe that the PR achieves that purpose. As an example example, the previous output
shows that the result is a list of one pc group of size 2 (with one generator), and my new test verifies
i.e. that the result is a list of one pc group of size 2. Nevertheless I have added calls to |
@wilfwilson thanks! I am happy with this version too. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Thanks. I think this or a variant should be merged. Personally I'd streamline the changed tests a bit, as indicated in a comment
Updated as suggested. |
@heikodietrich I have merged this (forgot that this is a package, not main GAP repo). Hopefully you're happy with this PR! |
Thanks Alex,
As far as I can tell, this is fine :-)
Best wishes
Heiko
Sent by phone - please excuse brevity and typos
--
Dr Heiko Dietrich
Associate Professor
Director of Postgraduate Studies
School of Mathematics, Monash University
users.monash.edu/~heikod
…On Sun, 25 Oct 2020, 06:11 Alexander Konovalov, ***@***.***> wrote:
@heikodietrich <https://github.com/heikodietrich> I have merged this
(forgot that this is a package, not main GAP repo). Hopefully you're happy
with this PR!
—
You are receiving this because you were mentioned.
Reply to this email directly, view it on GitHub
<#5 (comment)>,
or unsubscribe
<https://github.com/notifications/unsubscribe-auth/ADNA76UTRA4ORE4SNB4SAUTSMMRFFANCNFSM4N3HHCHQ>
.
|
In a future version of GAP, some nouns will be correctly pluralised to match their number, e.g. "generator" in
<pc group of size 2 with 1 generator>
. So I have made these changes to maximise compatibility.See gap-system/gap#3992 and gap-system/gap#4050 for more context.