遇到一个矩阵运算形式的问题

我想算的是
\!\(\*
TagBox[
RowBox[{
RowBox[{"(", "", GridBox[{
{"0"},
{"0"}
},
GridBoxAlignment->{
"Columns" -> {{Center}}, "ColumnsIndexed" -> {},
"Rows" -> {{Baseline}}, "RowsIndexed" -> {}},
GridBoxSpacings->{"Columns" -> {
Offset[0.27999999999999997`], {
Offset[0.7]},
Offset[0.27999999999999997`]}, "ColumnsIndexed" -> {}, "Rows" -> {
Offset[0.2], {
Offset[0.4]},
Offset[0.2]}, "RowsIndexed" -> {}}], "", ")"}],
RowBox[{"(", GridBox[{
{"0", "1"}
}], ")"}]}],
Function[BoxForm`e$,
MatrixForm[BoxForm`e$]]]\) // MatrixForm
头疼的是他不是
\!\(\*
TagBox[
RowBox[{
RowBox[{"{",
RowBox[{
RowBox[{"{", "0", "}"}], ",",
RowBox[{"{", "0", "}"}]}], "}"}], ".",
RowBox[{"{",
RowBox[{"{",
RowBox[{"0", ",", "1"}], "}"}], "}"}]}],
Function[BoxForm`e$,
MatrixForm[BoxForm`e$]]]\) // MatrixForm

至于你说的“必定自动变成第二种形式”，我没有遇见过。你把能复现这一场景的代码发一下。

Dot[\!\(\*
TagBox[
RowBox[{"(", "",
TagBox[GridBox[{
{"0"},
{"0"}
},
GridBoxAlignment->{
"Columns" -> {{Center}}, "ColumnsIndexed" -> {},
"Rows" -> {{Baseline}}, "RowsIndexed" -> {}},
GridBoxSpacings->{"Columns" -> {
Offset[0.27999999999999997`], {
Offset[0.5599999999999999]},
Offset[0.27999999999999997`]}, "ColumnsIndexed" -> {}, "Rows" -> {
Offset[0.2], {
Offset[0.4]},
Offset[0.2]}, "RowsIndexed" -> {}}],
Column], "", ")"}],
Function[BoxForm`e$,
MatrixForm[BoxForm`e$]]]\), ({
{1, 0}
})] // MatrixForm

Dot的运算规则其实是前一个表的最内层缩并后一个表的最外层。注意这种解释可以轻易推广到高维表。更多内容参考：http://tieba.baidu.com/p/2597584262