6656/6655: Difference between revisions

@@ Line 17: / Line 17: @@
 [[Mapping]]: <br>
-[{{val| 1 0 0 0 0 -9 }}, <br>
+{| class="right-all"
-{{val| 0 1 0 0 0 0 }}, <br>
+|-
-{{val| 0 0 1 0 0 1 }}, <br>
+| [⟨ || 1 || 0 || 0 || 0 || 0 || -9 || ],
-{{val| 0 0 0 1 0 0 }}, <br>
+|-
-{{val| 0 0 0 0 1 3 }}]
+| ⟨ || 0 || 1 || 0 || 0 || 0 || 0 || ],
+|-
+| ⟨ || 0 || 0 || 1 || 0 || 0 || 1 || ],
+|-
+| ⟨ || 0 || 0 || 0 || 1 || 0 || 0 || ],
+|-
+| ⟨ || 0 || 0 || 0 || 0 || 1 || 3 || ]]
+|}
 : mapping generators: ~2, ~3, ~5, ~7, ~11
@@ Line 33: / Line 40: @@
 Mapping: <br>
-[{{val| 1 0 0 0 0 -9 6 }}, <br>
+{| class="right-all"
-{{val| 0 1 0 0 0 0 2 }}, <br>
+|-
-{{val| 0 0 1 0 0 1 2 }}, <br>
+| [⟨ || 1 || 0 || 0 || 0 || 0 || -9 || 6 || ],
-{{val| 0 0 0 1 0 0 -1 }}, <br>
+|-
-{{val| 0 0 0 0 1 3 -2 }}]
+| ⟨ || 0 || 1 || 0 || 0 || 0 || 0 || 2 || ],
+|-
+| ⟨ || 0 || 0 || 1 || 0 || 0 || 1 || 2 || ],
+|-
+| ⟨ || 0 || 0 || 0 || 1 || 0 || 0 || -1 || ],
+|-
+| ⟨ || 0 || 0 || 0 || 0 || 1 || 3 || -2 || ]]
+|}
 Optimal ET sequence: {{Optimal ET sequence| 15g, 22, 37g, 39dfg, 41g, 50, 63g, 72, 111, 152f, 159, 183, 239f, 248, 270, 311, 422, 494, 581, 742, 764, 814, 1075, 1236, 1395, 1506, 2000, 2581, 2814, 2901, 3323, 3395, 8296e, 11691e, 16322ee, 17086cdeeg, 21223cdeefg }}