#10673: Roadmap for (Combinatorial)FreeModule
---------------------------------+-----------------------------
Reporter: nthiery | Owner: nthiery
Type: task | Status: new
Priority: major | Milestone: sage-wishlist
Component: combinatorics | Resolution:
Keywords: | Merged in:
Authors: | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
Dependencies: | Stopgaps:
---------------------------------+-----------------------------
Old description:
> 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
>
> - Make FreeModule(base_ring, enumerated set) call
> CombinatorialFreeModule
> Strongly related to #10672
>
> - #10672: Put FreeModule in the category ModulesWithBasis()
> - #10007: Enable deriving subclasses from FreeModule and
> FreeModuleElement
> - #8933: Add submodule and quotient in ModuleWithBasis
>
> - #9370: customize printing of elements in CombinatorialFreeModules
New description:
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 `ModuleWithBasis`
- #9370: customize printing of elements in `CombinatorialFreeModules`
--
Comment (by tscrim):
Some thoughts for renaming `CombinatorialFreeModule`:
- `FreeModule_indexed`
- `FreeModule_indexed_basis`
- `IndexedFreeModule`
- `FreeModuleIndexedBasis`
--
Ticket URL: <http://trac.sagemath.org/ticket/10673#comment:6>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/groups/opt_out.
