Cluster algebras road map beyond Sage-5.9

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

New features

Finished

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 snake graph / matrix multiplication formulas for cluster algebras from surfaces and friezes. (Gregg) - http://trac.sagemath.org/ticket/16310 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?) - look at http://www.math.columbia.edu/~lipshitz/research.html#Programming

  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