wolfram-mathematica - 下标变量

Question

有什么方法可以强制Mathematica独立于未下标的变量来处理下标的变量？进一步来说。说，我有以下定义:

Subscript[b, 1] = {{1, 2}}
Subscript[b, 2] = {{3, 4}}
b = Join[Subscript[b, 1], Subscript[b, 2]]

现在当我使用

Subscript[b, 1] 

Mathematica将用

Subscript[{{1, 2}, {3, 4}},1]

当我希望它们是三个独立的值时，因此更改b不会影响Subscript [b，..]。是否可以？

Answer 1

在回答上一个SO问题Mathematica Notation and syntax mods时，telefunkenvf14提到他是

hoping to use Notations to force MMA to treat subscripted variables as a symbol

这本质上就是这个问题。

WReach指出 Notation package可以使用 Symbolize非常简单地完成此操作

Needs["Notation`"];
Symbolize[ParsedBoxWrapper[SubscriptBox["_", "_"]]]

在哪里(如Daniel的回答所示)，您不必太担心上面的 Box结构，因为您可以使用 Notation面板更简单地输入这些内容。

检查它是否可以按需工作:

In[3]:= Subscript[a, b]//Head
        a = 1
        Subscript[a, b]

Out[3]= Symbol
Out[4]= 1
Out[5]= Subscript[a, b]

和

In[6]:= Subscript[b, 1] = {{1, 2}}
        Subscript[b, 2] = {{3, 4}}
        b = Join[Subscript[b, 1], Subscript[b, 2]]
Out[6]= {{1, 2}}
Out[7]= {{3, 4}}
Out[8]= {{1, 2}, {3, 4}}

注意:上面的所有代码都是 copied as Input Text，因此排版的 SubscriptBox s已转换为输入形式 Subscript s。但是， Symbolize在框级别起作用，因此需要将测试转换回2d形式。为此，请使用 Cell菜单或 convert it to standard form Ctrl-Shift-N选择代码(或单元格)和 shortcut。具有以上所有代码的笔记本应该看起来像