#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 Priez | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
Dependencies: | Stopgaps:
---------------------------------------+------------------------
Comment (by 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.
My patch (when I would tame git) will propose a simple framework to design
a class of (combinatorial) structures.
My opinion about species of structures is a species is a class of
combinatorial structures! That is a class of combinatorial structures with
some specific "method": transport of structures, isomophism types, cycle
index series... so in the best of worlds, I want use a species as a parent
and I want define more sophisticate structures with its elements.
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...).
About #16137, it seems to me your patch treats generating series but not
about the framework of structures, so that is not directly linked.
Nowadays, I am not convinced by sage to compute generating series... There
exists a deterministic way to define and extract some coefficients in a
generating series?? I believe users don't have to learn a new tool to do
compute something so `LazyPowerSeries`, `SymbolicRing` or whatever must be
integrated in an unique manner in sage which one is user friendly...
--
Ticket URL: <http://trac.sagemath.org/ticket/16465#comment:2>
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.
