#5882: [with patch, positive review] implement general package for finitely
generated not-necessarily free R-modules
------------------------------------------+---------------------------------
Reporter: was | Owner: was
Type: enhancement | Status: new
Priority: major | Milestone: sage-4.1
Component: linear algebra | Keywords:
Reviewer: Robert Miller, John Palmieri | Author: William Stein, David
Loeffler
Merged: |
------------------------------------------+---------------------------------
Comment(by jhpalmieri):
Re William's comments:
>> random_element: wouldn't it be better to pick a random element from
self.optimized()[0]._V?
>
> I'm really not sure. Conceptually if one constructs A = V/W, then it is
easiest to think of random_element as "Create a random element of
self=V/W, by creating a random element of V and reducing it modulo W." The
optimized() thing doesn't seem so canonical in terms of the given input.
So I'm definitely not so sure. Why do you think that would be better?
Efficiency?
Because when I wrote that, I was having a mathematical brain freeze. It's
fine the way it is.
The documentation builds fine, by the way.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/5882#comment:48>
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
-~----------~----~----~----~------~----~------~--~---
