| Line 2,165: | 
Line 2,165: | 
|   |  |   |  | 
|   | Naturally enough, the diagonal extensions are represented by diagonal matrices:  |   | Naturally enough, the diagonal extensions are represented by diagonal matrices:  | 
|   | + |  | 
|   | + | <br>  | 
|   |  |   |  | 
|   | {| align="center" cellspacing="6" width="90%"  |   | {| align="center" cellspacing="6" width="90%"  | 
| Line 2,187: | 
Line 2,189: | 
|   | \text{---}  |   | \text{---}  | 
|   | \\  |   | \\  | 
| − | \mathrm{B} & 1 & 0 & 0 & 0 & 0 & 0 & 0  | + | \mathrm{B} & 1 &   &   &   &   &   &  | 
|   | \\  |   | \\  | 
| − | \mathrm{C} & 0 & 1 & 0 & 0 & 0 & 0 & 0  | + | \mathrm{C} &   & 1 &   &   &   &   &  | 
|   | \\  |   | \\  | 
| − | \mathrm{D} & 0 & 0 & 1 & 0 & 0 & 0 & 0  | + | \mathrm{D} &   &   & 1 &   &   &   &  | 
|   | \\  |   | \\  | 
| − | \mathrm{E} & 0 & 0 & 0 & 1 & 0 & 0 & 0  | + | \mathrm{E} &   &   &   & 1 &   &   &  | 
|   | \\  |   | \\  | 
| − | \mathrm{I} & 0 & 0 & 0 & 0 & 1 & 0 & 0  | + | \mathrm{I} &   &   &   &   & 1 &   &  | 
|   | \\  |   | \\  | 
| − | \mathrm{J} & 0 & 0 & 0 & 0 & 0 & 1 & 0  | + | \mathrm{J} &   &   &   &   &   & 1 &  | 
|   | \\  |   | \\  | 
| − | \mathrm{O} & 0 & 0 & 0 & 0 & 0 & 0 & 1  | + | \mathrm{O} &   &   &   &   &   &   & 1  | 
|   | \end{array}</math>  |   | \end{array}</math>  | 
|   | |}  |   | |}  | 
|   |  |   |  | 
| − | <pre>  | + | <br>  | 
| − | !m!| B C D E I J O
  | + |    | 
| − | ---o---------------  | + | {| align="center" cellspacing="6" width="90%"  | 
| − |   B | 0 0 0 0 0 0 0  | + | |  | 
| − |  C | 0 1 0 0 0 0 0
  | + | <math>\begin{array}{c|ccccccc}  | 
| − |  D | 0 0 0 0 0 0 0
  | + | \mathrm{m,} &  | 
| − |  E | 0 0 0 0 0 0 0
  | + | \mathrm{B}  &  | 
| − |  I | 0 0 0 0 1 0 0
  | + | \mathrm{C}  &  | 
| − |  J | 0 0 0 0 0 1 0
  | + | \mathrm{D}  &  | 
| − |  O | 0 0 0 0 0 0 1
  | + | \mathrm{E}  &  | 
| − | </pre>  | + | \mathrm{I}  &  | 
|   | + | \mathrm{J}  &  | 
|   | + | \mathrm{O}  | 
|   | + | \\  | 
|   | + | \text{---}  &  | 
|   | + | \text{---}  &  | 
|   | + | \text{---}  &  | 
|   | + | \text{---}  &  | 
|   | + | \text{---}  &  | 
|   | + | \text{---}  &  | 
|   | + | \text{---}  &  | 
|   | + | \text{---}  | 
|   | + | \\  | 
|   | + | \mathrm{B} & 0 &   &   &   &   &   &  | 
|   | + | \\  | 
|   | + | \mathrm{C} &   & 1 &   &   &   &   &  | 
|   | + | \\  | 
|   | + | \mathrm{D} &   &   & 0 &   &   &   &  | 
|   | + | \\  | 
|   | + | \mathrm{E} &   &   &   & 0 &   &   &  | 
|   | + | \\  | 
|   | + | \mathrm{I} &   &   &   &   & 1 &   &  | 
|   | + | \\  | 
|   | + | \mathrm{J} &   &   &   &   &   & 1 &  | 
|   | + | \\  | 
|   | + | \mathrm{O} &   &   &   &   &   &   & 1  | 
|   | + | \end{array}</math>  | 
|   | + | |}  | 
|   |  |   |  | 
|   | <pre>  |   | <pre>  |