#16926: Merge the features of SymmetricGroupAlgebra and SymmetricGroup.algebra
---------------------------------+------------------------
Reporter: nthiery | Owner:
Type: enhancement | Status: new
Priority: major | Milestone: sage-6.4
Component: combinatorics | Resolution:
Keywords: | Merged in:
Authors: | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
Dependencies: | Stopgaps:
---------------------------------+------------------------
Description changed by nthiery:
Old description:
> We have different implementations of the algebra of the symmetric group,
> and more may come in the future:
> - `SymmetricGroupAlgebra(K, n)`
> - `SymmetricGroup(n).algebra(K)`
> - `WeylGroup(['A',3]).algebra(K)`
> - ...
>
> They mostly differ in how the elements of the symmetric group are
> represented, and each representation can have its advantage depending on
> the application in mind. So it's fine to keep them all. On the other
> hand, currently only the first one makes use of the special features of
> the symmetric group. Here is a plan to share those features across all
> implementations:
>
> Create a category `SymmetricGroups`. Put the relevant groups in this
> category.
>
> Generalize the features (Yucis-Murphy elements, ...) from
> `SymmetricGroupAlgebra` to the category `SymmetricGroups.Algebras`.
>
> Put `SymmetricGroupAlgebra` in this category, and strip away all the code
> that is not needed anymore.
>
> Volunteers?
New description:
We have different implementations of the algebra of the symmetric group,
and more may come in the future:
- `SymmetricGroupAlgebra(K, n)`
- `SymmetricGroup(n).algebra(K)`
- `WeylGroup(['A',3]).algebra(K)`
- ...
They mostly differ in how the elements of the symmetric group are
represented, and each representation can have its advantage depending on
the application in mind. So it's fine to keep them all. On the other hand,
currently only the first one makes use of the special features of the
symmetric group. Here is a plan to share those features across all
implementations:
Create a category `SymmetricGroups`. Put the relevant groups in this
category.
Generalize the features (Yucis-Murphy elements, ...) from
`SymmetricGroupAlgebra` to the category `SymmetricGroups.Algebras`.
Put `SymmetricGroupAlgebra` in this category, and strip away all the code
that is not needed anymore.
Cross ref the different implementations in the documentation.
Volunteers?
--
--
Ticket URL: <http://trac.sagemath.org/ticket/16926#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 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.
