Skip to content

Implementation of the congruence subgroup Gamma0 of SL(n,Z) - #165

Merged
grahamknockillaree merged 1 commit into
gap-packages:masterfrom
giuliao27:master
Oct 12, 2026
Merged

grahamknockillaree merged 1 commit into
gap-packages:masterfrom
giuliao27:master

Conversation

@giuliao27

Copy link
Copy Markdown
Contributor

No description provided.

@codecov

codecov Bot commented Oct 12, 2026

Copy link
Copy Markdown

Codecov Report

❌ Patch coverage is 16.77019% with 134 lines in your changes missing coverage. Please review.
✅ Project coverage is 51.66%. Comparing base (415d365) to head (4658249).

Files with missing lines Patch % Lines
lib/Orru/finiteProjectiveSpaces.gi 8.33% 88 Missing ⚠️
lib/Orru/slnmethods.gi 31.70% 28 Missing ⚠️
lib/CongruenceGroups/congGroups.gi 0.00% 17 Missing ⚠️
lib/CongruenceGroups/sl2methods.gi 0.00% 1 Missing ⚠️
Additional details and impacted files
@@            Coverage Diff             @@
##           master     #165      +/-   ##
==========================================
- Coverage   51.71%   51.66%   -0.06%     
==========================================
  Files         367      368       +1     
  Lines       67420    67543     +123     
==========================================
+ Hits        34869    34896      +27     
- Misses      32551    32647      +96     
Files with missing lines Coverage Δ
lib/Orru/decsOrru.gd 94.44% <100.00%> (+0.89%) ⬆️
lib/Orru/initOrru.gi 100.00% <100.00%> (ø)
lib/CongruenceGroups/sl2methods.gi 28.84% <0.00%> (ø)
lib/CongruenceGroups/congGroups.gi 12.95% <0.00%> (+0.50%) ⬆️
lib/Orru/slnmethods.gi 31.70% <31.70%> (ø)
lib/Orru/finiteProjectiveSpaces.gi 19.54% <8.33%> (-5.11%) ⬇️
🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

@grahamknockillaree
grahamknockillaree merged commit 3707d84 into gap-packages:master Oct 12, 2026
4 of 5 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