Maxima中测试矩阵是否为酉/厄米矩阵报错问题咨询

问题根源 #

你遇到的报错来自两个用法错误：

• is()函数仅接受单个表达式参数，你传入了ma和unitary两个参数，不符合函数语法要求，触发"expects single argument Found 2"错误。
• Maxima中没有直接将unitary/hermitian作为判断参数的用法，判断矩阵类型需要调用专门的谓词函数。

正确用法 #

Maxima提供了专门的谓词函数来判断矩阵属性：

• 判断酉矩阵：使用unitaryp()函数，配合is()的正确写法是：

  is(unitaryp(ma));
  

• 判断厄米矩阵：使用hermitianp()函数，正确写法是：

  is(hermitianp(ma));
  

额外验证方式 #

你也可以手动验证酉矩阵的定义（矩阵的共轭转置等于其逆矩阵）：

/* 计算共轭转置与原矩阵的乘积，验证是否等于单位矩阵 */
transpose(conjugate(ma)) . ma;
ma . transpose(conjugate(ma));

内容的提问来源于stack exchange，提问作者user158293