#12880: Inconsistent domain, codomain and parent in EllipticCurveIsogeny
-----------------------------+----------------------------------------------
Reporter: nthiery | Owner: was
Type: defect | Status: new
Priority: major | Milestone: sage-5.1
Component: number theory | Keywords:
Work issues: | Report Upstream: N/A
Reviewers: | Authors:
Merged in: | Dependencies:
Stopgaps: |
-----------------------------+----------------------------------------------
In the following example, the domain and codomain of phi does not match
with that of its parent::
{{{
sage: sage: E = EllipticCurve(j=GF(7)(0))
sage: phi = EllipticCurveIsogeny(E, [E(0), E((0,1)), E((0,-1))])
sage: phi.parent()
Set of Morphisms from Abelian group of points on Elliptic Curve
defined by y^2 = x^3 + 1 over Finite Field of size 7 to Abelian group of
points on Elliptic Curve defined by y^2 = x^3 + 1 over Finite Field of
size 7 in Category of hom sets in Category of Schemes
sage: phi.parent().domain()
Abelian group of points on Elliptic Curve defined by y^2 = x^3 + 1
over Finite Field of size 7
sage: phi.domain()
Elliptic Curve defined by y^2 = x^3 + 1 over Finite Field of size 7
sage: phi.parent().codomain()
Abelian group of points on Elliptic Curve defined by y^2 = x^3 + 1
over Finite Field of size 7
sage: phi.codomain()
Elliptic Curve defined by y^2 = x^3 + 1 over Finite Field of size 7
}}}
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/12880>
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.
