我可以定义一个分配给参数 x 的最大值函数 f(x)

Question

很抱歉这个基本问题，但很难找到太多关于 Maxima 细节的讨论。

我正在尝试学习一些 Maxima 并想使用类似的东西

x:2
x+=2

据我所知，Maxima 中不存在。然后我发现我可以将自己的运算符定义为中缀运算符，所以我尝试这样做

infix("+=");
"+=" (a,b):= a:(a+b);

但是这不起作用，好像我先设置x:1 然后尝试调用x+=2，函数返回3，但如果我检查x 的值，我发现它没有改变。

有没有办法实现我在 Maxima 中尝试做的事情？谁能解释为什么我给出的定义失败了？

谢谢！

Answer 1

您的实现的问题是评估太多和太少 - += 函数看不到符号 x 所以它不知道将结果分配给哪个变量，并且分配的左侧没有被评估，所以+= 认为它分配给a，而不是x。

这是获得适量评估的一种方法。 ::= 定义了一个宏，它只是一个引用其参数的函数，并再次对其返回值求值。 buildq 是一个替换函数，它引用您要替换的表达式。所以这里::=和buildq的组合就是构造x: x + 2表达式，然后求值。

(%i1) infix ("+=") $
(%i2) "+="(a, b) ::= buildq ([a, b], a: a + b) $
(%i3) x: 100 $
(%i4) macroexpand (x += 1);
(%o4)                       x : x + 1
(%i5) x += 1;
(%o5)                          101
(%i6) x;
(%o6)                          101
(%i7) x += 1;
(%o7)                          102
(%i8) x;
(%o8)                          102

因此，如果您想这样做，当然可以这样做。但是我可以建议您可能不需要它吗？修改一个变量使得在心理上更难跟踪正在发生的事情。诸如一次性赋值之类的编程策略可以使程序员更容易理解程序。这是一种称为函数式编程的通用方法的一部分；也许你可以看看那个。 Maxima 具有多种功能，可以使用函数式编程，尽管您不需要使用它们。