Opened 7 years ago
Closed 7 years ago
#18470 closed enhancement (fixed)
Implement the path model for B infinity
Reported by:  tscrim  Owned by:  sagecombinat 

Priority:  major  Milestone:  sage6.8 
Component:  combinatorics  Keywords:  crystals 
Cc:  sagecombinat, bsalisbury1  Merged in:  
Authors:  Travis Scrimshaw  Reviewers:  Ben Salisbury 
Report Upstream:  N/A  Work issues:  
Branch:  3ddc20b (Commits, GitHub, GitLab)  Commit:  3ddc20b6595bb6f0731814a0f714039390b6b3fd 
Dependencies:  #18469  Stopgaps: 
Description
Using the elementary crystals B_i
, we can iterate the following crystal morphism B(oo) \to B_i \otimes B(oo)
to obtain a crystal model for B(oo)
. This ticket implements this model by using the fact that one only requires a finite list.
Change History (7)
comment:1 Changed 7 years ago by
 Branch set to public/crystals/path_Binf18470
 Commit set to 4c0032a3b4f4c1770d3d73a3a1c9db5121d10550
 Status changed from new to needs_review
comment:2 Changed 7 years ago by
 Dependencies set to #18469
comment:3 Changed 7 years ago by
 Commit changed from 4c0032a3b4f4c1770d3d73a3a1c9db5121d10550 to d1ea922392907ef9836e1ae0cdb03036cdfe6bd9
comment:4 Changed 7 years ago by
 Commit changed from d1ea922392907ef9836e1ae0cdb03036cdfe6bd9 to 3ddc20b6595bb6f0731814a0f714039390b6b3fd
Branch pushed to git repo; I updated commit sha1. New commits:
3ddc20b  Documentation changes per review

comment:5 Changed 7 years ago by
Hi Travis,
I pushed some changes to the documentation. If you are okay with them (and see no either new or missed mistakes), then you may set this to positive review on my behalf.
Best, Ben
comment:6 Changed 7 years ago by
 Reviewers set to Ben Salisbury
 Status changed from needs_review to positive_review
LGTM. Thanks Ben!
comment:7 Changed 7 years ago by
 Branch changed from public/crystals/path_Binf18470 to 3ddc20b6595bb6f0731814a0f714039390b6b3fd
 Resolution set to fixed
 Status changed from positive_review to closed
Note: See
TracTickets for help on using
tickets.
I'm not completely happy with the current implementation as it creates a lot of generally unnecessary factors and the print representation isn't great. However I'm thinking these would be for followup tickets, one which makes the printing of the elementary crystals more verbose, the other for a consolidated version for the crystal B_{I} in the notation in the documentation.
New commits:
Fixing _sig for epsilon/phi returning inf.
Added path model for B(oo).