triangularization transposition problem