#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:                 |  
-----------------------------+----------------------------------------------
Description changed by nthiery:

Old description:

> {{{
> !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.
>
> }}}

New description:

 {{{
 #!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#comment:1>
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