#10662: Roadmap for combinatorial species and decomposable classes
-----------------------------+----------------------------------------------
   Reporter:  nthiery        |       Owner:  sage-combinat
       Type:  task           |      Status:  new          
   Priority:  minor          |   Milestone:  sage-wishlist
  Component:  combinatorics  |    Keywords:               
     Author:                 |    Upstream:  N/A          
   Reviewer:                 |      Merged:               
Work_issues:                 |  
-----------------------------+----------------------------------------------
 {{{
 !rst

 This is a meta ticket for tracking improvements on combinatorial
 Species and decomposable classes.

 Projects
 --------

 (TODO: create a ticket for each of them)

  - Port over the beautiful documentation on species of Aldor-Combinat

  - Support for my_species().structures() returning the decomposable
    class of all labelled structures for this species. Same thing for
    unlabelled classes

  - Support for weighted enumeration, as in MuPAD-Combinat

  - Support for the "Alias" feature of MuPAD-Combinat

  - Support for pluging in unlabelled and labelled enumerated sets
    into a species

  - Make labelled enumerated sets (i.e. enumerated sets which take a
    bunch of distinct labels as input) into species.

  - Add a module sage.combinat.species.labeled (and unlabelled)
    containing objects like Atom, Prod, Union, ... to almost emulate
    the syntax of combstruct/CS/decomposableObjects, while using
    species under the scene

  - Improve the user interface and error messages

  - Standalone Python library containing just what is needed for simple
    species

  - Generation of C code? Probably not needed anymore

  - Random generation (based on counting, or Boltzman)

  - Ranking/unranking

 Related Tickets
 ---------------

 #3665, #5512, #10227, #6630

 Related Software
 ----------------

  - Maple: combstruct
  - MuPAD: CS and then combinat::decomposableObjects in MuPAD-Combinat
  - Aldor/Axiom: http://www.risc.uni-
 linz.ac.at/people/hemmecke/aldor/combinat/

 See http://arxiv.org/abs/0912.2619 p. 64 for some historical and
 design notes.

 }}}

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/10662>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica, 
and MATLAB

-- 
You received this message because you are subscribed to the Google Groups 
"sage-trac" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to 
[email protected].
For more options, visit this group at 
http://groups.google.com/group/sage-trac?hl=en.

Reply via email to