Skip to content

Additional methods for constructing congruence subgroups of SL2 and SL3#150

Merged
grahamknockillaree merged 5 commits intogap-packages:masterfrom
giuliao27:extra-methods
Feb 17, 2026
Merged

Additional methods for constructing congruence subgroups of SL2 and SL3#150
grahamknockillaree merged 5 commits intogap-packages:masterfrom
giuliao27:extra-methods

Conversation

@giuliao27
Copy link
Contributor

No description provided.

@codecov
Copy link

codecov bot commented Feb 17, 2026

Codecov Report

❌ Patch coverage is 16.98113% with 88 lines in your changes missing coverage. Please review.
✅ Project coverage is 44.17%. Comparing base (6fdb585) to head (4f74499).
⚠️ Report is 6 commits behind head on master.

Files with missing lines Patch % Lines
lib/Orru/sl2methodsExtra.gi 11.53% 46 Missing ⚠️
lib/Orru/sl3methods.gi 15.00% 34 Missing ⚠️
lib/Orru/subgroups.gi 0.00% 7 Missing ⚠️
lib/Orru/finiteProjectiveSpaces.gi 75.00% 1 Missing ⚠️
Additional details and impacted files
@@            Coverage Diff             @@
##           master     #150      +/-   ##
==========================================
- Coverage   44.21%   44.17%   -0.05%     
==========================================
  Files         358      360       +2     
  Lines       65551    65654     +103     
==========================================
+ Hits        28984    29002      +18     
- Misses      36567    36652      +85     
Files with missing lines Coverage Δ
lib/Orru/decsOrru.gd 91.66% <100.00%> (+0.36%) ⬆️
lib/Orru/initOrru.gi 100.00% <100.00%> (ø)
lib/Orru/finiteProjectiveSpaces.gi 12.24% <75.00%> (+2.67%) ⬆️
lib/Orru/subgroups.gi 11.55% <0.00%> (-0.17%) ⬇️
lib/Orru/sl3methods.gi 15.00% <15.00%> (ø)
lib/Orru/sl2methodsExtra.gi 11.53% <11.53%> (ø)
🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

@grahamknockillaree grahamknockillaree merged commit 169ec61 into gap-packages:master Feb 17, 2026
5 of 7 checks passed
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

Comments