Opened 11 years ago

Last modified 7 weeks ago

#10673 new task

Meta-ticket: Roadmap for (Combinatorial)FreeModule

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

Status badges

Description (last modified by mkoeppe)

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
  • #30194: 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 (15)

comment:1 Changed 11 years ago by nthiery

  • Description modified (diff)

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

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

comment:6 Changed 9 years ago by tscrim

  • Description modified (diff)

Some thoughts for renaming CombinatorialFreeModule:

  • FreeModule_indexed
  • FreeModule_indexed_basis
  • IndexedFreeModule
  • FreeModuleIndexedBasis

comment:7 Changed 7 years ago by tscrim

  • Cc darij added
  • Description modified (diff)

comment:8 Changed 22 months ago by mkoeppe

  • Component changed from combinatorics to linear algebra
  • Summary changed from Roadmap for (Combinatorial)FreeModule to Meta-ticket: Roadmap for (Combinatorial)FreeModule

comment:9 Changed 22 months ago by mkoeppe

  • Milestone changed from sage-wishlist to sage-9.2

comment:10 Changed 21 months ago by mkoeppe

  • Milestone changed from sage-9.2 to sage-9.3

comment:11 Changed 21 months ago by mkoeppe

  • Description modified (diff)

comment:12 Changed 15 months ago by mkoeppe

  • Milestone changed from sage-9.3 to sage-9.4

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

comment:13 Changed 10 months ago by mkoeppe

  • Milestone changed from sage-9.4 to sage-9.5

comment:14 Changed 5 months ago by mkoeppe

  • Milestone changed from sage-9.5 to sage-9.6

comment:15 Changed 7 weeks ago by mkoeppe

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