#5882: [with patch; needs work] implement general package for finitely generated
not-necessarily free R-modules
----------------------------+-----------------------------------------------
Reporter: was | Owner: was
Type: enhancement | Status: new
Priority: major | Milestone: sage-4.0.3
Component: linear algebra | Keywords:
Reviewer: Robert Miller | Author: William Stein
Merged: |
----------------------------+-----------------------------------------------
Comment(by jhpalmieri):
Random comments while various people (like rlm (I hope) and me) work on
more thorough reviews:
- the new files should be added to the reference manual, and there is
some misformatted reST, which the attached patch fixes. It also moves
docs from the {{{__init__}}} methods to the classes, as rlm suggests.
- I don't understand the point (or maybe the documentation) for
M.optimized():
{{{
This has the advantage that any homomorphism from self extends to a
homomorphism from V
}}}
If I have a map f: V/W --> Z, then I certainly get a map g: V --> Z: just
compose the quotient map V --> V/W with f.
- the argument "check" should be documented: I can see what it does by
reading the source code, but it should be described in {{{FGP_module}}}
and {{{FGP_Module_class.__init__}}} (or actually in
{{{FGP_Module_class}}}), and wherever else it's used.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/5882#comment:25>
Sage <http://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
-~----------~----~----~----~------~----~------~--~---
