LinearAlgebra[IsOrthogonal] - 检验矩阵是否正交
LinearAlgebra[IsUnitary] - 检验矩阵是否为酉矩阵
说明
# IsOrthogonal(A) 函数确定 A 是否为正交矩阵(AA' = I,其中 A' 为转置矩阵,I 为单位矩阵).
# IsOrthogonal(A,M) 函数确定关于由 M 定义的内积运算 (AMA' = I),A 是否为一个正交矩阵.
# 通常,如果能确定 A 正交,则 IsOrthogonal 函数返回 true,如果能确定矩阵非正交,则返回 false,否则返回 FAIL.
# IsUnitary(A) 函数确定 A 是否为酉矩阵(A .A* = I,其中 A* 为 Hermitian 置换矩阵,I 为单位矩阵).
# IsUnitary(A,M) 函数确定关于由 M 定义的内积运算 (A .M .A* = I),A 是否为一个酉矩阵.
# 通常,如果能确定 A 为酉矩阵,则 IsUnitary 函数返回 true,如果能确定矩阵不是酉矩阵,则返回 false,否则返回 FAIL.
# 此函数是 LinearAlgebra 程序包的一部分,因此它可在执行命令 with(LinearAlgebra) 后以 IsOrthogonal(..) 使用.然而,它总可以通过命令的长形式 LinearAlgebra[IsOrthogonal](..) 来访问.
示例...