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
Implement Quiver mutation types for Gale-Robinson Quivers and other Period quivers #14444
Comments
comment:1
First draft of this patch. Still needs to be better documented and streamlined. For instance, currently, creating primitive period 1 quivers by going through matrices instead of directly through digraph. But, the examples appear to work. Although sign convention should be double-checked. Should other types such as quivers associated to other Brane Tilings, like dP3, F0, etc. also be hard-coded? An update to this patch will come in the next few days, but should be working for now. Gregg |
Attachment: trac_14444-Period-Quivers.patch.gz |
This comment has been minimized.
This comment has been minimized.
comment:2
Attachment: trac_14444-period-quivers-gm.patch.gz This patch has now been updated and works directly with digraphs as opposed to matrices. It also automatically re-interprets the primitive period 1 quivers as the associated affine A quivers. A future ticket or patch will possible include general period 1 quivers or other quivers from Brane Tilings. Should be ready for review now. Gregg |
comment:3
It was not necessary to replace the duplicate/unused patch by an empty patch. You can give instructions for the bot in comments, as follows: apply trac_14444-Period-Quivers.patch then the bot will only apply this patch. One remark: For links to arxiv, you should use the arxiv role, like for example |
This comment has been minimized.
This comment has been minimized.
comment:5
here is a first review patch |
This comment has been minimized.
This comment has been minimized.
Author: Gregg Musiker |
Changed keywords from quivers to quiver |
Attachment: trac_14444_review1.patch.gz |
comment:9
Examples need to be slightly updated so that Period 1 Primitives recongized as Affine A when QuiverMutationType(['P1',n,k]) is called. Also, would be good for interface to input classes for other period 1 quivers in this patch rather than a future patch. |
Commit: |
Branch: u/chapoton/14444 |
Branch pushed to git repo; I updated commit sha1. New commits:
|
comment:18
Gregg, would you agree to try to get that into sage, keeping further changes for another ticket ? |
comment:19
Replying to @fchapoton:
Frederic, I am still interested in getting this into sage. I have a SAGE research assistant this semester who should have time to do this if I don't have a chance to get to this first. What did you mean exactly by "further changes"? Are you recommending I open a new ticket regarding implementing these quivers? |
comment:20
Well, there is already something about Gale-Robinson here. And I have also made (somewhat abusing the ticket's goal) a lot of disturbing typographical/cleanup changes in the rest of the code. It would be better to get rid of that by quick inclusion in sage, so that one can start again and have cleaner tickets. |
comment:21
I think if we want to fast track this into sage, it should be updated (if needed) to make sure that a single primitive period 1 quiver is not a new quiver mutation class but is recgonized as an affine type A quiver (or multiple copies of one). Potentially only the doctests need to be updated. If I had more time, I would develop new quiver mutation classes for more complicated period 1 quives by adding/subtracting primitive period 1 quivers appropriately. The Gale-Robinson case is essentially the case of this with two such period 1 primitives (plus the necessary fudge factor). Or by allowing the user to input a palindromic integer vector and build the rest of the period 1 quiver from the first row of the exchange matrix. As far as you know, do these two patches still work in the current sage? If so, we can change this from needs work to needs review. I could open up a separate ticket for the period 1 functionalities. Gregg |
Branch pushed to git repo; I updated commit sha1. New commits:
|
Branch pushed to git repo; I updated commit sha1. New commits:
|
Branch pushed to git repo; I updated commit sha1. New commits:
|
Branch pushed to git repo; I updated commit sha1. New commits:
|
Branch pushed to git repo; I updated commit sha1. New commits:
|
See Fordy and Marsh's paper http://arxiv.org/abs/0904.0200, in particular Example 8.7.
Apply:
CC: @stumpc5
Component: combinatorics
Keywords: quiver
Author: Gregg Musiker
Branch/Commit: u/chapoton/14444 @
cc6b97f
Issue created by migration from https://trac.sagemath.org/ticket/14444
The text was updated successfully, but these errors were encountered: