Opened 2 years ago
Last modified 5 weeks ago
#28279 new enhancement
Brauer Algebra Idempotents
Reported by:  ghpavjav  Owned by:  

Priority:  major  Milestone:  sage9.6 
Component:  algebra  Keywords:  Brauer Algebra, idempotents 
Cc:  tscrim  Merged in:  
Authors:  Pavel Javornik  Reviewers:  Pavel Javornik 
Report Upstream:  N/A  Work issues:  
Branch:  u/ghpavjav/brauer_algebra_idempotents (Commits, GitHub, GitLab)  Commit:  4e1305bcb72823840592ac407fe9a0eb0f1c2c3b 
Dependencies:  Stopgaps: 
Description (last modified by )
Ticket dedicated to the implementation of Brauer Algebra Idempotents
Change History (14)
comment:1 Changed 2 years ago by
 Cc tscrim added
 Component changed from PLEASE CHANGE to algebra
 Description modified (diff)
 Keywords Brauer Algebra idempotents added
 Reviewers set to Pavel Javornik
 Type changed from PLEASE CHANGE to enhancement
comment:2 Changed 2 years ago by
 Branch set to u/ghpavjav/brauer_algebra_idempotents
comment:3 Changed 2 years ago by
 Branch changed from u/ghpavjav/brauer_algebra_idempotents to brauer_algebra_idempotents
comment:4 Changed 2 years ago by
 Branch changed from brauer_algebra_idempotents to u/ghpavjav/brauer_algebra_idempotents
comment:5 Changed 2 years ago by
 Commit set to 1537fe511be36572f9faf097a5f203ab5b829253
comment:6 Changed 2 years ago by
the branch is empty
comment:7 Changed 2 years ago by
 Commit changed from 1537fe511be36572f9faf097a5f203ab5b829253 to 4e1305bcb72823840592ac407fe9a0eb0f1c2c3b
Branch pushed to git repo; I updated commit sha1. New commits:
4e1305b  First edit. Added call .central_primitive_idempotents() to return list. Minor concerns about division by zero errors when k=3, z=4 due to ocurrence of (z4) terms in denominator of interpolating polynomial expression. May need to cancel terms with numerator terms before evaluating with JucysMurphy elements.

comment:8 Changed 2 years ago by
TODO:
Resolve division by zero errors. See example when order is 3 and deformation parameter is 4. As in https://arxiv.org/pdf/1606.08900.pdf , pg. 31 where the rank 3 idempotents are listed, there is a (delta4) in the denominator. Perhaps there are terms that cancel? B_3(4) is semisimple after all.
Cite https://arxiv.org/pdf/1606.08900.pdf
Code must be organized and optimized as per development standards
comment:9 Changed 2 years ago by
 Milestone changed from sage8.9 to sage9.1
Ticket retargeted after milestone closed
comment:10 Changed 22 months ago by
 Milestone changed from sage9.1 to sage9.2
Batch modifying tickets that will likely not be ready for 9.1, based on a review of the ticket title, branch/review status, and last modification date.
comment:11 Changed 17 months ago by
 Milestone changed from sage9.2 to sage9.3
comment:12 Changed 11 months ago by
 Milestone changed from sage9.3 to sage9.4
Setting new milestone based on a cursory review of ticket status, priority, and last modification date.
comment:13 Changed 6 months ago by
 Milestone changed from sage9.4 to sage9.5
comment:14 Changed 5 weeks ago by
 Milestone changed from sage9.5 to sage9.6
Branch pushed to git repo; I updated commit sha1. New commits: