#13417: Improved iteration on finite \ZZ-submodules and vector spaces over
finite
fields
---------------------------------------------------------+------------------
Reporter: tfeulner | Owner:
AlexGhitza
Type: enhancement | Status:
needs_review
Priority: major | Milestone:
sage-5.5
Component: algebra | Resolution:
Keywords: | Work issues:
Report Upstream: N/A | Reviewers:
Authors: Thomas Feulner, Punarbasu Purkayastha | Merged in:
Dependencies: | Stopgaps:
---------------------------------------------------------+------------------
Comment (by tfeulner):
Replying to [comment:8 ppurka]:
> I am curious - maybe I am missing something here. Why is a vector which
has the first nonzero element as 2 appearing in the projective point list?
Isn't it the "norm" to have the first nonzero element in the vector be 1?
Maybe I should have been more precise in the description of this class.
For me, a point is just a one-dimensional subspace. The iterator should
just return one basis vector for each one-dimensional subspace.
In fact, the way we construct these representatives can be seen as a
multiplication by a vector w from the left. The last nonzero coordinate of
w is equal to 1. I am not sure about the "norm" for projective points.
I will modifiy the description of this class. The problem could be solved
by
echelonizing the basis during the init method (I will only provide an
optional argument for those who do care).
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/13417#comment:9>
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.
