#triangularization