#16940: An element method for vector_space_homspace.py
-------------------------------------+-------------------------------------
Reporter: knsam, | Owner:
mkamalakshya | Status: needs_work
Type: enhancement | Milestone: sage-6.4
Priority: minor | Resolution:
Component: categories | Merged in:
Keywords: | Reviewers:
Authors: Kamalakshya | Work issues:
Mahatab, Kannappan Sampath | Commit:
Report Upstream: N/A | ea7fff36089ce3e768bd678a554464a3896a1276
Branch: | Stopgaps:
public/kamalakshya/an_element |
Dependencies: |
-------------------------------------+-------------------------------------
Changes (by vdelecroix):
* status: needs_review => needs_work
Comment:
Hello,
Actually I think that this is a bug
{{{
sage: V1 = GF(2)**3
sage: V2 = GF(7)**5
sage: Hom(V1,V2)
Set of Morphisms (Linear Transformations)
from
Vector space of dimension 3 over Finite Field of size 2
to
Vector space of dimension 5 over Finite Field of size 7
sage: _.category()
Category of homsets of modules with basis over (finite fields
and subquotients of monoids and quotients of semigroups)
}}}
Don't you?
I would either open another ticket or solve it here (at the level of
`FreeModuleHomspace`). In your `_an_element_` you should not worry about
the `EmptySetError` being raised. The homset between free modules (over
the same base ring) always contain zero and so is '''never''' empty!
Vincent
--
Ticket URL: <http://trac.sagemath.org/ticket/16940#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/d/optout.
