Differences between revisions 11 and 12
Revision 11 as of 2008-01-31 19:17:33
Size: 2509
Editor: DanielBump
Comment:
Revision 12 as of 2008-01-31 22:06:21
Size: 2644
Editor: MikeHansen
Comment:
Deletions are marked like this. Additions are marked like this.
Line 34: Line 34:
MikeHansen: Anne Schilling will be at SD7 on the coding sprint days, and I plan to spend at least one of them focusing on crystals.

This wishlist should be a list of features, software, algorithms, databases, or anything else you'd like to see in Sage.

Features

Combinatorial Species

Infinite-dimensional polynomial rings

Graphs

  • Applet / javascript for dragging/repositioning vertices
  • Edge-labeled isomorphism checking
  • a nauty interface
  • a graph category in Sage
  • Graphs on surfaces

From Robert Miller:
> Comments: Emily Kirkman has done some extensive work on embedding
> graphs in surfaces, and I'd love to see some conversation about this
> at Sage Days 7.

Incidence Structures

See http://trac.sagemath.org/sage_trac/ticket/1305

Interactive widgets in the notebook

See http://trac.sagemath.org/sage_trac/ticket/1322

Lie algebras

KiranKedlaya: I'd like to be able to manipulate representations of Lie algebras. Here I'm thinking of representations as lists of highest weights (indicating irreducibles) with multiplicities. I'd like to be able to perform representation-theoretic operations (tensor products, exterior powers, symmetric powers, maybe other Schur functors) on such lists. This may be accomplished by wrapping LiE, which we currently provide as an optional spkg. (Some of this may also be provided by Symmetrica.) I plan to discuss this with Mike Hansen before and during the workshop.

DanielBump: Perhaps representations of Lie algebras should be elements of a ring, the free abelian group on the set of irreducibles, with the multiplication being tensor product. In addition to the operations that Kiran listed, there should be branching rules, for example Br->Dr for common embeddings of Lie groups.

Crystal Graphs

DanielBump: I have some C programs to draw rank crystal graphs to metapost for types A2 and B2, and Justin Walker ported the A2 program to Sage. At least for the rank 2 crystal graphs I believe that it is a good idea to draw the graph so that vertices contributing the same weight should be placed near each other. See http://match.stanford.edu/bump/xtal/

It would be good if the operation of tensor product as described by Kashiwara and Nakashima, Journal of Algebra 165, were implemented for crystal graphs.

MikeHansen: Anne Schilling will be at SD7 on the coding sprint days, and I plan to spend at least one of them focusing on crystals.

Posets

Algorithms

  • Xin's partial fraction algorithm for MacMahon's partition analysis

Programs

Databases

days7/wishlist (last edited 2008-11-14 13:42:00 by anonymous)