generated at
上三角行列