Diff for "days40_projects"

Differences between revisions 22 and 36 (spanning 14 versions)

Sage Days 40 Coding Sprint Projects

For the main Sage Days 40 wiki page go here.

Below is a list of proposed projects.

Symmetric functions and Hopf algebras

Refactoring and extensions to symmetric functions / KSchur

Anne Schilling, Mike Zabrocki, Dorota

See also the review of Stembridge's packages below

Arithmetic dynamics & symmetric functions

Ben Hutz

Refactoring and extensions to Hopf algebras

Anne Schilling, Mike Zabrocki, John, Franco

Graded Algebras

Franco, John

Hopf algebras on graphs

Jeremy

NCSF/QSYM

Chris, Mike, Holly, Dorota, Franco, Nicolas?

Partition algebras and their reps

George

Quiver representations

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

User stories:

Clusters algebras from surfaces

Gregg Musiker, Al Garver, Weiwen Gu, Emily Gunawan

Combinatorics

Alternating sign matrices

Jessica Striker

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

Review of what's missing from Stembridge's packages

Alex, Drew, Thomas, Kevin

Posets & Simplicial complexes

Demo including facade posets: Kim Vic

Jessica Striker, Jeremy, John^2, Charles?, Kevin, Thomas, Alex Csar?

Wish List:

is_modular - Alex Csar
is_atomic - Alex Csar
is_semimodular - Alex Csar

adding functionality to poset elements--what does this mean?
iterate over lattices
zeta, order, characteristic polynomials

characteristic polynomial done naively
zeta polynomial from Stembridge's posets code
W polynomial coming--relabel the poset and then look at permutations

more examples of posets

Young diagrams - Kevin
Semistandard tableaux - Jessica/Julie
interval posets

