Java theory library currently support transposition