Opened 8 years ago
Closed 7 years ago
#6138 closed enhancement (fixed)
SymmetricGroupAlgebra: updates w.r.t. categories and free modules
Reported by: | nthiery | Owned by: | nthiery |
---|---|---|---|
Priority: | major | Milestone: | sage-4.3 |
Component: | combinatorics | Keywords: | symmetric group, free module |
Cc: | sage-combinat | Merged in: | sage-4.3.alpha0 |
Authors: | Nicolas M. Thiéry | Reviewers: | Florent Hivert |
Report Upstream: | Work issues: | ||
Branch: | Commit: | ||
Dependencies: | Stopgaps: |
Description (last modified by )
The goal of the patch is to adapt SymmetricGroupAlgebra? to categories and to add some improvements. The patch improve SymmetricGroupAlgebra? in two ways:
- SymmetricGroupAlgebra? is now in the category FiniteDimensionalAlgebraWithBasis?. Note: A forthcomming patch from Valentin Feray will put it in the correct GroupAlgebras? category;
- When creating SGA(n) a coercion from SGA(n-1) is declared.
I'm submitting the patch on behalf on Nicolas after reviewing it.
Depends on the categories framework #5891, #6136.
Cheers,
Florent
Attachments (2)
Change History (7)
Changed 7 years ago by
comment:1 Changed 7 years ago by
- Description modified (diff)
- Reviewers set to Florent Hivert
- Status changed from new to needs_review
comment:2 Changed 7 years ago by
- Status changed from needs_review to positive_review
comment:3 follow-up: ↓ 4 Changed 7 years ago by
comment:4 in reply to: ↑ 3 Changed 7 years ago by
Replying to mhansen:
For this, isn't it possible to lazily add the coercion using coerce_map_from?
Probably so. It would be best handled by some "templated coercion declarations", as I had started to implement in MuPAD. Let's just leave it as is for the moment, until we have enough use cases to come up with the right design.
comment:5 Changed 7 years ago by
- Merged in set to sage-4.3.alpha0
- Resolution set to fixed
- Status changed from positive_review to closed
For this, isn't it possible to lazily add the coercion using coerce_map_from?