Meta-ticket: Roadmap for (Combinatorial)FreeModule

[nthiery]

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)

• Extend FreeModule(K,n,sparse=True) to accept n=infinity #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

• Extend FreeModule factory to construction of FiniteRankFreeModule and CombinatorialFreeModule #30194: Make FreeModule(base_ring, enumerated set) call CombinatorialFreeModule

• Categories for FreeModule's #10672: Put FreeModule in the category ModulesWithBasis()

• Enable deriving subclasses from FreeModule and FreeModuleElement #10007: Enable deriving subclasses from FreeModule and FreeModuleElement

• Add submodule and quotient in ModuleWithBasis #8933: Add submodule and quotient in ModulesWithBasis (we currently have submodules)

• customize printing of elements in CombinatorialFreeModules #9370: customize printing of elements in CombinatorialFreeModules

• Cleanup of ModulesWithBasis and friends #18066: Move methods from CombinatorialFreeModule to ModulesWithBasis.

• Meta-ticket: Modules with basis: We need to separate ABC from implementation #19346: Separate ABC of CombinatorialFreeModule from ModulesWithBasis.

CC: @jhpalmieri @darijgr

Component: linear algebra

Issue created by migration from https://trac.sagemath.org/ticket/10673

[sagetrac-nborie]

comment:2

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...

[nthiery]

comment:4

Replying to @sagetrac-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 #

[tscrim]

comment:6

Some thoughts for renaming CombinatorialFreeModule:

• FreeModule_indexed
• FreeModule_indexed_basis
• IndexedFreeModule
• FreeModuleIndexedBasis

[mkoeppe]

comment:12

Setting new milestone based on a cursory review of ticket status, priority, and last modification date.