Differences between revisions 2 and 12 (spanning 10 versions)
⇤ ← Revision 2 as of 2013-04-11 14:17:41 →
Size: 2727
Editor: stumpc5
Comment: Copied content of our discussion into this road map
← Revision 12 as of 2013-04-11 19:13:05 → ⇥
Size: 3467
Editor: gmoose05
Comment:
Deletions are marked like this. Additions are marked like this.
Line 5: Line 5:
This page contains our road map beyond the core implementation of cluster algebras as merged in Sage-5.9, see http://trac.sagemath.org/sage_trac/ticket/10298. This page contains our road map beyond the core implementation of cluster algebras as merged in Sage-5.9, see [[http://trac.sagemath.org/sage_trac/ticket/10298|#10298]].
Line 11: Line 11:
 1. generalized associahedra from cluster complexes  1. generalized associahedra from cluster complexes (Christian) - http://trac.sagemath.org/sage_trac/ticket/10817
Line 13: Line 13:
 * Why is variable_class() so much slower compared with cluster_class() ?? (might be because Laurent polynomials are so slow in sage)  * Check why variable_class() is so much slower compared with cluster_class(). This might be because Laurent polynomials are slow in sage. (Christian)
Line 15: Line 15:
 * Quiver mutation types for Gale-Robinson Quivers  * Include new Quiver mutation types for Gale-Robinson Quivers (Gregg) - http://trac.sagemath.org/sage_trac/ticket/14444
