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

generalized CharacterTableIsoclinic #3253

Merged

Conversation

ThomasBreuer
Copy link
Contributor

Up to now, CharacterTableIsoclinic dealt only with character tables
of groups of the structure 2.G.2 or 4.G.2.
Now also the cases p.G.p, for odd primes p, are supported.

@ThomasBreuer ThomasBreuer added kind: enhancement Label for issues suggesting enhancements; and for pull requests implementing enhancements release notes: to be added PRs introducing changes that should be (but have not yet been) mentioned in the release notes labels Jan 30, 2019
Up to now, `CharacterTableIsoclinic` dealt only with character tables
of groups of the structure 2.G.2 or 4.G.2.
Now also the cases p.G.p, for odd primes p, are supported.
@codecov
Copy link

codecov bot commented Jan 30, 2019

Codecov Report

Merging #3253 into master will increase coverage by <.01%.
The diff coverage is 89.84%.

@@            Coverage Diff             @@
##           master    #3253      +/-   ##
==========================================
+ Coverage   85.15%   85.15%   +<.01%     
==========================================
  Files         694      696       +2     
  Lines      342306   344252    +1946     
==========================================
+ Hits       291486   293144    +1658     
- Misses      50820    51108     +288
Impacted Files Coverage Δ
lib/ctbl.gd 99.34% <100%> (ø) ⬆️
lib/ctbl.gi 82.42% <89.52%> (+1.47%) ⬆️
src/iostream.c 65.77% <0%> (-2.88%) ⬇️
src/io.c 80.95% <0%> (-2.61%) ⬇️
src/hookintrprtr.c 67.34% <0%> (-2.55%) ⬇️
src/system.c 73.73% <0%> (-1.86%) ⬇️
src/libgap-api.c 25.87% <0%> (-1.54%) ⬇️
src/vecffe.c 80.81% <0%> (-1.48%) ⬇️
src/vector.c 97.92% <0%> (-1.38%) ⬇️
src/dt.c 53.97% <0%> (-1.15%) ⬇️
... and 95 more

Copy link
Contributor

@hulpke hulpke left a comment

Choose a reason for hiding this comment

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

Nice!

@coveralls
Copy link

Coverage Status

Coverage increased (+0.04%) to 84.992% when pulling 111ea46 on ThomasBreuer:TB_CharacterTableIsoclinic into 3f0e2b2 on gap-system:master.

@fingolfin
Copy link
Member

@ThomasBreuer could you please use the "Rebase and merge" function when you merge your own PRs?

@ThomasBreuer ThomasBreuer merged commit 2013da1 into gap-system:master Jan 31, 2019
@ThomasBreuer ThomasBreuer deleted the TB_CharacterTableIsoclinic branch January 31, 2019 09:49
@ThomasBreuer
Copy link
Contributor Author

@fingolfin Thanks for the hint.
Isn't it a bad default in GitHub not to rebase. Can one change this?

@markuspf
Copy link
Member

Once you used "Rebase and merge", that is the default (for you). I don't know whether we could set a default on the repository

@markuspf
Copy link
Member

@fingolfin we could just disable merge commits on the repository.

ThomasBreuer added a commit to ThomasBreuer/gap that referenced this pull request Jul 17, 2019
The changes from pull request gap-system#3253 had the effect that the orderings
of characters and classes in the result of `CharacterTableIsoclinic`
were different from those in released versions of GAP.

With the current change, we return to the previous orderings.
ThomasBreuer added a commit that referenced this pull request Jul 18, 2019
The changes from pull request #3253 had the effect that the orderings
of characters and classes in the result of `CharacterTableIsoclinic`
were different from those in released versions of GAP.

With the current change, we return to the previous orderings.
@DominikBernhardt DominikBernhardt added release notes: added PRs introducing changes that have since been mentioned in the release notes and removed release notes: to be added PRs introducing changes that should be (but have not yet been) mentioned in the release notes labels Aug 22, 2019
@olexandr-konovalov olexandr-konovalov added this to the GAP 4.11.0 milestone Feb 15, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
kind: enhancement Label for issues suggesting enhancements; and for pull requests implementing enhancements release notes: added PRs introducing changes that have since been mentioned in the release notes
Projects
None yet
Development

Successfully merging this pull request may close these issues.

7 participants