有没有办法强制代码在最大值块内运行？

Question

我正在尝试评估 Maxima 块中的一些代码，但它似乎不起作用。 如果我想要某种形式的东西

block( load("my_file.mac"), do_stuff )

它似乎没有加载文件。我想通过以下方式从该文件中定义我唯一需要的东西来规避这个问题

block( "implies"(p, q) := not p or q, infix("implies"), expr: p implies q, do_other_stuff)

但是，我再次收到一个错误，暗示不是中缀运算符。我认为这是因为load 和infix 都有一个返回值（在我的情况下分别为done 和implies），它以某种方式破坏了块。

绝对有必要将整个 Maxima 代码包含在一个块中。所以虽然两者都

load("my_file.mac"); block(do_stuff)

和

"implies"(p, q) := not p or q; infix("implies"); block(expr: p implies q, do_other_stuff)

工作。这不是我的选择。

Answer 1

在评估之前解析所有块。所以如果块说类似

block (load ("my_file.mac"), p implies q);

那么“隐含”必须在解析块之前定义——它不能在块中定义。

请注意，运算符定义在 Maxima 中是全局的。如果你写block(infix("implies"), ...)，那么“隐含”仍然是一个全局定义；它不限于定义它的块。

也许你可以多说一些你想要达到的目标。