Differences between revisions 7 and 19 (spanning 12 versions)
Revision 7 as of 2013-04-11 18:39:52
Size: 3140
Editor: gmoose05
Comment:
Revision 19 as of 2016-03-23 19:14:20
Size: 3846
Editor: chapoton
Comment:
Deletions are marked like this. Additions are marked like this.
Line 1: Line 1:
 * Version 13-04-11 (First version from discussion in Minneapolis)
Line 3: Line 5:
 * Version 13-04-11 (First version from discussion in Minneapolis)  * Infos about [[http://www.ima.umn.edu/2011-2012/SW7.9-13.12/#Schedule|SageDays 40]], Minneapolis July 9-13, 2012
 * Infos about [[http://www.ima.umn.edu/2014-2015/SW6.1-5.15/?event_id=SW6.1-5.15|SageDays 64.5]], Minneapolis June 1-5, 2015
  * [[combinat/clusteralgebras/sagedays64.5|Wiki containing further info]]
Line 9: Line 13:
==== Finished ====

 * Implement Greedy bases - http://trac.sagemath.org/sage_trac/ticket/14445

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

 * 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 10: Line 22:

 1. generalized associahedra from cluster complexes (Christian)
Line 15: Line 25:
 * Include new Quiver mutation types for Gale-Robinson Quivers (Gregg)  * Include new Quiver mutation types for Gale-Robinson Quivers (Gregg) - http://trac.sagemath.org/sage_trac/ticket/14444
Line 17: Line 27:
 * Add sum of quiver of mutation types as disjoint union (Christian/Gregg)  * Add sum of quivers/cluster seed as disjoint union (Christian/Gregg) - http://trac.sagemath.org/sage_trac/ticket/14443
Line 19: Line 29:
 * Include new Quiver mutation types for square and triangular products of quivers (as in Keller's work on periodicity) (Christian/Gregg)  * 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 31:
 * Implement Greedy bases - should already have this essentially done from the fall. (Gregg)

* Implement snake graph / matrix multiplication formulas for cluster algebras from surfaces and friezes. (Gregg)
 * Implement snake graph / matrix multiplication formulas for cluster algebras from surfaces and friezes. (Gregg) - http://trac.sagemath.org/ticket/16310
Line 27: Line 35:
Line 35: Line 42:
 * Allow inputs of cluster algebras from surfaces (interface from ideal triangulations/bistellar flips as from John Palmeri or Robert Lipshitz) (Gregg?)  * 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
Line 47: Line 54:
 * 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 51: Line 56:
 * Q-system and T-system calculations as in Di Francesco and Kedem's work
  • Version 13-04-11 (First version from discussion in Minneapolis)

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

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. LP algebras (Thomas Lam and Pasha Pylyavskyy with Gregg?)
  11. 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)