Wagstaff primes: Difference between revisions

Content added Content deleted
Line 191: Line 191:
n: ~"|n|"
n: ~"|n|"
s: size n
s: size n
if s > 20 -> n: ((take n 10)++"...")++drop n s-10
if s > 20 -> n: ((take n 10)++"...")++drop.times:s-10 n
n ++ ~" (|s| digits)"
n ++ ~" (|s| digits)"
]
]