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

Refactor Projection to not use KeyDependentOperation #13

Merged
merged 1 commit into from
Jan 8, 2025

Conversation

fingolfin
Copy link
Member

Doing that causes warnings in all other GAP packages that install
methods for Projection.

Since there seem to be no tests or examples or documentation covering
this function, I added a new test to verify it works as before.

Doing that causes warnings in all other GAP packages that install
methods for `Projection`.

Since there seem to be no tests or examples or documentation covering
this function, I added a new test to verify it works as before.
Copy link

codecov bot commented Jan 2, 2025

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 58.86%. Comparing base (c68f6ad) to head (60ab42d).
Report is 4 commits behind head on master.

Additional details and impacted files
@@            Coverage Diff             @@
##           master      #13      +/-   ##
==========================================
+ Coverage   57.66%   58.86%   +1.20%     
==========================================
  Files          43       43              
  Lines        9248     9253       +5     
==========================================
+ Hits         5333     5447     +114     
+ Misses       3915     3806     -109     
Files with missing lines Coverage Δ
gap/treeautgrp.gd 100.00% <ø> (ø)
gap/treeautgrp.gi 50.88% <100.00%> (+12.86%) ⬆️

... and 3 files with indirect coverage changes

@fingolfin
Copy link
Member Author

@dsavchuk @muntyan do these change seem reasonable to you?

If so, it would be great to get this and my other pull request #12 merged and put into a new release of this package.

I'd be happy to take care of doing that (it'd take me maybe 10 minutes of work, most of which would be spent on updating the NEWS file ;-) )

@dsavchuk
Copy link

dsavchuk commented Jan 8, 2025 via email

@fingolfin fingolfin merged commit db65851 into master Jan 8, 2025
9 checks passed
@fingolfin fingolfin deleted the mh/Projection branch January 8, 2025 20:29
@fingolfin
Copy link
Member Author

OK I've merged the changes and will make a new release. Thanks!

@dsavchuk
Copy link

dsavchuk commented Jan 9, 2025 via email

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.

2 participants