Erdős-primes: Difference between revisions
Content added Content deleted
Not a robot (talk | contribs) (Add ABC) |
Not a robot (talk | contribs) (Add Miranda) |
||
Line 1,214: | Line 1,214: | ||
25 |
25 |
||
{7875, 999721}</pre> |
{7875, 999721}</pre> |
||
=={{header|Miranda}}== |
|||
<syntaxhighlight lang="miranda">main :: [sys_message] |
|||
main = [Stdout (lay (map show erdos2500)), |
|||
Stdout ("There are " ++ show (#erdos2500) ++ " Erdos numbers <2500\n")] |
|||
where erdos2500 = filter erdos [1..2499] |
|||
erdos :: num->bool |
|||
erdos p = prime p & ~or [prime (p-k) | k <- takewhile (<p) (scan (*) 1 [2..])] |
|||
prime :: num->bool |
|||
prime n = n=2 \/ n=3, if n<=4 |
|||
prime n = False, if n mod 2=0 |
|||
prime n = and [n mod d ~= 0 | d <- [2..entier (sqrt n)]]</syntaxhighlight> |
|||
{{out}} |
|||
<pre>2 |
|||
101 |
|||
211 |
|||
367 |
|||
409 |
|||
419 |
|||
461 |
|||
557 |
|||
673 |
|||
709 |
|||
769 |
|||
937 |
|||
967 |
|||
1009 |
|||
1201 |
|||
1259 |
|||
1709 |
|||
1831 |
|||
1889 |
|||
2141 |
|||
2221 |
|||
2309 |
|||
2351 |
|||
2411 |
|||
2437 |
|||
There are 25 Erdos numbers <2500</pre> |
|||
=={{header|Nim}}== |
=={{header|Nim}}== |