#17096: Implement categories for filtered algebras
-------------------------------------+-------------------------------------
Reporter: tscrim | Owner: tscrim
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-6.4
Component: categories | Resolution:
Keywords: filtered algebras | Merged in:
Authors: Travis Scrimshaw | Reviewers:
Report Upstream: N/A | Work issues: comment:60 todo list
Branch: | Commit:
public/categories/filtered_algebras-17096|
752df7798b2ae6b9afc60528227b4e88c745fae9
Dependencies: | Stopgaps:
-------------------------------------+-------------------------------------
Changes (by darij):
* work_issues: => comment:60 todo list
Comment:
About why I think `FilteredModulesWithBasis` needs a contract:
Here are the methods on `F` that are used in the implementations of the
methods of `FilteredModulesWithBasis` when `F` is cast as a
`FilteredModulesWithBasis`:
{{{
ParentMethods:
degree_on_basis
sum_of_terms
monomial
_indices
ElementMethods:
support
leading_support
is_homogeneous
is_zero
}}}
I hear the quacking of a `CombinatorialFreeModule` duck here (except for
`degree_on_basis` which should be explicitly required). Are there any more
general categories which offer these methods?
--
Ticket URL: <http://trac.sagemath.org/ticket/17096#comment:77>
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.
