From fa9086aa4abefe394f0deedbda76fc090047691d Mon Sep 17 00:00:00 2001 From: William Stein Date: Tue, 17 Jun 2008 23:17:30 -0700 Subject: [PATCH] fixes so the docs will tex --- src/sage/modular/congroup.py | 4 ++-- src/sage/schemes/elliptic_curves/ell_finite_field.py | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/src/sage/modular/congroup.py b/src/sage/modular/congroup.py index 5c18611ac79..7a323fca236 100644 --- a/src/sage/modular/congroup.py +++ b/src/sage/modular/congroup.py @@ -1347,11 +1347,11 @@ def _reduce_cusp(self, c): for the given cusp, and t is either 1 or -1, as explained below. - The minimal representative for a cusp is the element in P^1(Q) + The minimal representative for a cusp is the element in $P^1(Q)$ in lowest terms with minimal denominator, and minimal numerator for that denominator. - Two cusps $u1/v1$ and $u2/v2$ are equivalent modulo Gamma_H(N) + Two cusps $u1/v1$ and $u2/v2$ are equivalent modulo $\Gamma_H(N)$ if and only if $v1 = h*v2 (mod N)$ and $u1 = h^(-1)*u2 (mod gcd(v1,N))$ or diff --git a/src/sage/schemes/elliptic_curves/ell_finite_field.py b/src/sage/schemes/elliptic_curves/ell_finite_field.py index c627e12e3b1..9fbc718d7c9 100644 --- a/src/sage/schemes/elliptic_curves/ell_finite_field.py +++ b/src/sage/schemes/elliptic_curves/ell_finite_field.py @@ -1007,7 +1007,7 @@ def abelian_group(self, debug=False): sage: E.cardinality(extension_degree=100) 1267650600228231653296516890625 - This tests the patch for trac#3111, using 10 primes randomly selected: + This tests the patch for trac \#3111, using 10 primes randomly selected: sage: E = EllipticCurve('389a') sage: for p in [5927, 2297, 1571, 1709, 3851, 127, 3253, 5783, 3499, 4817]: ... G = E.change_ring(GF(p)).abelian_group()