AKS test for primes: Difference between revisions

add RPL: improved display of (x-1)^p
(add RPL)
(add RPL: improved display of (x-1)^p)
Line 4,770:
≫ ≫ ‘'''XPM1'''’ STO
≪ DUP SIZE → coeffs size
≪ 0 1 size '''FOR''' j
coeffs j GET 'X' size j - ^ * + '''NEXT'''
≫ ≫ ‘'''SHOWA'''’ STO
≪ DUP '''XPM1''' → p coeffs
≪ 1
Line 4,783 ⟶ 4,788:
end loop
return coeffs
'''SHOWA''' ''( { coeffs } -- 'polynom' )''
loop for each coeff
append jth polynomial term
return polynom
'''PRIM?''' ''( p -- boolean ) ''
Line 4,792 ⟶ 4,802:
{{in}}
<pre>
{ } 1 7 FOR n n XPM1 SHOWA + NEXT ≫
≪ { } 2 35 FOR n IF n PRIM? THEN n + END NEXT ≫
</pre>
{{out}}
<pre>
8: { 1 '-1 }+X'
7: { '1 -2 1 }*X+X^2'
6: { '-1 +3*X-3 *X^2+X^3 -1 }'
5: { '1 -4 6 *X-4 1 }*X^3+6*X^2+X^4'
4: { '-1 +5*X-5 10 *X^4-10 *X^2+10*X^3+X^5 -1 }'
3: { '1 -6 *X-6*X^5+15 *X^2-20 *X^3+15 -*X^4+X^6 1 }'
2: { '-1 +7*X-7 21 *X^6-21*X^2+35 35 *X^3-35*X^4+21 *X^5+X^7 -1 }'
1: { 2 3 5 7 11 13 17 19 23 29 31 }
</pre>
1,150

edits