Wilson primes of order n: Difference between revisions

Content added Content deleted
(added RPL)
m (→‎J: simplify)
Line 732: Line 732:
<syntaxhighlight lang="j"> wilson=. 0 = (*:@] | _1&^@[ -~ -~ *&! <:@[)^:<:
<syntaxhighlight lang="j"> wilson=. 0 = (*:@] | _1&^@[ -~ -~ *&! <:@[)^:<:
(>: i. 11x) (;/@[ ,. wilson"0/ <@# ]) i.&.(p:inv) 11000
(>: i. 11x) ([ ;"0 wilson"0/ <@# ]) i.&.(p:inv) 11000
┌──┬───────────────┐
┌──┬───────────────┐
│1 │5 13 563 │
│1 │5 13 563 │