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

Fix bug in FixedPoints for a partial perm coll #1034

Merged
merged 1 commit into from
Dec 23, 2016

Conversation

james-d-mitchell
Copy link
Contributor

Please make sure that this pull request:

  • is submitted to the correct branch (the stable branch is only for bugfixes)
  • contains an accurate description of changes for the release notes below
  • provides new tests or relies on existing ones
  • correctly refers to other issues and related pull requests

Tick all what applies to this pull request

  • Adds new features
  • Improves and extends functionality
  • Fixes bugs that could lead to crashes
  • Fixes bugs that could lead to incorrect results
  • Fixes bugs that could lead to break loops

Write below the description of changes (for the release notes)

Previously NrFixedPoints and FixedPointsOfPartialPerm for a partial perm and a partial perm semigroup, respectively, returned the moved points instead. Also some tests are added.

Previously it called MovedPoints!
@codecov-io
Copy link

Current coverage is 49.56% (diff: 100%)

Merging #1034 into master will increase coverage by 0.03%

@@             master      #1034   diff @@
==========================================
  Files           424        424          
  Lines        223274     223274          
  Methods        3430       3430          
  Messages          0          0          
  Branches          0          0          
==========================================
+ Hits         110593     110674    +81   
+ Misses       112681     112600    -81   
  Partials          0          0          

Powered by Codecov. Last update 458ab05...81b6ffb

@markuspf markuspf merged commit 77ae12c into gap-system:master Dec 23, 2016
@james-d-mitchell james-d-mitchell deleted the fix-pperm-fixed-points branch December 23, 2016 10:39
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