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.

Sign up for GitHub

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

Jump to bottom

Fix PreImagesSet for input sets not contained in image #48

Open
wants to merge 1 commit into
base: master
Choose a base branch
from
Open

Fix PreImagesSet for input sets not contained in image #48

wants to merge 1 commit into from

Conversation

fingolfin
Copy link
Member

Fixes #47

@codecov
Copy link

codecov bot commented Aug 5, 2020 •
edited
Loading

Codecov Report

Merging #48 (775a170) into master (37af5a8) will increase coverage by 0.01%.
The diff coverage is 100.00%.

@@            Coverage Diff             @@
##           master      #48      +/-   ##
==========================================
+ Coverage   55.89%   55.90%   +0.01%     
==========================================
  Files          87       87              
  Lines       13050    13051       +1     
==========================================
+ Hits         7294     7296       +2     
+ Misses       5756     5755       -1
Impacted Files Coverage Δ
gap/basic/grphoms.gi 94.47% <100.00%> (+0.02%) ⬆️
gap/cohom/grpext.gi 89.88% <0.00%> (+0.56%) ⬆️

@fingolfin fingolfin closed this Feb 25, 2021
@fingolfin fingolfin reopened this Feb 25, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

PreImagesSet does not work if subgroup is not a subset of image
1 participant
@fingolfin