Opened 10 years ago

Closed 10 years ago

Last modified 2 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: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Description (last modified by chapoton)

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 10 years ago.
trac_6138-categories-symmetric_group_algebra-6138-nt.patch (12.0 KB) - added by nthiery 10 years ago.
Updated patch fixes two missing doctests (apply only this one)

Download all attachments as: .zip

Change History (8)

comment:1 Changed 10 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 10 years ago by hivert

  • Status changed from needs_review to positive_review

comment:3 follow-up: Changed 10 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 10 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 10 years ago by nthiery

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

comment:5 Changed 10 years ago by mhansen

  • Merged in set to sage-4.3.alpha0
  • Resolution set to fixed
  • Status changed from positive_review to closed

comment:6 Changed 2 years ago by chapoton

  • Description modified (diff)
  • Report Upstream set to N/A
Note: See TracTickets for help on using tickets.