#14214: Cythoned homsets
----------------------------------------------+-----------------------------
Reporter: SimonKing | Owner: tbd
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-5.8
Component: performance | Resolution:
Keywords: Hom, cython, cached method | Work issues:
Report Upstream: N/A | Reviewers:
Authors: Simon King | Merged in:
Dependencies: #14159, #12951 | Stopgaps:
----------------------------------------------+-----------------------------
Comment (by SimonKing):
The patchbot finds one failing test, and this is actually a test that
relies on non-unique parent behaviour:
{{{
Coercing a vector space morphism into the parent of a second
vector
space morphism will unify their parents. ::
sage: U = QQ^3
sage: V = QQ^4
sage: W = QQ^3
sage: X = QQ^4
sage: H = Hom(U, V)
sage: K = Hom(W, X)
sage: A = matrix(QQ, 3, 4, [0]*12)
sage: f = H(A)
sage: B = matrix(QQ, 3, 4, range(12))
sage: g = K(B)
sage: f.parent() is g.parent()
False
sage: h = H(g)
sage: f.parent() is h.parent()
True
}}}
But in this example, at least with my patch, we have `U is W` and `H is
K`. So, I think this test can be removed. Will do so in a minute.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/14214#comment:7>
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.
