-
Notifications
You must be signed in to change notification settings - Fork 161
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
Add LowercaseChar/UppercaseChar, document and add tests #952
Conversation
25de359
to
091ec2d
Compare
091ec2d
to
76b5f60
Compare
Current coverage is 48.77% (diff: 100%)@@ master #952 diff @@
==========================================
Files 424 424
Lines 222125 222125
Methods 3430 3430
Messages 0 0
Branches 0 0
==========================================
+ Hits 108238 108341 +103
+ Misses 113887 113784 -103
Partials 0 0
|
Looks alright. I would have made the documentation a bit more compact and described all 4 functions in one ManSection. Just as a side-remark: There is also a sophisticated translation to lower and upper case available via unicode strings ( |
## | ||
## <#GAPDoc Label="LowercaseChar"> | ||
## <ManSection> | ||
## <Func Name="LowercaseString" Arg='character'/> |
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.
Should be LowercaseChar
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.
I've noticed
#W There were LaTeX Warnings:
LaTeX Warning: Label `LowercaseString' multiply defined.
____________________
LaTeX Warning: Label `UppercaseString' multiply defined.
)
____________________
LaTeX Warning: There were multiply-defined labels.
in manual builds (how did we overlook this?) and fixed this in 597bab0
## | ||
## <#GAPDoc Label="UppercaseChar"> | ||
## <ManSection> | ||
## <Func Name="UppercaseString" Arg='character'/> |
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.
Should be UppercaseChar
Noticed UppercaseString had no documentation, and needed UppercaseChar and LowercaseChar for the case-insensitive tab-completion.
Tick all what applies to this pull request
Write below the description of changes (for the release notes)
Adds functions UppercaseChar and LowercaseChar
Improve documentation for the existing functions UppercaseString and LowercaseString