Differences between revisions 7 and 16 (spanning 9 versions)
⇤ ← Revision 7 as of 2013-04-11 18:39:52 →
Size: 3140
Editor: gmoose05
Comment:
← Revision 16 as of 2015-01-26 11:35:24 → ⇥
Size: 3838
Editor: stumpc5
Comment: added link to sage days 64.5
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.12/#Schedule|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
Line 11: Line 20:
 1. generalized associahedra from cluster complexes (Christian)  1. generalized associahedra from cluster complexes (Christian) - http://trac.sagemath.org/sage_trac/ticket/10817
Line 15: Line 24:
 * 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 26:
 * 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 28:
 * 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 30:
 * 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 34:
Line 35: Line 41:
 * 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 51: Line 57:
 * 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

  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

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