var <-> trans.
one-seq PiDD
union
intsec & diff
cofact
direct product
modulize
piddSpec

Trans使うのにPermutationをimportする必要ある．しないでPiDDを使えたほうがいいのか悪いのか
add test: figure 9