Maxima：如何在不中断程序的前提下检查表达式是否有定义

针对矩阵乘积这类可能无定义的表达式，你可以通过两种核心方式实现“提示错误+继续执行后续代码”的需求：

1. 自定义安全检查函数（推荐） #

先手动检查矩阵维度是否符合乘法规则，再执行计算，避免触发系统错误：

首先定义示例矩阵：

A: matrix([1,2],[3,4]); /* 2×2矩阵 */
B: matrix([5,6],[7,8],[9,10]); /* 3×2矩阵 */

编写安全乘法函数：

safe_matrix_mult(m1, m2) := block(
    [rows1: length(m1), cols1: length(first(m1)), rows2: length(m2), cols2: length(first(m2))],
    if cols1 # rows2 then
        print("提示：矩阵乘积未定义 —", rows1, "×", cols1, "矩阵与", rows2, "×", cols2, "矩阵无法相乘")
    else
        m1 . m2
);

调用测试：

safe_matrix_mult(A, B); /* 输出错误提示，不中断 */
C: matrix([1,2],[3,4]);
safe_matrix_mult(A, C); /* 正常计算乘积 */

2. 用catch捕获系统错误 #

利用Maxima的错误捕获机制，直接拦截系统抛出的错误并处理：

catch(A . B, e, print("提示：", e)); /* 捕获矩阵乘法错误并打印提示 */
print("后续表达式继续执行"); /* 这句会正常运行 */

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