Index finite lists of positive integers: Difference between revisions
Content added Content deleted
Line 156: | Line 156: | ||
=== Tacit |
=== Tacit versions === |
||
Base 11 encoding: |
Base 11 encoding: |
||
Line 171: | Line 171: | ||
1 2 3 10 100 987654321 135792468107264516704251 7</lang> |
1 2 3 10 100 987654321 135792468107264516704251 7</lang> |
||
Prime factorization (Gödelian) encoding: |
|||
<lang j> rank=. */@:(^~ p:@:i.@:#)@:>:@:x: |
|||
unrank=. <:@:(#;.1@:~:@:q:)</lang> |
|||
Example use: |
|||
<lang J> rank 1 11 16 1 3 9 0 2 15 7 19 10 |
|||
6857998574998940803374702726455974765530187550029640884386375715876970128518999225074067307280381624132537960815429687500 |
|||
unrank 6857998574998940803374702726455974765530187550029640884386375715876970128518999225074067307280381624132537960815429687500x |
|||
1 11 16 1 3 9 0 2 15 7 19 10</lang> |
|||
=== Bijective === |
=== Bijective === |