#16465: Category of classes of combinatorial structures
-------------------------------------+-------------------------------------
       Reporter:  elixyre            |        Owner:
           Type:  enhancement        |       Status:  new
       Priority:  major              |    Milestone:  sage-6.3
      Component:  categories         |   Resolution:
       Keywords:  combinatorics      |    Merged in:
        Authors:  Jean-Baptiste      |    Reviewers:
  Priez                              |  Work issues:
Report Upstream:  N/A                |       Commit:
         Branch:                     |  16685a3be9c5deee1b76dddc2adbe33a10d1ad94
  u/elixyre/ticket/16465             |     Stopgaps:
   Dependencies:                     |
-------------------------------------+-------------------------------------

Comment (by mantepse):

 Replying to [comment:2 elixyre]:
 > I don't have (especially) problem with the species framework. I have a
 problem with how to implement a class of combinatorial structures.

 > The current way to do that consist in copy-paste a file like
 `sage.combinat.binay_trees.py` with some obscurs lines then adapt the
 code.

 I really would like to improve the usability of the species code, to make
 this task simpler.  But I do not yet understand: `binary_trees.py' does
 not define a species, does it?

 > I want use a species as a parent and I want define more sophisticate
 structures with its elements.

 Hm.  What I'd like to see is a simple way to turn any given parent (eg.
 `BinaryTree') into a species simply by providing the action of the
 symmetric group.  But I think it's a really bad idea to have something
 like "species" and something like "combinatorial structures" side by side.

 > Furthermore, a set partition, a permutation, ... are structures of a
 species. It would be nice to merge the module `sage.combinat.species`.
 (That will be a second patch...).

 I'm not sure if I understand.

 > About #16137, it seems to me your patch treats generating series but not
 about the framework of structures

 quite right.  however, it's holding me up from implementing multivariate
 species, which are necessary to deal with most interesting structures.

 I admit that my second big holdup is that I find python a very very very
 difficult language.

 Martin

--
Ticket URL: <http://trac.sagemath.org/ticket/16465#comment:6>
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 unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.

Reply via email to