#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:
---------------------------------+-----------------------------
Changes (by tscrim):
* cc: darij (added)
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
>
> - #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`
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 `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`.
--
--
Ticket URL: <http://trac.sagemath.org/ticket/10673#comment:7>
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/d/optout.
