Opened 7 years ago
Last modified 5 years ago
#13401 new enhancement
Implement alternative dense internal representation for CombinatorialFreeModule
Reported by: | nthiery | Owned by: | jason, was |
---|---|---|---|
Priority: | major | Milestone: | sage-6.4 |
Component: | linear algebra | Keywords: | days38, free module, CombinatorialFreeModule |
Cc: | sage-combinat, saliola | Merged in: | |
Authors: | Mathieu Guay-Paquet, Sean Carrell | Reviewers: | |
Report Upstream: | N/A | Work issues: | |
Branch: | Commit: | ||
Dependencies: | Stopgaps: |
Description
Recall that the (currently misnamed) CombinatorialFreeModule? implements free modules with basis indexed by any set of objects. The current internal representation is sparse. In small finite dimension, it would often be preferable to use a dense internal representation, for example, using a FreeModule? element.
A typical use case are root in systems, which are perused in the implementation of Coxeter/Weyl? groups, Weyl character rings, etc. We can expect that this ticket would yield a major speedup for all those applications.
Mathieu and Sean have started to work on a design document, and hope to work further on this in Fall 2012.
Change History (5)
comment:1 Changed 7 years ago by
- Cc saliola added
comment:2 Changed 6 years ago by
- Milestone changed from sage-5.11 to sage-5.12
comment:3 Changed 6 years ago by
- Milestone changed from sage-6.1 to sage-6.2
comment:4 Changed 6 years ago by
- Milestone changed from sage-6.2 to sage-6.3
comment:5 Changed 5 years ago by
- Milestone changed from sage-6.3 to sage-6.4