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

Some progress around root systems and Weyl groups #4271

Draft
wants to merge 7 commits into
base: master
Choose a base branch
from

Conversation

lgoettgens
Copy link
Member

@lgoettgens lgoettgens commented Nov 5, 2024

WIP

most important changes:

  • coefficient vector of WeightLatticeElem is now a row (instead of a column); this is to be consistent with RootSpaceElem
  • add a right action of Weyl groups on weights and roots
  • printing: don't include cartan matrix, do include type (if known)

Copy link

codecov bot commented Nov 5, 2024

Codecov Report

Attention: Patch coverage is 86.27451% with 14 lines in your changes missing coverage. Please review.

Project coverage is 84.48%. Comparing base (50d2662) to head (489dc12).

Files with missing lines Patch % Lines
experimental/LieAlgebras/src/RootSystem.jl 83.87% 10 Missing ⚠️
experimental/LieAlgebras/src/WeylGroup.jl 82.60% 4 Missing ⚠️
Additional details and impacted files
@@            Coverage Diff             @@
##           master    #4271      +/-   ##
==========================================
- Coverage   84.49%   84.48%   -0.02%     
==========================================
  Files         641      641              
  Lines       85473    85482       +9     
==========================================
- Hits        72223    72221       -2     
- Misses      13250    13261      +11     
Files with missing lines Coverage Δ
experimental/LieAlgebras/src/AbstractLieAlgebra.jl 97.42% <ø> (ø)
experimental/LieAlgebras/src/LieAlgebra.jl 89.35% <100.00%> (+0.09%) ⬆️
experimental/LieAlgebras/src/LieAlgebraModule.jl 90.70% <ø> (ø)
experimental/LieAlgebras/src/LinearLieAlgebra.jl 94.18% <ø> (-0.10%) ⬇️
experimental/LieAlgebras/src/Types.jl 96.68% <100.00%> (ø)
experimental/LieAlgebras/src/serialization.jl 100.00% <100.00%> (ø)
experimental/LieAlgebras/test/RootSystem-test.jl 96.80% <100.00%> (-1.02%) ⬇️
experimental/LieAlgebras/test/WeylGroup-test.jl 97.77% <ø> (ø)
experimental/LieAlgebras/test/setup_tests.jl 95.40% <ø> (ø)
experimental/LieAlgebras/src/WeylGroup.jl 90.28% <82.60%> (-1.75%) ⬇️
... and 1 more

... and 1 file with indirect coverage changes

Comment on lines +64 to +66
julia> root_system([(:A, 2), (:F, 4)])
Root system of rank 6
of type A2 x F4
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I'm probably missing something, but would it make sense to just print the type (if it is known)?

Suggested change
julia> root_system([(:A, 2), (:F, 4)])
Root system of rank 6
of type A2 x F4
julia> root_system([(:A, 2), (:F, 4)])
A2 x F4

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
experimental Only changes experimental parts of the code topic: LieAlgebras
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants