tridiagonality tridiagonalization diagonalizability symmetrizability trinominal tileability bitransitivity factorizability traciality trilinear