Erdős-primes: Difference between revisions
Content added Content deleted
(J) |
|||
Line 590: | Line 590: | ||
The 7,875 Erdős prime is 999,721. |
The 7,875 Erdős prime is 999,721. |
||
</pre> |
</pre> |
||
=={{header|J}}== |
|||
Implementation: |
|||
<lang J>NB. erdos primes greater than !k and less than !k+1 |
|||
erdospr=: {{ k=. y |
|||
f=. !k+0 1 |
|||
p=. (#~ 1= f&I.) p:(+i.)/0 1+p:inv f |
|||
p#~*/|:0=1 p:p-/!i.1+k |
|||
}} |
|||
NB. erdos primes less than j |
|||
erdosprs=: {{ (#~ j&>);erdospr&.>i.>.!inv j=. y }}</lang> |
|||
Task examples: |
|||
<lang J> erdosprs 2500 |
|||
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 |
|||
(#,{:) erdosprs 1e6 |
|||
7875 999721</lang> |
|||
=={{header|Java}}== |
=={{header|Java}}== |
||
Line 656: | Line 676: | ||
The 7875th Erdős prime is 999721. |
The 7875th Erdős prime is 999721. |
||
</pre> |
</pre> |
||
=={{header|jq}}== |
=={{header|jq}}== |