Module triangular_solve