线性代数中符号diag是什么意思