#10672: Categories for FreeModule's
------------------------------------------------+--------------------------
Reporter: nthiery | Owner: nthiery
Type: enhancement | Status:
Priority: major | needs_review
Component: categories | Milestone: sage-5.12
Keywords: FreeModule, ModulesWithBasis | Resolution:
Authors: Travis Scrimshaw | Merged in:
Report Upstream: N/A | Reviewers:
Branch: | Work issues:
Dependencies: | Commit:
| Stopgaps:
------------------------------------------------+--------------------------
Comment (by nthiery):
Thanks for working on this! A big part of the ticket is in "and implement
all the related methods". The point is to have all the zillion little
utilities of ModulesWithBasis (term, monomial, sum_of_terms, leading_term,
__iter__, ...) also work for plain FreeModules.
My guess is that the main incompatibility that needs to be discussed is
about __iter__. Indeed, as far as I remember:
{{{
for x in v:
...
}}}
iterates over pairs for "Combinatorial" free modules(like a iteritems of
dictionaries), whereas it iterates over coefficients for plain free
modules. So we have to decide on which interface we want and how to handle
backward compatibility.
Cheers
Granted: ModulesWithBasis should have appropriate abstract methods and
tests so that, if an implementation does not provide the required methods,
the testsuite barks.
--
Ticket URL: <http://trac.sagemath.org/ticket/10672#comment:2>
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.