graph_editor
disjoint union, ordinal sum, product
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-Macaulay (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, positive 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

Coxeter groups, Hecke algebras, Crystals, ...

Crystals

(trac #12251, positive review)

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

Extended Affine hecke algebras / weyl groups

Non symmetric Macdonald polynomials & friends in general types

Mark, Nicolas, Anne, Dan, Ben, Daniel

Integration of (affine) symmetric group and Coxeter groups

Alex Csar, Tom Denton, Holly

Complex reflexion groups

Alex Miller

Schubert Calculus

Mark, Alex, Nicolas, Kaisa, Yasuhide, Tom

Grothendieck polynomials / ...

Kaisa / Nicolas; checking out with Viviane's code Mark Shimozono, Jessica Striker

Statistics on permutations

Kim2

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

Sage Documentation

John:

build the documentation in parallel (trac #6495) needs review
use MathJax by default when building the documentation (trac #13143) needs review

Sagetex

Nicolas, Dan

Misc

Get my patches into Sage

Nicolas, Franco, Dan, Gregg

Anne (trac #12251, positive review), (trac #13224, positive review) (trac #13222, positive review)

Interface to Gfan and version update

Marshall Hampton

$http://garsia.math.yorku.ca/~zabrocki/pics/sagedays40.jpg$

-  ⇤ ← Revision 22 as of 2012-07-11 19:16:23 → 
  Size: 5671
  Editor: aschilling
  Comment:
+   ← Revision 36 as of 2012-07-19 11:43:39 → ⇥
  Size: 6536
  Editor: zabrocki
  Comment:
-Deletions are marked like this.
+Additions are marked like this.
 Line 12:
+Symmetric functions and Hopf algebras
=====================================
-Line 13:
+Line 16:
-==========================================================
+----------------------------------------------------------
-Line 19:
+Line 22:
+See also the review of Stembridge's packages below
-Line 23:
+Line 28:
-Grothendieck polynomials / ...
==============================

Kaisa / Nicolas; checking out with Viviane's code
Mark Shimozono,
Jessica Striker

Alternating sign matrices
=========================

Jessica Striker
-Line 36:
+Line 29:
-===========================================
+-------------------------------------------
-Line 43:
+Line 36:
+Graded Algebras
---------------

Franco,
John
-Line 48:
+Line 46:
-Crystals
========

(`trac #12251 <http://trac.sagemath.org/sage_trac/ticket/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
+NCSF/QSYM
---------

Chris,
Mike,
Holly,
Dorota,
Franco,
Nicolas?

Partition algebras and their reps
---------------------------------

George
-Line 79:
+Line 73:
+User stories__: 

__ attachment:quiver_representations.sage
-Line 87:
+Line 85:
+Combinatorics
=============

Alternating sign matrices
-------------------------

Jessica Striker
-Line 88:
+Line 94:
-======
+------
-Line 109:
+Line 115:
+Review of what's missing from Stembridge's packages
---------------------------------------------------

Alex, Drew, Thomas, Kevin
-Line 110:
+Line 121:
-=============================
+-----------------------------
-Line 124:
+Line 135:
-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)
+Wish List:

* is_modular - Alex Csar
* is_atomic - Alex Csar
* is_semimodular - Alex Csar

- adding functionality to poset elements--what does this mean?
- iterate over lattices
- zeta, order, characteristic polynomials

 * characteristic polynomial done naively
 * zeta polynomial from Stembridge's posets code
 * W polynomial coming--relabel the poset and then look at permutations

- more examples of posets

 * Young diagrams - Kevin
 * Semistandard tableaux - Jessica/Julie
 * interval posets

- graph_editor
- disjoint union, ordinal sum, product
- make dual poset function work properly for lattices (it seems to break the join)
-Line 167:
+Line 168:
-cup products
+cup products `trac #6102 <http://trac.sagemath.org/sage_trac/ticket/6102>`_
-Line 171:
+Line 172:
-how to represent (co-)homology classes?
+how to represent (co-)homology classes? `trac #6100 <http://trac.sagemath.org/sage_trac/ticket/6100>`_
-Line 177:
+Line 178:
-Cohen-Macalaulay (`trac #11523 <http://trac.sagemath.org/sage_trac/ticket/11523>`_, needs review)
+Cohen-Macaulay (`trac #11523 <http://trac.sagemath.org/sage_trac/ticket/11523>`_, needs review)
-Line 189:
+Line 190:
-- 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)
+- fix bug for map induced by map of simplicial complexes: see `trac #13220 <http://trac.sagemath.org/sage_trac/ticket/13220>`_, positive review.
- induced map on homology (high priority) `trac #6101 <http://trac.sagemath.org/sage_trac/ticket/6101>`_
-Line 202:
+Line 203:
+Coxeter groups, Hecke algebras, Crystals, ...
=============================================

Crystals
--------

(`trac #12251 <http://trac.sagemath.org/sage_trac/ticket/12251>`_, positive review)

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

Extended Affine hecke algebras / weyl groups
--------------------------------------------

Non symmetric Macdonald polynomials & friends in general types

Mark, Nicolas, Anne, Dan, Ben, Daniel

Integration of (affine) symmetric group and Coxeter groups
----------------------------------------------------------

Alex Csar, Tom Denton, Holly

Complex reflexion groups
------------------------

Alex Miller

Schubert Calculus
-----------------

Mark, Alex, Nicolas, Kaisa, Yasuhide, Tom

Grothendieck polynomials / ...
------------------------------

Kaisa / Nicolas; checking out with Viviane's code
Mark Shimozono,
Jessica Striker


Statistics on permutations
--------------------------

Kim2

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
-Line 205:
+Line 261:
-John

Graded Algebras
===============

Franco,
John

Partition algebras and their reps
=================================

George
+John: 

- build the documentation in parallel (`trac #6495 <http://trac.sagemath.org/sage_trac/ticket/6495>`_) needs review
- use MathJax by default when building the documentation (`trac #13143 <http://trac.sagemath.org/sage_trac/ticket/13143>`_) needs review

Sagetex
-------

Nicolas,
Dan

Misc
====
-Line 221:
+Line 276:
-========================

Nicolas

Franco
+------------------------

Nicolas, Franco, Dan, Gregg
-Line 231:
+Line 284:
-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
-Line 304:
+Line 289:
-Complex reflexion groups
========================

Alex Miller

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
-Line 317:
+Line 290:
+{{http://garsia.math.yorku.ca/~zabrocki/pics/sagedays40.jpg}}