Skip to content

Commit

Permalink
Remove projective from point_of_jacobian_of_projective_curve method
Browse files Browse the repository at this point in the history
  • Loading branch information
kwankyu committed Apr 14, 2024
1 parent 9b5ef79 commit 1de7903
Show file tree
Hide file tree
Showing 2 changed files with 5 additions and 5 deletions.
6 changes: 3 additions & 3 deletions src/sage/schemes/elliptic_curves/ell_point.py
Original file line number Diff line number Diff line change
Expand Up @@ -2338,7 +2338,7 @@ def ate_pairing(self, Q, n, k, t, q=None):
ret = ret**e
return ret

def point_of_jacobian_of_projective_curve(self):
def point_of_jacobian_of_curve(self):
r"""
Return the point in the Jacobian of the curve.
Expand All @@ -2358,13 +2358,13 @@ def point_of_jacobian_of_projective_curve(self):
(a : 2*a + 4 : 1)
sage: P.order()
8
sage: p = P.point_of_jacobian_of_projective_curve()
sage: p = P.point_of_jacobian_of_curve()
sage: p
[Place (x + 4*a, y + 3*a + 1)]
sage: p.order()
8
sage: Q = 3*P
sage: q = Q.point_of_jacobian_of_projective_curve()
sage: q = Q.point_of_jacobian_of_curve()
sage: q == 3*p
True
sage: G = p.parent()
Expand Down
4 changes: 2 additions & 2 deletions src/sage/schemes/hyperelliptic_curves/jacobian_morphism.py
Original file line number Diff line number Diff line change
Expand Up @@ -515,7 +515,7 @@ def scheme(self):
"""
return self.codomain()

def point_of_jacobian_of_projective_curve(self):
def point_of_jacobian_of_curve(self):
r"""
Return the point in the Jacobian of the curve.
Expand All @@ -534,7 +534,7 @@ def point_of_jacobian_of_projective_curve(self):
sage: jacobian_order = sum(H.frobenius_polynomial())
sage: jacobian_order
234
sage: p = D.point_of_jacobian_of_projective_curve(); p
sage: p = D.point_of_jacobian_of_curve(); p
[Place (1/x0, 1/x0^3*x1 + 1)
+ Place (x0 + 10, x1 + 6)]
sage: p # Jacobian point represented by an effective divisor
Expand Down

0 comments on commit 1de7903

Please sign in to comment.