#14558: apply_map on sparse vectors returns vectors of smaller degree
--------------------------------------------+-------------------------------
Reporter: tfeulner | Owner: AlexGhitza
Type: defect | Status: needs_review
Priority: major | Milestone: sage-5.10
Component: linear algebra | Resolution:
Keywords: apply_map, sparse vector | Work issues:
Report Upstream: N/A | Reviewers:
Authors: Thomas Feulner | Merged in:
Dependencies: | Stopgaps:
--------------------------------------------+-------------------------------
Comment (by rbeezer):
It looks like you have duplicated some code for finding the common ring.
I think that ideally this step should remain in the vector constructor.
Before returning, you have the mapped elements, the degree, and the
sparseness. Did you try calling `vector()` with all the arguments
supplied named, ie
{{{
arg0, arg1, arg2, sparse
}}}
much as calling format number 4, but with sparseness supplied? Or maybe
calling format 4 needs to be sure to handle the `sparse` keyword properly.
I could be wrong about this, since I have not fully tested everything, but
is there a way to just do the mapping and pass the degree in the sparse
and non-sparse cases? Let the constructor determine the new ring for the
mapped entries?
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/14558#comment:3>
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?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.
