triangularizing