@@ -205,9 +205,9 @@ def bisect(L, t):
205205
206206 - ``t`` -- real number between `t_0` and `t_n`
207207
208- OUTPUT:
209-
210- Integer; the index ``i`` such that ``L[i][0] <= t < L[i+1][0]``. If ``t``
208+ OUTPUT:
209+
210+ Integer; the index ``i`` such that ``L[i][0] <= t < L[i+1][0]``. If ``t``
211211 equals ``L[i][0]`` exactly, then ``i`` is returned.
212212
213213 EXAMPLES:
@@ -312,23 +312,6 @@ def differential_basis_baker(f):
312312 that is nonsingular outside the coordinate points at infinity
313313 (1:0:0), (0:1:0), and (0:0:1).
314314
315- Baker's theorem tells us that if a curve has its singularities at
316- the coordinate vertices and meets some further easily tested
317- genericity criteria, then we can read off a basis for the regular
318- differentials from the interior of the Newton polygon spanned by
319- the monomials. While this theorem only applies to special plane curves
320- it is worth implementing because the analysis is relatively cheap
321- and it applies to a lot of commonly encountered curves (e.g.,
322- curves given by a hyperelliptic model). Other advantages include
323- that we can do the computation over any exact base ring
324- (the alternative Singular based method requires rationals).
325-
326- This approach is advantageous for curves meeting these criteria (e.g.,
327- many hyperelliptic curves) because it is computationally inexpensive,
328- can be performed over any exact base ring (unlike some Singular-based
329- methods requiring rationals), and avoids potential issues with external
330- library routines.
331-
332315 INPUT:
333316
334317 - ``f`` -- a bivariate polynomial defining the plane curve.
@@ -357,6 +340,25 @@ def differential_basis_baker(f):
357340 sage: differential_basis_baker(x^2+y^2-1) # Genus 0 curve
358341 []
359342
343+ .. NOTE::
344+
345+ Baker's theorem tells us that if a curve has its singularities at
346+ the coordinate vertices and meets some further easily tested
347+ genericity criteria, then we can read off a basis for the regular
348+ differentials from the interior of the Newton polygon spanned by
349+ the monomials. While this theorem only applies to special plane curves
350+ it is worth implementing because the analysis is relatively cheap
351+ and it applies to a lot of commonly encountered curves (e.g.,
352+ curves given by a hyperelliptic model). Other advantages include
353+ that we can do the computation over any exact base ring
354+ (the alternative Singular based method requires rationals).
355+
356+ This approach is advantageous for curves meeting these criteria (e.g.,
357+ many hyperelliptic curves) because it is computationally inexpensive,
358+ can be performed over any exact base ring (unlike some Singular-based
359+ methods requiring rationals), and avoids potential issues with external
360+ library routines.
361+
360362 TESTS::
361363
362364 sage: from sage.schemes.riemann_surfaces.riemann_surface import differential_basis_baker
@@ -438,9 +440,9 @@ def reparameterize_differential_minpoly(minpoly, z0):
438440 r"""
439441 Reparameterize a differential's minimal polynomial around a new point `z_0`.
440442
441- Given a minimal polynomial `m(z,g)` for a differential `g dz`,
442- we compute the minimal polynomial for the same differential expressed
443- in local coordinates around the point `z_0`. The transformation uses
443+ Given a minimal polynomial `m(z,g)` for a differential `g dz`,
444+ we compute the minimal polynomial for the same differential expressed
445+ in local coordinates around the point `z_0`. The transformation uses
444446 `\bar{z} = z - z_0` for finite `z_0`, or `\bar{z} = z^{-1}` when `z_0 = \infty`.
445447
446448 INPUT:
@@ -451,9 +453,9 @@ def reparameterize_differential_minpoly(minpoly, z0):
451453 - ``z0`` -- complex number or infinity; the center point for the new
452454 local coordinate system
453455
454- OUTPUT:
455-
456- Polynomial in two variables (with names ending in "bar") giving
456+ OUTPUT:
457+
458+ Polynomial in two variables (with names ending in "bar") giving
457459 the reparameterized minimal polynomial
458460
459461 EXAMPLES:
@@ -800,7 +802,7 @@ def w_values(self, z0):
800802
801803 A list of complex numbers, representing the distinct solutions ``w`` to
802804 ``f(z0, w) = 0``. The length of the list is typically ``self.degree``
803- (the degree of `f` in `w`). At ramification points, the list will contain
805+ (the degree of `f` in `w`). At ramification points, the list will contain
804806 fewer than ``self.degree`` distinct values.
805807
806808 EXAMPLES::
@@ -2391,8 +2393,8 @@ def period_matrix(self):
23912393 r"""
23922394 Compute the period matrix of the surface.
23932395
2394- OUTPUT:
2395-
2396+ OUTPUT:
2397+
23962398 A ``Matrix`` over a complex field, representing the period matrix
23972399 of the combined surface.
23982400
@@ -2433,8 +2435,8 @@ def riemann_matrix(self):
24332435 r"""
24342436 Compute the Riemann matrix.
24352437
2436- OUTPUT:
2437-
2438+ OUTPUT:
2439+
24382440 A ``Matrix`` over a complex field, representing the Riemann matrix
24392441 of the combined surface.
24402442
@@ -3970,7 +3972,7 @@ def integer_matrix_relations(M1, M2, b=None, r=None):
39703972 OUTPUT:
39713973
39723974 A list of `2*g \times 2*h` integer matrices (where `g` and `h` are
3973- the dimensions of `M1` and `M2` respectively). When `r` and `b-r` are
3975+ the dimensions of `M1` and `M2` respectively). When `r` and `b-r` are
39743976 chosen to be sufficiently large, these matrices form a `\ZZ`-basis for the
39753977 module of transformations `(D, B; C, A)` satisfying the condition.
39763978
0 commit comments