id,summary,reporter,owner,description,type,status,priority,milestone,component,resolution,keywords,cc,merged,author,reviewer,upstream,work_issues,branch,commit,dependencies,stopgaps
12880,"Inconsistent domain, codomain and parent in EllipticCurveIsogeny",nthiery,cremona,"In the following example, the domain and codomain of phi do not match those of its parent::
{{{
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
}}}
",defect,closed,minor,sage-6.3,elliptic curves,fixed,isogeny,sage-combinat pbruin defeo sbesnier,,Sébastien Besnier,Peter Bruin,N/A,,02bc4122b7a49400e327f3a0259890eb0cce6705,02bc4122b7a49400e327f3a0259890eb0cce6705,#11474,