Skip to content

Commit

Permalink
Style fixes
Browse files Browse the repository at this point in the history
  • Loading branch information
kwankyu committed Oct 31, 2023
1 parent c3efd6b commit 581102b
Show file tree
Hide file tree
Showing 2 changed files with 14 additions and 10 deletions.
22 changes: 13 additions & 9 deletions src/sage/schemes/curves/affine_curve.py
Original file line number Diff line number Diff line change
Expand Up @@ -2118,8 +2118,8 @@ def function(self, f):
INPUT:
- ``f`` -- an element of the fraction field of the coordinate ring of the curve or its
ambient space.
- ``f`` -- an element of the fraction field of the coordinate ring of
the curve or its ambient space.
OUTPUT: An element of the function field of this curve.
Expand Down Expand Up @@ -2202,9 +2202,9 @@ def _nonsingular_model(self):
Return the data of a nonsingular model of the curve.
The data consists of an abstract function field `M` and a map from the
fraction field of the coordinate ring `R` of the ambient space of the curve to the function
field. The coordinate ring of the curve is the quotient of `R` by
the kernel of the map restricted to `R`.
fraction field of the coordinate ring `R` of the ambient space of the
curve to the function field. The coordinate ring of the curve is the
quotient of `R` by the kernel of the map restricted to `R`.
TESTS::
Expand All @@ -2213,14 +2213,16 @@ def _nonsingular_model(self):
sage: C._nonsingular_model
(Function field in z defined by z^3 + 10*x,
Ring morphism:
From: Fraction Field of Multivariate Polynomial Ring in x, y, z over Finite Field of size 11
From: Fraction Field of Multivariate Polynomial Ring in x, y, z
over Finite Field of size 11
To: Function field in z defined by z^3 + 10*x
Defn: x |--> x
y |--> z^2
z |--> z,
Ring morphism:
From: Function field in z defined by z^3 + 10*x
To: Fraction Field of Multivariate Polynomial Ring in x, y, z over Finite Field of size 11)
To: Fraction Field of Multivariate Polynomial Ring in x, y, z
over Finite Field of size 11)
"""
from sage.structure.sequence import Sequence
from sage.rings.fraction_field import FractionField
Expand Down Expand Up @@ -2379,7 +2381,8 @@ def _lift_to_function_field(self):
sage: C = Curve([x*z - y^2, y - z^2, x - y*z], A)
sage: C._lift_to_function_field
Ring morphism:
From: Fraction Field of Multivariate Polynomial Ring in x, y, z over Finite Field of size 11
From: Fraction Field of Multivariate Polynomial Ring in x, y, z
over Finite Field of size 11
To: Function field in z defined by z^3 + 10*x
Defn: x |--> x
y |--> z^2
Expand Down Expand Up @@ -2413,7 +2416,8 @@ def _pull_from_function_field(self):
sage: C._pull_from_function_field
Ring morphism:
From: Function field in z defined by z^3 + 10*x
To: Fraction Field of Multivariate Polynomial Ring in x, y, z over Finite Field of size 11
To: Fraction Field of Multivariate Polynomial Ring in x, y, z
over Finite Field of size 11
"""
return self._nonsingular_model[2]

Expand Down
2 changes: 1 addition & 1 deletion src/sage/schemes/curves/projective_curve.py
Original file line number Diff line number Diff line change
Expand Up @@ -2331,7 +2331,7 @@ def function(self, f):
- ``f`` -- an element in the fraction field of the coordinate ring
OUTPUT: An element of the function field
OUTPUT: An element of the function field.
EXAMPLES::
Expand Down

0 comments on commit 581102b

Please sign in to comment.