History of Special $L$-value of elliptic curves over $\mathbb{Q}$ of rank $1$

back to table · edit · history · where entries came from · files

when	who	what
2026-08-14 21:31	bmatschke	how well the digits are known: proven (converted: generators/T69-lvalue-rank-1 uses deriv_at1, which returns a proven error bound)	current
2026-08-14 18:26	bmatschke	how well the digits are known: proven (converted: generators/T69-lvalue-rank-1 uses deriv_at1, which returns a proven error bound)
2026-08-14 18:21	bmatschke	how well the digits are known: assumed-bound (widened by a hand-chosen 4 ulps, and computed twice at p and 2p with the two written forms asserted equal)
2026-08-14 17:25	bmatschke	recomputed with deriv_at1, which returns a proven error bound; the digits are no longer widened by a hand-chosen four ulps, and 82 entries regain the hundredth digit that widening cost	reviewed
2026-08-13 22:06	bmatschke	how well the digits are known: assumed-bound (interval widened by a hand-chosen 4 ulps (blur_real_interval))
2026-08-09 09:14	flattening	entries rewritten as records with named parameters
2026-08-09 08:35	data-repository import	the current state of the data repository
2021-05-08 13:33	bmatschke	from the data repository, 6c0a557d

What changed between 2026-08-14 18:26 and 2026-08-14 21:31

from line 57 (7 lines) @@ -57,7 +57,7 @@

   - CITE{LMFDB}   rigour: proven-  rigour details: The computed interval was widened by four units in the last place-    (blur_real_interval). That bound was asserted rather than derived, and the justification-    was not recorded.+  rigour details: Computed in interval or ball arithmetic throughout, so the digits+    written follow from the width of the result rather than from a guard chosen in+    advance. Display properties:   number-header: $L'(s,1)$