Line 17: Line 17:
 * Quiver mutation types for products of quivers (as in Keller's work on periodicity)  * Add sum of quivers/cluster seed as disjoint union (Christian/Gregg) - http://trac.sagemath.org/sage_trac/ticket/14443
Line 19: Line 19:
 * Implement Greedy bases - should already have this essentially done from the fall.  * Include new Quivers/cluster seed for square and triangular products of quivers (as in Keller's work on periodicity) (Christian/Gregg) - http://trac.sagemath.org/sage_trac/ticket/14443
Line 21: Line 21:
 * snake graph / matrix multiplication formulas for cluster algebras from surfaces. Also see Dupont's sage code on friezes from http://www.math.jussieu.fr/~dupontg/files/strings.sage  * Implement Greedy bases - should already have this essentially done from the fall. (Gregg/Dylan?) - http://trac.sagemath.org/sage_trac/ticket/14445

 * Implement snake graph / matrix multiplication formulas for cluster algebras from surfaces and friezes. (Gregg)
Also see Dupont's sage code on friezes from http://www.math.jussieu.fr/~dupontg/files/strings.sage 
Line 27: Line 30:
    * in some situations, it might be nice to update variable names. E.g., for Plücker coords and SL[N].       * in some situations, it might be nice to update variable names. E.g., for Plücker coords and SL[N].
Line 31: Line 35:
 * Allow inputs of cluster algebras from surfaces (interface from ideal triangulations/bistellar flips as from John Palmeri or Robert Lipshitz)  * Allow inputs of cluster algebras from surfaces (interface from ideal triangulations/bistellar flips as from John Palmeri or Robert Lipshitz) (Gregg?)
Line 35: Line 39:
 * Weiwen Gu Decomposition algorithm - and then use this to classify cluster algebra from surface by genus, number of marked/boundary points, etc.  * Weiwen Gu Decomposition algorithm - and then use this to classify cluster algebra from surface by genus, number of marked/boundary points, etc. (Emily/Al/Gregg)
Line 41: Line 45:
 * d-vectors (using inductive formulas from Cluster Algebras IV?  * d-vectors (using inductive formulas from Cluster Algebras IV?)
Line 43: Line 47:
 * Jim Starx code for Quiver Representations and abilities to work with Auslander-Reiten translates, etc.  * Jim Starx code for Quiver Representations and abilities to work with Auslander-Reiten translates, etc. ([[http://trac.sagemath.org/sage_trac/ticket/12630|#12630]])
Line 45: Line 49:
 * LP algebras (Thomas Lam and Pasha)  * LP algebras (Thomas Lam and Pasha Pylyavskyy with Gregg?)
Line 47: Line 51:
 * Q-system and T-system calculations as in Di Francesco and Kedem's work
Line 60: Line 65:
 * check if all class sizes are correct - see Hugh/Chapoton's 14048 ticket  * check if all class sizes are correct - see [[http://trac.sagemath.org/sage_trac/ticket/14048|#14048]] by Hugh Thomas and Frederic Chapoton

Cluster algebras road map beyond Sage-5.9

  • Version 13-04-11 (First version from discussion in Minneapolis)

This page contains our road map beyond the core implementation of cluster algebras as merged in Sage-5.9, see #10298.

New features

Easier

  1. generalized associahedra from cluster complexes (Christian) - http://trac.sagemath.org/sage_trac/ticket/10817

  2. Check why variable_class() is so much slower compared with cluster_class(). This might be because Laurent polynomials are slow in sage. (Christian)

  3. Include new Quiver mutation types for Gale-Robinson Quivers (Gregg) - http://trac.sagemath.org/sage_trac/ticket/14444

  4. Add sum of quivers/cluster seed as disjoint union (Christian/Gregg) - http://trac.sagemath.org/sage_trac/ticket/14443

  5. Include new Quivers/cluster seed for square and triangular products of quivers (as in Keller's work on periodicity) (Christian/Gregg) - http://trac.sagemath.org/sage_trac/ticket/14443

  6. Implement Greedy bases - should already have this essentially done from the fall. (Gregg/Dylan?) - http://trac.sagemath.org/sage_trac/ticket/14445

  7. Implement snake graph / matrix multiplication formulas for cluster algebras from surfaces and friezes. (Gregg)

    Also see Dupont's sage code on friezes from http://www.math.jussieu.fr/~dupontg/files/strings.sage

Harder

  1. Allow labellings of the vertices of quivers and cluster seeds (i.e., provide a dict that contains this information, and which is used all over to work with cluster seeds)
  2. in some situations, it might be nice to update variable names. E.g., for Plücker coords and SL[N].
  3. Finish mutation type checking for affine D_n (try to dove-tail with student describing all affine B/C/etc. quiver types)
  4. Allow inputs of cluster algebras from surfaces (interface from ideal triangulations/bistellar flips as from John Palmeri or Robert Lipshitz) (Gregg?)
  5. Work with the improved graph editor (once it exists?)
  6. Weiwen Gu Decomposition algorithm - and then use this to classify cluster algebra from surface by genus, number of marked/boundary points, etc. (Emily/Al/Gregg)
  7. Quantum cluster algebras - with Dylan Rupel
  8. Work with cluster algebras as "algebras" and find bases or express elements in bases
  9. d-vectors (using inductive formulas from Cluster Algebras IV?)

  10. Jim Starx code for Quiver Representations and abilities to work with Auslander-Reiten translates, etc. (#12630)

  11. LP algebras (Thomas Lam and Pasha Pylyavskyy with Gregg?)
  12. Q-system and T-system calculations as in Di Francesco and Kedem's work

Changes to the compendium

  1. Convert the compendium into an rst file and provide it as a thematic tutorial.

  2. Change intro to describe downloading only sage >= 5.9

  3. Adding F-polynomials, G-vectors, C-vectors, etc. updates to principal_extension/restrictions, ...
  4. Mutation type names (eg. V, W, ...) need to be updated
  5. Generalized associahedra from cluster algebra in new ticket so that compendium accurately discusses these features

  6. check if all class sizes are correct - see #14048 by Hugh Thomas and Frederic Chapoton

  7. cut out groups_of_mutations() and probably other names need to be deleted or updated

combinat/clusteralgebras (last edited 2016-03-23 19:14:20 by chapoton)