search

gap-packages / ClassicalMaximals

Maximal subgroups of classical groups
Other
0 stars 8 forks source link

Orthogonal Maximals #115

Closed TristanPfersdorff closed 2 years ago

TristanPfersdorff commented 2 years ago

Tests for the orthogonal functions in gap/ClassicalMaximals.gi. The tests for n = 9 will work once the C7-PR is merged (at least that's the idea). Also, the C6-stuff never gets tested since class C6 is empty for n <= 12 in case O, which is a bit sad.

fingolfin commented 2 years ago

Tests still fail

codecov[bot] commented 2 years ago

Codecov Report

Merging #115 (9bce092) into main (d0c99dd) will increase coverage by 6.94%. The diff coverage is 100.00%.

@@            Coverage Diff             @@
##             main     #115      +/-   ##
==========================================
+ Coverage   87.56%   94.51%   +6.94%     
==========================================
  Files          14       14              
  Lines        4682     4682              
==========================================
+ Hits         4100     4425     +325     
+ Misses        582      257     -325
Impacted Files Coverage Δ
gap/ClassicalMaximals.gi 89.43% <100.00%> (+30.54%) :arrow_up:
gap/Utils.gi 94.32% <0.00%> (+0.21%) :arrow_up:
gap/SemilinearMatrixGroups.gi 92.27% <0.00%> (+1.12%) :arrow_up: