数列

自然数の有限列 n1, n2,... は、素数を小さい方から p1=2, p2=3,... として、

s = (p1^n1)*(p2^n2)*…

をつくれば、素因数分解の一意性より、s から復元できる。
ということは、有限自然数列に関する演算(sortとかuniqとか)は、sの整数演算でできるはず。
だけど、きれいな答えにはなりそうにないなぁ。
プログラムでやると、すぐに巨大になるのもイヤだし。