refresh Symmetric Group representations

[fchapoton]

as part of #12913

to get rid of CombinatorialClass

CC: @tscrim

Component: combinatorics

Author: Frédéric Chapoton, Travis Scrimshaw

Branch/Commit: e6bfc93

Reviewer: Travis Scrimshaw, Frédéric Chapoton

Issue created by migration from https://trac.sagemath.org/ticket/31079

[fchapoton]

Commit: 856fa06

[fchapoton]

comment:1

Here is a first tentative, still failing. Needs help for investigating.

---

New commits:

856fa06

first work on symmetric group representations

[fchapoton]

Branch: public/ticket/31079

[tscrim]

comment:2

You need to pass the parent to construct the representation/element. The generic parent SymmetricGroupRepresentations_class does not know about what the default ring should be. This is something set by the subclasses. I see two options:

1 - Implement a proper parent/element system with rewriting the (internal) construction paths to use P.element_class for the appropriate parent P.
2 - Just pass the correct object during the call of SymmetricGroupRepresentation.

1 takes more work, but it is the proper way to do it. 2 is quick and will work for now. I don't think 1 is too much more work, and I can do it if you want.

[fchapoton]

comment:3

Hello,
I am not sure that I am able to do either of what you propose. If you can, please do. Otherwise, I will try later.

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

6f5da42

Putting symmetric group reprs fully into the category framework.

[sagetrac-git]

Changed commit from 856fa06 to 6f5da42

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:

e6bfc93

Putting symmetric group reprs fully into the category framework.

[sagetrac-git]

Changed commit from 6f5da42 to e6bfc93

[tscrim]

Author: Frédéric Chapoton, Travis Scrimshaw

[tscrim]

comment:6

Okay, here is a working branch.

[tscrim]

Reviewer: Travis Scrimshaw, Frédéric Chapoton

[fchapoton]

comment:7

good, morally green bot and the changes looks good. I am setting to positive.

[vbraun]

Changed branch from public/ticket/31079 to e6bfc93