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

map_word and parabolic_subgroup for Weyl groups #4519

Open
wants to merge 14 commits into
base: master
Choose a base branch
from

Update experimental/LieAlgebras/src/WeylGroup.jl

834868a
Select commit
Loading
Failed to load commit list.
Open

map_word and parabolic_subgroup for Weyl groups #4519

Update experimental/LieAlgebras/src/WeylGroup.jl
834868a
Select commit
Loading
Failed to load commit list.
Codecov / codecov/project succeeded Feb 4, 2025 in 1s

84.42% (+0.26%) compared to d5e963e

View this Pull Request on Codecov

84.42% (+0.26%) compared to d5e963e

Details

Codecov Report

Attention: Patch coverage is 93.54839% with 2 lines in your changes missing coverage. Please review.

Project coverage is 84.42%. Comparing base (d5e963e) to head (834868a).
Report is 19 commits behind head on master.

Files with missing lines Patch % Lines
experimental/LieAlgebras/src/WeylGroup.jl 93.54% 2 Missing ⚠️
Additional details and impacted files
@@            Coverage Diff             @@
##           master    #4519      +/-   ##
==========================================
+ Coverage   84.16%   84.42%   +0.26%     
==========================================
  Files         672      672              
  Lines       88768    89185     +417     
==========================================
+ Hits        74715    75298     +583     
+ Misses      14053    13887     -166     
Files with missing lines Coverage Δ
experimental/LieAlgebras/src/LieAlgebras.jl 100.00% <ø> (ø)
experimental/LieAlgebras/test/WeylGroup-test.jl 100.00% <ø> (ø)
src/Groups/GAPGroups.jl 94.11% <ø> (+0.32%) ⬆️
experimental/LieAlgebras/src/WeylGroup.jl 94.25% <93.54%> (-0.49%) ⬇️

... and 64 files with indirect coverage changes