#14347: Implement group cycle indices
----------------------------------------+-----------------------------------
Reporter: agd | Owner: agd
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-5.11
Component: combinatorics | Resolution:
Keywords: cycle index, species | Work issues: coverage, doctest
Report Upstream: N/A | Reviewers:
Authors: Andrew Gainer-Dewar | Merged in:
Dependencies: #14751 | Stopgaps:
----------------------------------------+-----------------------------------
Old description:
> Let G be a group. A G-cycle index is a map from G to the ring of cycle
> index series. These objects are useful for enumerating G-species (species
> equipped with an equivariant G-action), where they serve a role analogous
> to the cycle indices of species.
>
> This patch offers an implementation of G-cycle indices with their most
> important algebraic features (sum, product, and composition/plethysm).
> (The plethysm of G-cycle indices is defined in a funny way that really
> depends on having access to the whole G-cycle index at once; otherwise,
> there wouldn't be much point in having this code.)
>
> This code is (believed to be) complete and functional. It could use a bit
> of attention of someone who understand the coersion system better than I
> do, though.
>
> Apply [attachment:trac_14347_group_cycle_index_series.patch]
New description:
Let G be a group. A G-cycle index is a map from G to the ring of cycle
index series. These objects are useful for enumerating G-species (species
equipped with an equivariant G-action), where they serve a role analogous
to the cycle indices of species.
This patch offers an implementation of G-cycle indices with their most
important algebraic features (sum, product, and composition/plethysm).
(The plethysm of G-cycle indices is defined in a funny way that really
depends on having access to the whole G-cycle index at once; otherwise,
there wouldn't be much point in having this code.)
This code is (believed to be) complete and functional. It could use a bit
of attention of someone who understand the coersion system better than I
do, though.
--
Comment (by agd):
Patchbot is still trying to apply both patches. Trying instruction again:
Apply [attachment:trac_14347_group_cycle_index_series.patch]
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/14347#comment:18>
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/groups/opt_out.
