Opened 6 years ago

Last modified 21 months ago

#10673 new task

Roadmap for (Combinatorial)FreeModule

Reported by: nthiery Owned by: nthiery
Priority: major Milestone: sage-wishlist
Component: combinatorics Keywords:
Cc: jhpalmieri, darij Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Description (last modified by tscrim)

This is a meta ticket giving a road map for the cleanup of CombinatorialFreeModule

  • Provide an implementation of ModulesWithBasis using a FreeModule_sparse internally with a ranker (as was done in MuPAD)
  • #10671: Extend FreeModule(K, n, sparse=True) to accept n=infinity
  • Rename CombinatorialFreeModule to something more appropriate in sage.modules, and leave a temporary alias with deprecation warning for backward compatibility
  • #10671: Make FreeModule(base_ring, enumerated set) call CombinatorialFreeModule
  • #10672: Put FreeModule in the category ModulesWithBasis()
  • #10007: Enable deriving subclasses from FreeModule and FreeModuleElement
  • #8933: Add submodule and quotient in ModulesWithBasis (we currently have submodules)
  • #9370: customize printing of elements in CombinatorialFreeModules
  • #18066: Move methods from CombinatorialFreeModule to ModulesWithBasis.
  • #19346: Separate ABC of CombinatorialFreeModule from ModulesWithBasis.

Change History (7)

comment:1 Changed 6 years ago by nthiery

  • Description modified (diff)

comment:2 follow-up: Changed 6 years ago by nborie

I don't how how it is related to this roadmap but #10007 still make hard to mix current sage FreeModule?(...) and categories. As this kind of roadmap go further than my skills (English and overview of Sage), just mind this comment as a pointer to this last problem. Update the description if you think #10007 should do inside...

comment:3 Changed 6 years ago by jhpalmieri

  • Cc jhpalmieri added
  • Component changed from PLEASE CHANGE to combinatorics
  • Owner changed from tbd to sage-combinat

comment:4 in reply to: ↑ 2 Changed 6 years ago by nthiery

  • Description modified (diff)

Replying to nborie:

I don't how how it is related to this roadmap but #10007 still make hard to mix current sage FreeModule?(...) and categories. As this kind of roadmap go further than my skills (English and overview of Sage), just mind this comment as a pointer to this last problem. Update the description if you think #10007 should do inside...

Please go ahead and put #

comment:5 Changed 6 years ago by nthiery

  • Description modified (diff)
  • Owner changed from sage-combinat to nthiery

comment:6 Changed 4 years ago by tscrim

  • Description modified (diff)

Some thoughts for renaming CombinatorialFreeModule:

  • FreeModule_indexed
  • FreeModule_indexed_basis
  • IndexedFreeModule
  • FreeModuleIndexedBasis

comment:7 Changed 21 months ago by tscrim

  • Cc darij added
  • Description modified (diff)
Note: See TracTickets for help on using tickets.