octave - 符号工具箱从符号名称中修剪最终的 "dot"

Question

我遇到了 Octave 符号工具箱的奇怪行为，其中以 -dot 结尾的符号变量丢失了最后的 dot-suffix。

pkg load symbolic;
clear, clc;
syms xxxdot
syms % Symbolic variables in current scope: xxxdot
xxxdot % xxxdot = (sym) xxx

我只是偶然发现它，因为我有相同的变量，有和没有后缀 -dot。但请注意，如果定义了另一个符号变量而没有最后的 -dot，Octave symbolic 将不会合并它们。所以数学仍然是正确的:

pkg load symbolic;
clear, clc;
syms xxxdot xxx % Symbolic variables in current scope: xxxdot xxx
xxxdot + xxx % ans = (sym) xxx + xxx

有人知道这是从哪里来的吗？

我使用的是 Octave 4.2.2-1ubuntu1，octave-symbolic 2.6.0-3build1(Ubuntu 18.04, 内核 4.15.0-101-generic)

Answer 1

我猜你正在运行图形界面。

如果您在终端上运行 Octave，您会看到某些 Unicode 字符似乎从 GUI 中被截断了。

此功能没有很好的文档记录(实际上根本没有)，但请查看以下页面以了解正在发生的事情:

• https://octave.sourceforge.io/symbolic/function/sympref.html (看显示部分)
• https://octave.sourceforge.io/symbolic/function/@sym/pretty.html

从本质上讲，octave/symbolic 似乎足够聪明，可以理解变量名后跟有效的类似 latex 的“符号”修饰符，如点、帽子、波浪线、ddot、dddot、ddddot，并相应地表示变量:

octave:1> sym('xdot'), sym('xddot'), sym('xdddot'), sym('xddddot'), sym('xhat'), sym('xtilde')
ans = (sym) ẋ
ans = (sym) ẍ
ans = (sym) x⃛
ans = (sym) x⃜
ans = (sym) x̂
ans = (sym) x̃

(实际上，unicode 在 StackOverflow 上看起来不太好，但在终端中看起来没问题)。

正如 sympref 所建议的，如果您不喜欢这种行为(或者如果您在 GUI 上但它不起作用，呃)，您可以更改它，例如sympref display ascii 或 sympref display flat。

话虽如此，我还是鼓励您履行您的社区职责，并将 GUI 缺少​​输出报告为 Octave 错误跟踪器上的错误。 :)
我确定这不是故意的，并且可能更多地与用于 GUI 的终端中缺乏对 unicode 的完全支持有关...