#10673: Roadmap for (Combinatorial)FreeModule
-----------------------------+----------------------------------------------
Reporter: nthiery | Owner: sage-combinat
Type: task | Status: new
Priority: major | Milestone: sage-wishlist
Component: combinatorics | Keywords:
Author: | Upstream: N/A
Reviewer: | Merged:
Work_issues: |
-----------------------------+----------------------------------------------
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()
>
> - #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
- Make FreeModule(base_ring, enumerated set) call CombinatorialFreeModule
Strongly related to #10672
- #10672: Put FreeModule in the category ModulesWithBasis()
- #10007: Enable deriving subclasses of FreeModule and FreeModuleElement
- #8933: Add submodule and quotient in ModuleWithBasis
- #9370: customize printing of elements in CombinatorialFreeModules
--
Comment(by nthiery):
Replying to [comment:2 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 #
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/10673#comment:4>
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 post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en.
