Changes between Version 73 and Version 74 of SageCombinatRoadMap

Timestamp:

05/08/12 08:40:54 (13 months ago)

Author:

nthiery

Comment:

--

SageCombinatRoadMap

@@ -56 +56 @@
     * #9194: Expose and extend the thematic tutorial on symmetric functions
   * Multisymmetric Functions (Paul Bryan, Emmanuel Briand)
-  * #11929 (prototype): Implement quasi-symmetric functions (JasonBandlow, Franco Saliola, Chris Berg)
+  * #11929 (prototype): Implement quasi-symmetric functions (JasonBandlow, Franco Saliola, Chris Berg, Mike Zabrocki)
   * #8899 (prototype): Implement Non Commutative Symmetric Functions (JasonBandlow, Franco Saliola, Chris Berg, LenniTevlin, MikeZabrocki)
   * #11979 (prototype): Divided power algebras (Bruce)
   * (prototype) Implement Schubert polynomials (Viviane Pons, AdrienBoussicault, Nicolas Borie)
-  * #6889 (prototype): Invariant rings of permutation group
+  * #6889 (prototype): Invariant rings of permutation group (Nicolas Borie)
   * Implement more generic algorithms:
     * Antipode defined recursively
@@ -72 +72 @@
 * Monoids, algebras, and their representation theory:
   * Finite dimensional algebras:
-    * Decomposition of the center, construction of central idempotents (as in MuPAD-Combinat)
+    * Decomposition of the center, construction of minimal idempotents (as in MuPAD-Combinat)
     * Quiver, Cartan matrix, radical filtration (as in MuPAD-Combinat)
     * Depends on: #11111
   * Finite monoids and semigroups
     * #12914 (prototype): Representation theory of finite semigroups
+      (Franco, Tom, Anne, Florent, Nicolas)
     * #8360 (needs finalization) interface to Jean-Éric Pin's Semigroupe package
     * #12915: Interfaces to the GAP packages KBMag (and to Monoids, Citrus, ...)
@@ -122 +123 @@
     isomorphism with predefined cartan types (complex reflection group is harder)
   * #8327 (needs review): implement the universal cyclotomic field, using the Zumbroich basis (Christian Stump)
-  * Representations of Coxeter groups and Hecke algebras
+  * Representations of Coxeter groups and Hecke algebras (through pyCox, ...)
+    Geck, Franco, 
     * Port over the character tables
     * Representations/character tables of the Hecke algebras
@@ -181 +183 @@
 
 * Posets:
- * #12848: Bug in order_ideal_complement_generators: 'down'
+ * #12848: Bug in order_ideal_complement_generators: 'down' (Franco, Anne)
  * #12916: Dedekind-MacNeil completion of finite posets
  * Support for lazy/infinite posets
@@ -208 +210 @@
   * Interval exchange transforms
 
-Words and languages:
-  * Languages (Vincent Delecroix, ...)
+* Words and languages (Vincent Delecroix, Thierry Monteil, ...):
+  * Languages
+  * Categorification
 
 * Automorphic Forms, Combinatorial Representation Theory, and Multiple Dirichlet Series
@@ -216 +219 @@
   * Merge in Sage as many of our tutorials
     * Notebook and help (is this a tutorial or a primer?)
+    * Programming in Sage and Python
     * Calculus and Linear algebra
     * Combinatorics (to be taken from «Calcul Mathématique Avec Sage»)