Differences between revisions 2 and 16 (spanning 14 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 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 5: Line 9:
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 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  1. generalized associahedra from cluster complexes (Christian) - http://trac.sagemath.org/sage_trac/ticket/10817
Line 13: Line 22:
 * 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 24:
 * 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 26:
 * 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 28:
 * 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 30:
 * 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 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 
Line 25: Line 35:
Line 27: Line 36:
    * 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 41:
 * 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?) - look at http://www.math.columbia.edu/~lipshitz/research.html#Programming
Line 35: Line 45:
 * 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 51:
 * d-vectors (using inductive formulas from Cluster Algebras IV?  * d-vectors (using inductive formulas from Cluster Algebras IV?)
Line 43: Line 53:
 * 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 55:
 * LP algebras (Thomas Lam and Pasha)  * LP algebras (Thomas Lam and Pasha Pylyavskyy with Gregg?)
Line 47: Line 57:
 * Q-system and T-system calculations as in Di Francesco and Kedem's work
Line 60: Line 71:
 * 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
  • 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)