Diff for "days40_projects"

Differences between revisions 2 and 23 (spanning 21 versions)

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 Shimozono, 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

(trac #12251, positive review)

Anne Schilling, Mark Shimozono, Julie, Dan Bump, Ben Brubaker, Arthur Lubovsky

Get people in Sage

Dan Drake, Nicolas Thiery, Gregg Musiker, Franco Saliola

Quiver representations

Gregg Musiker, Peter Webb, Franco Saliola, Charles Paquette, Alex Fink, Julie, Al Garver, Emily Gunawan

Clusters algebras from surfaces

Gregg Musiker, 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.)

Could you please poset the trac ticket number here? I am very interested to see your work (Anne).

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 trac #6102

cohomology operations

how to represent (co-)homology classes? trac #6100

links (already done)

stars

Cohen-Macalaulay (trac #11523, needs review)

Fundamental Group (should not be too hard, using the code from trac #12339)

is_shifted

is_pseudo-manifold (trac #13226, needs review)

triangulate complex projective space (research problem; see mathoverflow)

chain complexes:

fix bug for map induced by map of simplicial complexes: see trac #13220, needs review, should be easy to review.
induced map on homology (high priority) trac #6101
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 (trac #12251, positive review), (trac #13224, positive review) (trac #13222, positive review)

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 trac #7477 and/or the Google group sage-matroid. -- Jeremy

-  ⇤ ← Revision 2 as of 2012-07-09 21:43:10 → 
  Size: 2883
  Editor: nthiery
  Comment:
+   ← Revision 23 as of 2012-07-11 20:16:23 → ⇥
  Size: 5860
  Editor: jhpalmieri
  Comment:
-Deletions are marked like this.
+Additions are marked like this.
 Line 15:
-Anne Schilling
Mike Zabrocki
+Anne Schilling,
Mike Zabrocki,
 Line 21:
+Ben Hutz
 Line 27:
-Mark
+Mark Shimozono,
 Line 38:
-Anne Schilling
Mike Zabrocki
John
+Anne Schilling,
Mike Zabrocki,
John,
 Line 51:
-Anne Schilling
Mark
Julie
Dan Ben
Arthur
+(`trac #12251 <http://trac.sagemath.org/sage_trac/ticket/12251>`_, positive review)

Anne Schilling,
Mark Shimozono,
Julie,
Dan Bump, Ben Brubaker,
Arthur Lubovsky
-Line 60:
+Line 62:
-Dan
Nicolas
Gregg
Franco
+Dan Drake,
Nicolas Thiery,
Gregg Musiker,
Franco Saliola
-Line 68:
+Line 70:
-Gregg
Peter Webb
Franco Saliola
Charles Paquette
Alex Fink
Julie
Al Gerver
+Gregg Musiker,
Peter Webb,
Franco Saliola,
Charles Paquette,
Alex Fink,
Julie,
Al Garver,
Emily Gunawan
-Line 79:
+Line 82:
-Gregg
Al Gerver
Weiwen Gu
Emily
+Gregg Musiker,
Al Garver,
Weiwen Gu,
Emily Gunawan
-Line 87:
+Line 90:
-- contract edges / vertices

  Jeremy L. Martin
  Anne Schilling
  Tom
+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.)

Could you please poset the trac ticket number here? I am very
interested to see your work (Anne).

  Jeremy L. Martin,
  Anne Schilling,
  Tom,
-Line 96:
+Line 106:
-Kevin
+Kevin,
-Line 105:
+Line 115:
-Jessica Striker
Jeremy
John^2
Charles?
Kevin
Thomas
+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 `trac #6102 <http://trac.sagemath.org/sage_trac/ticket/6102>`_

cohomology operations

how to represent (co-)homology classes? `trac #6100 <http://trac.sagemath.org/sage_trac/ticket/6100>`_

links (already done)

stars

Cohen-Macalaulay (`trac #11523 <http://trac.sagemath.org/sage_trac/ticket/11523>`_, needs review)

Fundamental Group (should not be too hard, using the code from `trac #12339 <http://trac.sagemath.org/sage_trac/ticket/12339>`_)

is_shifted

is_pseudo-manifold (`trac #13226 <http://trac.sagemath.org/sage_trac/ticket/13226>`_, needs review)

triangulate complex projective space (research problem; see `mathoverflow <http://mathoverflow.net/questions/20664/why-is-complex-projective-space-triangulable>`_)

chain complexes:

- fix bug for map induced by map of simplicial complexes: see `trac #13220 <http://trac.sagemath.org/sage_trac/ticket/13220>`_, needs review, should be easy to review.
- induced map on homology (high priority) `trac #6101 <http://trac.sagemath.org/sage_trac/ticket/6101>`_
- mapping cone
- tensor product
- Tot of a bicomplex
- filtered chain complexes and the associated spectral sequence?
-Line 115:
+Line 199:
-Peter webb
+Peter Webb,
-Line 126:
+Line 210:
-Franco
+Franco,
-Line 140:
+Line 224:
-Line 141:
+Line 226:
-Anne
+Anne (`trac #12251 <http://trac.sagemath.org/sage_trac/ticket/12251>`_, positive review),
(`trac #13224 <http://trac.sagemath.org/sage_trac/ticket/13224>`_, positive review)
(`trac #13222 <http://trac.sagemath.org/sage_trac/ticket/13222>`_, positive review)
-Line 143:
+Line 232:
+Gregg
-Line 149:
+Line 241:
-Alex
Drew
Thomas
+Alex,
Drew,
Thomas,
-Line 160:
+Line 252:
-Mark
Nicolas
Anne
Dan
Ben
+Mark,
Nicolas,
Anne,
Dan,
Ben,
-Line 170:
+Line 262:
-Nicolas
+Nicolas,
-Line 176:
+Line 268:
-Mark
Alex
Nicolas
Kaisa
Yas
+Mark,
Alex,
Nicolas,
Kaisa,
Yasuhide,
-Line 187:
+Line 279:
-Alex Csar
Tom Denton
+Alex Csar,
Tom Denton,
-Line 194:
+Line 286:
-Chris
Mike
Holly
Dorota
Franco
+Chris,
Mike,
Holly,
Dorota,
Franco,
-Line 207:
+Line 299:
-Interface to gfan
=================

Marshall
+Interface to Gfan and version update
====================================

Marshall Hampton
-Line 217:
+Line 309:
+Matroids
========

Jeremy
Vic

I learned that there is a matroid project well underway already: see `trac #7477 <http://trac.sagemath.org/sage_trac/ticket/7477>`_ and/or the Google group `sage-matroid <https://groups.google.com/group/sage-matroid>`_. -- Jeremy