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 hivert)

The goal of the patch is to adapt SymmetricGroupAlgebra? to categories and to add some improvements. The patch improve SymmetricGroupAlgebra? in two ways:

  • 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)

categories-symmetric_group_algebra-6138-nt.patch (10.7 KB) - added by hivert 7 years ago.
trac_6138-categories-symmetric_group_algebra-6138-nt.patch (12.0 KB) - added by nthiery 7 years ago.
Updated patch fixes two missing doctests (apply only this one)

Download all attachments as: .zip

Change History (7)

comment:1 Changed 7 years ago by hivert

  • Authors set to Nicolas M. Thiéry
  • Description modified (diff)
  • Reviewers set to Florent Hivert
  • Status changed from new to needs_review

comment:2 Changed 7 years ago by hivert

  • Status changed from needs_review to positive_review

comment:3 follow-up: Changed 7 years ago by mhansen

For this, isn't it possible to lazily add the coercion using coerce_map_from?

comment:4 in reply to: ↑ 3 Changed 7 years ago by nthiery

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.

Changed 7 years ago by nthiery

Updated patch fixes two missing doctests (apply only this one)

comment:5 Changed 7 years ago by mhansen

  • Merged in set to sage-4.3.alpha0
  • Resolution set to fixed
  • Status changed from positive_review to closed
Note: See TracTickets for help on using tickets.