4681
Comment:
|
4725
|
Deletions are marked like this. | Additions are marked like this. |
Line 138: | Line 138: |
Line 184: | Line 185: |
- induced map on homology (high priority) | |
Line 187: | Line 189: |
- filtered chain complexes and the associated spectral sequence? | - filtered chain complexes and the associated spectral sequence? |
Sage Days 40 Coding Sprint Projects
For the main Sage Days 40 wiki page go here.
Below is a list of proposed projects.
Refactoring and extensions to symmetric functions / KSchur
Anne Schilling Mike Zabrocki Dorota
Arithmetic dynamics & symmetric functions
Ben Hutz
Grothendieck polynomials / ...
Kaisa / Nicolas; checking out with Viviane's code Mark Jessica Striker
Alternating sign matrices
Jessica Striker
Refactoring and extensions to Hopf algebras
Anne Schilling Mike Zabrocki John Franco
Hopf algebras on graphs
Jeremy
Crystals
Anne Schilling Mark Julie Dan Ben Arthur
Get people in Sage
Dan Nicolas Gregg Franco
Quiver representations
Gregg Peter Webb Franco Saliola Charles Paquette Alex Fink Julie Al Garver Emily Gunawan
Clusters algebras from surfaces
Gregg Al Garver Weiwen Gu Emily Gunawan
Graphs
Status as of Wednesday: Jeremy wrote some code to contract edges, check whether an edge is a cut-edge, and compute the Tutte polynomial. Lauren and Matt are beta-testing it. (It also needs commenting, examples, etc.)
Jeremy L. Martin Anne Schilling Tom Lauren
- Tutte Polynomial
Kevin Thomas
Posets & Simplicial complexes
Demo including facade posets: Kim Vic
Jessica Striker Jeremy John^2 Charles? Kevin Thomas Alex Csar?
Wish List
Posets:
is_modular - Alex Csar
is_atomic
is_semimodular - Alex Csar
adding functionality to poset elements
iterate over lattices
zeta, order, characteristic polynomials
more examples of posets
- Young diagrams - Kevin
- Semistandard tableaux - Jessica/Julie
graph_editor
disjoint union
ordinal sum
product
interval posets
make dual poset function work properly for lattices (it seems to break the join)
Simplicial Complexes:
Shellability
G-posets - homology modules
H_*(-, R), H^*(-, R) when R is neither Z nor a field
cup products
cohomology operations
how to represent (co-)homology classes?
links (already done)
stars
Cohen-Macalaulay (http://trac.sagemath.org/sage_trac/ticket/11523)
Fundamental Group
is_shifted
is_pseudo-manifold (http://trac.sagemath.org/sage_trac/ticket/13226 -- needs review)
triangulate complex projective space (research problem; see also http://mathoverflow.net/questions/20664/why-is-complex-projective-space-triangulable)
chain complexes:
- induced map on homology (high priority)
- mapping cone
- tensor product
- Tot of a bicomplex
- filtered chain complexes and the associated spectral sequence?
Topological structures & categories & their reps
Peter webb John
Sage Documentation
John
Graded Algebras
Franco John
Partition algebras and their reps
George
Get my patches into Sage
Nicolas Franco Anne Dan Gregg ...
Review of what's missing from Stembridge's packages
Alex Drew Thomas Kevin
Extended Affine hecke algebras / weyl groups
Non symmetric Macdonald polynomials & friends in general types
Mark Nicolas Anne Dan Ben Daniel
Sagetex
Nicolas Dan
Schubert Calculus
Mark Alex Nicolas Kaisa Yasuhide Tom
Integration of (affine) symmetric group and Coxeter groups
Alex Csar Tom Denton Holly
NCSF/QSYM
Chris Mike Holly Dorota Franco Nicolas?
Statistics on permutations
Kim2
Interface to Gfan and version update
Marshall Hampton
Complex reflexion groups
Alex Miller
Matroids
Jeremy Vic
I learned that there is a matroid project well underway already: see [[http://trac.sagemath.org/sage_trac/ticket/7477|the trac ticket]] and/or [[https://groups.google.com/group/sage-matroid|the Google group]]. -- Jeremy