Specifications

MuPAD-Combinat specifications discussion board

This place is for informal discussions about the specifications of various parts of MuPAD-Combinat. The bits that stabilize here ought to be moved to the MuPAD-Combinat documentation or design document:

• http://igd.univ-lyon1.fr/~~slc/wpapers/s51thiery.html
• http://mupad-combinat.sourceforge.net/doc/html

The Combinat? library

 *The SkewPartitions library
 *TypedTableaux: tableaux as typed objects
 *The Tableaux library and related ones for skew tableaux & such
 *The Generators library
 *Dynamic module BitSet for dealing with Sets/Graphs/Nauty
 *The subClass library
 *Trees
 *Graphs?
 *Posets
 *RootSystems
 *RiggedConfigurations

DomainsAndCategories?

 *Operads
 *ModuleWithSeveralBases

Interfaces with other software

 *InterfaceWithLinbox