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 fixes and performance improvements for iso_oscar_gap(::LieAlgebra) #4227

Merged
merged 4 commits into from
Oct 22, 2024

Conversation

lgoettgens
Copy link
Member

@lgoettgens lgoettgens commented Oct 22, 2024

relevant changes:

  • _iso_oscar_gap(::AbstractLieAlgebra) now accesses internals of AbstractLieAlgebra, but this has a >100x performance improvement
  • _iso_oscar_gap(::LinearLieAlgebra) now also transfers the root system (if one is already known)
  • Oscar.iso_oscar_gap now asserts the return type given in the docstring
  • Remove some iso inv caching, that was an artifact from Assign each GAP object a *unique* isomorphism from/to OSCAR #2330

@lgoettgens lgoettgens marked this pull request as ready for review October 22, 2024 13:45
Copy link

codecov bot commented Oct 22, 2024

Codecov Report

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

Project coverage is 84.58%. Comparing base (88b734c) to head (0007d2c).
Report is 1 commits behind head on master.

Files with missing lines Patch % Lines
experimental/LieAlgebras/src/iso_oscar_gap.jl 92.30% 2 Missing ⚠️
Additional details and impacted files
@@            Coverage Diff             @@
##           master    #4227      +/-   ##
==========================================
- Coverage   84.58%   84.58%   -0.01%     
==========================================
  Files         631      631              
  Lines       85009    85010       +1     
==========================================
- Hits        71908    71907       -1     
- Misses      13101    13103       +2     
Files with missing lines Coverage Δ
experimental/LieAlgebras/src/iso_gap_oscar.jl 100.00% <100.00%> (ø)
...xperimental/LieAlgebras/test/iso_gap_oscar-test.jl 82.92% <ø> (-0.41%) ⬇️
...xperimental/LieAlgebras/test/iso_oscar_gap-test.jl 100.00% <ø> (ø)
src/GAP/iso_oscar_gap.jl 98.26% <100.00%> (ø)
src/GAP/wrappers.jl 95.00% <100.00%> (+0.01%) ⬆️
experimental/LieAlgebras/src/iso_oscar_gap.jl 95.65% <92.30%> (-4.35%) ⬇️

Copy link
Member

@ThomasBreuer ThomasBreuer left a comment

Choose a reason for hiding this comment

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

Looks good. Thanks.

@lgoettgens lgoettgens merged commit 62cc619 into oscar-system:master Oct 22, 2024
29 checks passed
@lgoettgens lgoettgens deleted the lg/Lie-iso-oscar-gap branch October 22, 2024 15:00
HechtiDerLachs pushed a commit to HechtiDerLachs/Oscar.jl that referenced this pull request Oct 30, 2024
…ra)` (oscar-system#4227)

* Make `_iso_oscar_gap(::AbstractLieAlgeba)` way more efficient

* Move root system iso to its own function

* Some type stability

* Remove some unwanted iso caching
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants