\(\mathrm{I}_{1,2} \to \mathrm{I}_{1,14}\)
Column \(j\) of each matrix gives \(\varphi(e_j)\) in the chosen basis of the target; the subdivisions separate orthogonal summands of the source (columns) and of the target (rows).
Notes
The embeddings of latticedb.summands: each summand of
the source maps by \(x \mapsto (x, \ldots,
x)\) into a set of orthogonal summands of the target.
Diagonal into the summands \(\{1\} \sqcup \{2\} \sqcup \{3\}\)
Summand \(j\) of the source maps by \(x \mapsto (x, \ldots, x)\) into the orthogonal summands of the target in set \(j\), which are counted from 1 in the order of the basis.
\[\left(\begin{array}{rrr}
1 & 0 & 0 \\
0 & 1 & 0 \\
0 & 0 & 1 \\
0 & 0 & 0 \\
0 & 0 & 0 \\
0 & 0 & 0 \\
0 & 0 & 0 \\
0 & 0 & 0 \\
0 & 0 & 0 \\
0 & 0 & 0 \\
0 & 0 & 0 \\
0 & 0 & 0 \\
0 & 0 & 0 \\
0 & 0 & 0 \\
0 & 0 & 0 \\
\end{array}\right)\]
{"matrix": [
[1, 0, 0],
[0, 1, 0],
[0, 0, 1],
[0, 0, 0],
[0, 0, 0],
[0, 0, 0],
[0, 0, 0],
[0, 0, 0],
[0, 0, 0],
[0, 0, 0],
[0, 0, 0],
[0, 0, 0],
[0, 0, 0],
[0, 0, 0],
[0, 0, 0]
],
"row_subdivisions": [],
"column_subdivisions": []}