4 | | ~~ sage: ~~sage: E = EllipticCurve(j=GF(7)(0)) |

5 | | ~~ ~~sage: phi = EllipticCurveIsogeny(E, [E(0), E((0,1)), E((0,-1))]) |

6 | | ~~ ~~sage: phi.parent() |

7 | | ~~ ~~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 |

8 | | ~~ ~~sage: phi.parent().domain() |

9 | | ~~ ~~Abelian group of points on Elliptic Curve defined by y^2 = x^3 + 1 over Finite Field of size 7 |

10 | | ~~ ~~sage: phi.domain() |

11 | | ~~ ~~Elliptic Curve defined by y^2 = x^3 + 1 over Finite Field of size 7 |

12 | | ~~ ~~sage: phi.parent().codomain() |

13 | | ~~ ~~Abelian group of points on Elliptic Curve defined by y^2 = x^3 + 1 over Finite Field of size 7 |

14 | | ~~ ~~sage: phi.codomain() |

15 | | ~~ ~~Elliptic Curve defined by y^2 = x^3 + 1 over Finite Field of size 7 |

| 3 | sage: E = EllipticCurve(j=GF(7)(0)) |

| 4 | sage: phi = EllipticCurveIsogeny(E, [E(0), E((0,1)), E((0,-1))]) |

| 5 | sage: phi.parent() |

| 6 | 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 |

| 7 | sage: phi.parent().domain() |

| 8 | Abelian group of points on Elliptic Curve defined by y^2 = x^3 + 1 over Finite Field of size 7 |

| 9 | sage: phi.domain() |

| 10 | Elliptic Curve defined by y^2 = x^3 + 1 over Finite Field of size 7 |

| 11 | sage: phi.parent().codomain() |

| 12 | Abelian group of points on Elliptic Curve defined by y^2 = x^3 + 1 over Finite Field of size 7 |

| 13 | sage: phi.codomain() |

| 14 | Elliptic Curve defined by y^2 = x^3 + 1 over Finite Field of size 7 |