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 saliola

  • Cc saliola added

comment:2 Changed 6 years ago by jdemeyer

  • Milestone changed from sage-5.11 to sage-5.12

comment:3 Changed 6 years ago by vbraun_spam

  • Milestone changed from sage-6.1 to sage-6.2

comment:4 Changed 6 years ago by vbraun_spam

  • Milestone changed from sage-6.2 to sage-6.3

comment:5 Changed 5 years ago by vbraun_spam

  • Milestone changed from sage-6.3 to sage-6.4
Note: See TracTickets for help on using tickets.