积极 AI Logo 积极 AI

几何积木集合

几何积木集合
几何画板及绘图内容加载中，请稍等……
2019-03-11 23:22
多边形向量立体几何几何作图
所属专题 SPATIAL VISUALISATION TASKS
①本范例演示了三维几何体的构建与性质，通过点、向量、立方体、棱锥等基本元素组合成复杂几何体；②涉及核心数学概念包括立体几何、向量运算、多边形面与棱的交互、变换等；③作图要点运用了Point, Vector, Cube, Intersect, Segment, Midpoint, Pyramid, Translate, OrthogonalLine等GeoGebra命令及对象；④适合高中及以上学生及教师用于立体几何教学与探索。

GeoGebra 命令及参数

  1. Point(xAxis) → A
  2. Point(xAxis) → B
  3. Vector(A, B) → u
  4. Point(Circle[B, Distance[A, B], Segment[A, B]]) → C
  5. Cube(A, B, C) → a, D, faceCDHG, faceEFGH, edgeAD, edgeAB, edgeBC, edgeCD, edgeAE, edgeDH, edgeEH, edgeEF, E, edgeBF, edgeFG, edgeCG, edgeGH, F, G, H, faceABCD, faceADHE, faceABFE, faceBCGF
  6. Intersect(edgeAE, edgeEF) → M
  7. Intersect(edgeGH, edgeCG) → I
  8. Vector(M, I) → n
  9. Vector(A, E) → w
  10. Vector(A, D) → v
  11. Segment(B, H) → f
  12. Midpoint(f) → k
  13. Pyramid(faceEFGH, k) → b, faceEHk_1, faceGHk_1, faceFGk_1, faceEFk_1, edgeEk_1, edgeHk_1, edgeGk_1, edgeFk_1
  14. Translate(b, Vector[(i * w)]) → b'
  15. Pyramid(faceBCGF, k) → c, faceBCk_1, faceBFk_1, faceFGk, faceCGk_1, edgeCk_1, edgeBk_1, edgeFk_2, edgeGk_2
  16. Pyramid(faceABFE, k) → d, faceABk_1, faceAEk_1, faceEFk, faceBFk, edgeBk_2, edgeAk_1, edgeEk_2, edgeFk
  17. Pyramid(faceADHE, k) → e, faceAEk, faceADk_1, faceDHk_1, faceEHk, edgeEk, edgeAk_2, edgeDk_1, edgeHk_2
  18. Pyramid(faceCDHG, k) → g, faceCDk_1, faceCGk, faceGHk, faceDHk, edgeDk_2, edgeCk_2, edgeGk, edgeHk
  19. Pyramid(faceABCD, k) → h, faceADk, faceABk, faceBCk, faceCDk, edgeDk, edgeAk, edgeBk, edgeCk
  20. Translate(c, Vector[(i * u)]) → c'
  21. Translate(d, Vector[(i * (-v))]) → d'
  22. Translate(e, Vector[(i * (-u))]) → e'
  23. Translate(g, Vector[(i * v)]) → g'
  24. Translate(h, Vector[(i * (-w))]) → h'
  25. Translate(b', Vector[(4 * u) + (4 * v) - (2 * w) + (j * (-w)) + (m * ((13 * v) - (9 * w)))]) → b''
  26. Translate(h', Vector[(4 * u) + (4 * v) - (2 * w) + (j * (-w)) + (m * ((13 * v) - (9 * w)))]) → h''
  27. Translate(g', Vector[(4 * u) + (4 * v) - (2 * w) + (j * (-w)) + (m * ((13 * v) - (9 * w)))]) → g''
  28. Translate(c', Vector[(4 * u) + (4 * v) - (2 * w) + (j * (-w)) + (m * ((13 * v) - (9 * w)))]) → c''
  29. Translate(d', Vector[(4 * u) + (4 * v) - (2 * w) + (j * (-w)) + (m * ((13 * v) - (9 * w)))]) → d''
  30. Translate(e', Vector[(4 * u) + (4 * v) - (2 * w) + (j * (-w)) + (m * ((13 * v) - (9 * w)))]) → e''
  31. Translate(b', Vector[(4 * u) + (3 * v) - (2 * w) + (j * (-w)) + (m * ((9 * v) - (9 * w)))]) → b''_1
  32. Translate(h', Vector[(4 * u) + (3 * v) - (2 * w) + (j * (-w)) + (m * ((9 * v) - (9 * w)))]) → h''_1
  33. Translate(g', Vector[(4 * u) + (3 * v) - (2 * w) + (j * (-w)) + (m * ((9 * v) - (9 * w)))]) → g''_1
  34. Translate(d', Vector[(4 * u) + (3 * v) - (2 * w) + (j * (-w)) + (m * ((9 * v) - (9 * w)))]) → d''_1
  35. Translate(c', Vector[(4 * u) + (3 * v) - (2 * w) + (j * (-w)) + (m * ((9 * v) - (9 * w)))]) → c''_1
  36. Translate(e', Vector[(4 * u) + (3 * v) - (2 * w) + (j * (-w)) + (m * ((9 * v) - (9 * w)))]) → e''_1
  37. Point(b') → J
  38. Point(b') → K
  39. Point(b') → L
  40. Intersect(edgeEF, edgeBF) → N
  41. Point(edgeGH) → O
  42. Vector(O, N) → p
  43. Translate(b', Vector[(4 * u) + (2 * v) - (2 * w) + (j * (-w)) + (m * ((5 * v) - (9 * w)))]) → b''_2
  44. Translate(c', Vector[(4 * u) + (2 * v) - (2 * w) + (j * (-w)) + (m * ((5 * v) - (9 * w)))]) → c''_2
  45. Translate(d', Vector[(4 * u) + (2 * v) - (2 * w) + (j * (-w)) + (m * ((5 * v) - (9 * w)))]) → d''_2
  46. Translate(e', Vector[(4 * u) + (2 * v) - (2 * w) + (j * (-w)) + (m * ((5 * v) - (9 * w)))]) → e''_2
  47. Translate(g', Vector[(4 * u) + (2 * v) - (2 * w) + (j * (-w)) + (m * ((5 * v) - (9 * w)))]) → g''_2
  48. Translate(h', Vector[(4 * u) + (2 * v) - (2 * w) + (j * (-w)) + (m * ((5 * v) - (9 * w)))]) → h''_2
  49. Translate(b', Vector[(4 * u) + v - (2 * w) + (j * (-w)) + (m * (v - (9 * w)))]) → b''_3
  50. Translate(c', Vector[(4 * u) + v - (2 * w) + (j * (-w)) + (m * (v - (9 * w)))]) → c''_3
  51. Translate(d', Vector[(4 * u) + v - (2 * w) + (j * (-w)) + (m * (v - (9 * w)))]) → d''_3
  52. Translate(e', Vector[(4 * u) + v - (2 * w) + (j * (-w)) + (m * (v - (9 * w)))]) → e''_3
  53. Translate(g', Vector[(4 * u) + v - (2 * w) + (j * (-w)) + (m * (v - (9 * w)))]) → g''_3
  54. Translate(h', Vector[(4 * u) + v - (2 * w) + (j * (-w)) + (m * (v - (9 * w)))]) → h''_3
  55. Translate(b', Vector[(3 * u) + (4 * v) - (2 * w) + (j * (-w)) + (m * ((13 * v) + (5 * (-u)) - (9 * w)))]) → b''_4
  56. Translate(c', Vector[(3 * u) + (4 * v) - (2 * w) + (j * (-w)) + (m * ((13 * v) + (5 * (-u)) - (9 * w)))]) → c''_4
  57. Translate(d', Vector[(3 * u) + (4 * v) - (2 * w) + (j * (-w)) + (m * ((13 * v) + (5 * (-u)) - (9 * w)))]) → d''_4
  58. Translate(e', Vector[(3 * u) + (4 * v) - (2 * w) + (j * (-w)) + (m * ((13 * v) + (5 * (-u)) - (9 * w)))]) → e''_4
  59. Translate(g', Vector[(3 * u) + (4 * v) - (2 * w) + (j * (-w)) + (m * ((13 * v) + (5 * (-u)) - (9 * w)))]) → g''_4
  60. Translate(h', Vector[(3 * u) + (4 * v) - (2 * w) + (j * (-w)) + (m * ((13 * v) + (5 * (-u)) - (9 * w)))]) → h''_4
  61. Translate(b', Vector[(3 * u) + (3 * v) - (2 * w) + (j * (-w)) + (m * ((9 * v) + (5 * (-u)) - (9 * w)))]) → b''_5
  62. Translate(c', Vector[(3 * u) + (3 * v) - (2 * w) + (j * (-w)) + (m * ((9 * v) + (5 * (-u)) - (9 * w)))]) → c''_5
  63. Translate(d', Vector[(3 * u) + (3 * v) - (2 * w) + (j * (-w)) + (m * ((9 * v) + (5 * (-u)) - (9 * w)))]) → d''_5
  64. Translate(e', Vector[(3 * u) + (3 * v) - (2 * w) + (j * (-w)) + (m * ((9 * v) + (5 * (-u)) - (9 * w)))]) → e''_5
  65. Translate(g', Vector[(3 * u) + (3 * v) - (2 * w) + (j * (-w)) + (m * ((9 * v) + (5 * (-u)) - (9 * w)))]) → g''_5
  66. Translate(h', Vector[(3 * u) + (3 * v) - (2 * w) + (j * (-w)) + (m * ((9 * v) + (5 * (-u)) - (9 * w)))]) → h''_5
  67. Translate(b', Vector[(3 * u) + (2 * v) - (2 * w) + (j * (-w)) + (m * ((5 * v) + (5 * (-u)) - (9 * w)))]) → b''_6
  68. Translate(c', Vector[(3 * u) + (2 * v) - (2 * w) + (j * (-w)) + (m * ((5 * v) + (5 * (-u)) - (9 * w)))]) → c''_6
  69. Translate(d', Vector[(3 * u) + (2 * v) - (2 * w) + (j * (-w)) + (m * ((5 * v) + (5 * (-u)) - (9 * w)))]) → d''_6
  70. Translate(e', Vector[(3 * u) + (2 * v) - (2 * w) + (j * (-w)) + (m * ((5 * v) + (5 * (-u)) - (9 * w)))]) → e''_6
  71. Translate(g', Vector[(3 * u) + (2 * v) - (2 * w) + (j * (-w)) + (m * ((5 * v) + (5 * (-u)) - (9 * w)))]) → g''_6
  72. Translate(h', Vector[(3 * u) + (2 * v) - (2 * w) + (j * (-w)) + (m * ((5 * v) + (5 * (-u)) - (9 * w)))]) → h''_6
  73. Translate(b', Vector[(4 * u) + (4 * v) - w + (j * (-w)) + (m * ((13 * v) - (5 * w)))]) → b''_7
  74. Translate(c', Vector[(4 * u) + (4 * v) - w + (j * (-w)) + (m * ((13 * v) - (5 * w)))]) → c''_7
  75. Translate(d', Vector[(4 * u) + (4 * v) - w + (j * (-w)) + (m * ((13 * v) - (5 * w)))]) → d''_7
  76. Translate(e', Vector[(4 * u) + (4 * v) - w + (j * (-w)) + (m * ((13 * v) - (5 * w)))]) → e''_7
  77. Translate(g', Vector[(4 * u) + (4 * v) - w + (j * (-w)) + (m * ((13 * v) - (5 * w)))]) → g''_7
  78. Translate(h', Vector[(4 * u) + (4 * v) - w + (j * (-w)) + (m * ((13 * v) - (5 * w)))]) → h''_7
  79. Translate(b', Vector[(4 * u) + (4 * v) + (j * w) + (m * ((13 * v) + (5 * w)))]) → b''_8
  80. Translate(c', Vector[(4 * u) + (4 * v) + (j * w) + (m * ((13 * v) + (5 * w)))]) → c''_8
  81. Translate(d', Vector[(4 * u) + (4 * v) + (j * w) + (m * ((13 * v) + (5 * w)))]) → d''_8
  82. Translate(e', Vector[(4 * u) + (4 * v) + (j * w) + (m * ((13 * v) + (5 * w)))]) → e''_8
  83. Translate(g', Vector[(4 * u) + (4 * v) + (j * w) + (m * ((13 * v) + (5 * w)))]) → g''_8
  84. Translate(h', Vector[(4 * u) + (4 * v) + (j * w) + (m * ((13 * v) + (5 * w)))]) → h''_8
  85. Translate(b', Vector[(4 * u) + (4 * v) + w + (j * w) + (m * ((13 * v) + (9 * w)))]) → b''_9
  86. Translate(c', Vector[(4 * u) + (4 * v) + w + (j * w) + (m * ((13 * v) + (9 * w)))]) → c''_9
  87. Translate(d', Vector[(4 * u) + (4 * v) + w + (j * w) + (m * ((13 * v) + (9 * w)))]) → d''_9
  88. Translate(e', Vector[(4 * u) + (4 * v) + w + (j * w) + (m * ((13 * v) + (9 * w)))]) → e''_9
  89. Translate(g', Vector[(4 * u) + (4 * v) + w + (j * w) + (m * ((13 * v) + (9 * w)))]) → g''_9
  90. Translate(h', Vector[(4 * u) + (4 * v) + w + (j * w) + (m * ((13 * v) + (9 * w)))]) → h''_9
  91. Translate(b', Vector[(4 * u) + (3 * v) - w + (j * (-w)) + (m * ((9 * v) - (5 * w)))]) → b''_{10}
  92. Translate(c', Vector[(4 * u) + (3 * v) - w + (j * (-w)) + (m * ((9 * v) - (5 * w)))]) → c''_{10}
  93. Translate(d', Vector[(4 * u) + (3 * v) - w + (j * (-w)) + (m * ((9 * v) - (5 * w)))]) → d''_{10}
  94. Translate(e', Vector[(4 * u) + (3 * v) - w + (j * (-w)) + (m * ((9 * v) - (5 * w)))]) → e''_{10}
  95. Translate(g', Vector[(4 * u) + (3 * v) - w + (j * (-w)) + (m * ((9 * v) - (5 * w)))]) → g''_{10}
  96. Translate(h', Vector[(4 * u) + (3 * v) - w + (j * (-w)) + (m * ((9 * v) - (5 * w)))]) → h''_{10}
  97. Translate(b', Vector[(4 * u) + (3 * v) + (j * w) + (m * ((9 * v) + (5 * w)))]) → b''_{11}
  98. Translate(c', Vector[(4 * u) + (3 * v) + (j * w) + (m * ((9 * v) + (5 * w)))]) → c''_{11}
  99. Translate(d', Vector[(4 * u) + (3 * v) + (j * w) + (m * ((9 * v) + (5 * w)))]) → d''_{11}
  100. Translate(e', Vector[(4 * u) + (3 * v) + (j * w) + (m * ((9 * v) + (5 * w)))]) → e''_{11}
  101. Translate(g', Vector[(4 * u) + (3 * v) + (j * w) + (m * ((9 * v) + (5 * w)))]) → g''_{11}
  102. Translate(h', Vector[(4 * u) + (3 * v) + (j * w) + (m * ((9 * v) + (5 * w)))]) → h''_{11}
  103. Translate(b', Vector[(4 * u) + (3 * v) + w + (j * w) + (m * ((9 * v) + (9 * w)))]) → b''_{12}
  104. Translate(c', Vector[(4 * u) + (3 * v) + w + (j * w) + (m * ((9 * v) + (9 * w)))]) → c''_{12}
  105. Translate(d', Vector[(4 * u) + (3 * v) + w + (j * w) + (m * ((9 * v) + (9 * w)))]) → d''_{12}
  106. Translate(e', Vector[(4 * u) + (3 * v) + w + (j * w) + (m * ((9 * v) + (9 * w)))]) → e''_{12}
  107. Translate(g', Vector[(4 * u) + (3 * v) + w + (j * w) + (m * ((9 * v) + (9 * w)))]) → g''_{12}
  108. Translate(h', Vector[(4 * u) + (3 * v) + w + (j * w) + (m * ((9 * v) + (9 * w)))]) → h''_{12}
  109. Translate(b', Vector[(4 * u) + (2 * v) - w + (j * (-w)) + (m * ((5 * v) - (5 * w)))]) → b''_{13}
  110. Translate(c', Vector[(4 * u) + (2 * v) - w + (j * (-w)) + (m * ((5 * v) - (5 * w)))]) → c''_{13}
  111. Translate(d', Vector[(4 * u) + (2 * v) - w + (j * (-w)) + (m * ((5 * v) - (5 * w)))]) → d''_{13}
  112. Translate(e', Vector[(4 * u) + (2 * v) - w + (j * (-w)) + (m * ((5 * v) - (5 * w)))]) → e''_{13}
  113. Translate(g', Vector[(4 * u) + (2 * v) - w + (j * (-w)) + (m * ((5 * v) - (5 * w)))]) → g''_{13}
  114. Translate(h', Vector[(4 * u) + (2 * v) - w + (j * (-w)) + (m * ((5 * v) - (5 * w)))]) → h''_{13}
  115. Translate(b', Vector[(4 * u) + (2 * v) + (j * w) + (m * ((5 * v) + (5 * w)))]) → b''_{14}
  116. Translate(c', Vector[(4 * u) + (2 * v) + (j * w) + (m * ((5 * v) + (5 * w)))]) → c''_{14}
  117. Translate(d', Vector[(4 * u) + (2 * v) + (j * w) + (m * ((5 * v) + (5 * w)))]) → d''_{14}
  118. Translate(e', Vector[(4 * u) + (2 * v) + (j * w) + (m * ((5 * v) + (5 * w)))]) → e''_{14}
  119. Translate(g', Vector[(4 * u) + (2 * v) + (j * w) + (m * ((5 * v) + (5 * w)))]) → g''_{14}
  120. Translate(h', Vector[(4 * u) + (2 * v) + (j * w) + (m * ((5 * v) + (5 * w)))]) → h''_{14}
  121. Translate(b', Vector[(4 * u) + (2 * v) + w + (j * w) + (m * ((5 * v) + (9 * w)))]) → b''_{15}
  122. Translate(c', Vector[(4 * u) + (2 * v) + w + (j * w) + (m * ((5 * v) + (9 * w)))]) → c''_{15}
  123. Translate(d', Vector[(4 * u) + (2 * v) + w + (j * w) + (m * ((5 * v) + (9 * w)))]) → d''_{15}
  124. Translate(e', Vector[(4 * u) + (2 * v) + w + (j * w) + (m * ((5 * v) + (9 * w)))]) → e''_{15}
  125. Translate(g', Vector[(4 * u) + (2 * v) + w + (j * w) + (m * ((5 * v) + (9 * w)))]) → g''_{15}
  126. Translate(h', Vector[(4 * u) + (2 * v) + w + (j * w) + (m * ((5 * v) + (9 * w)))]) → h''_{15}
  127. Translate(b', Vector[(4 * u) + v - w + (j * (-w)) + (m * (v - (5 * w)))]) → b''_{16}
  128. Translate(c', Vector[(4 * u) + v - w + (j * (-w)) + (m * (v - (5 * w)))]) → c''_{16}
  129. Translate(d', Vector[(4 * u) + v - w + (j * (-w)) + (m * (v - (5 * w)))]) → d''_{16}
  130. Translate(e', Vector[(4 * u) + v - w + (j * (-w)) + (m * (v - (5 * w)))]) → e''_{16}
  131. Translate(g', Vector[(4 * u) + v - w + (j * (-w)) + (m * (v - (5 * w)))]) → g''_{16}
  132. Translate(h', Vector[(4 * u) + v - w + (j * (-w)) + (m * (v - (5 * w)))]) → h''_{16}
  133. Translate(b', Vector[(4 * u) + v + (j * w) + (m * (v + (5 * w)))]) → b''_{17}
  134. Translate(c', Vector[(4 * u) + v + (j * w) + (m * (v + (5 * w)))]) → c''_{17}
  135. Translate(d', Vector[(4 * u) + v + (j * w) + (m * (v + (5 * w)))]) → d''_{17}
  136. Translate(e', Vector[(4 * u) + v + (j * w) + (m * (v + (5 * w)))]) → e''_{17}
  137. Translate(g', Vector[(4 * u) + v + (j * w) + (m * (v + (5 * w)))]) → g''_{17}
  138. Translate(h', Vector[(4 * u) + v + (j * w) + (m * (v + (5 * w)))]) → h''_{17}
  139. Translate(b', Vector[(4 * u) + v + w + (j * w) + (m * (v + (9 * w)))]) → b''_{18}
  140. Translate(c', Vector[(4 * u) + v + w + (j * w) + (m * (v + (9 * w)))]) → c''_{18}
  141. Translate(d', Vector[(4 * u) + v + w + (j * w) + (m * (v + (9 * w)))]) → d''_{18}
  142. Translate(e', Vector[(4 * u) + v + w + (j * w) + (m * (v + (9 * w)))]) → e''_{18}
  143. Translate(g', Vector[(4 * u) + v + w + (j * w) + (m * (v + (9 * w)))]) → g''_{18}
  144. Translate(h', Vector[(4 * u) + v + w + (j * w) + (m * (v + (9 * w)))]) → h''_{18}
  145. Translate(b', Vector[(3 * u) + (4 * v) - w + (j * (-w)) + (m * ((13 * v) + (5 * (-u)) - (5 * w)))]) → b''_{19}
  146. Translate(c', Vector[(3 * u) + (4 * v) - w + (j * (-w)) + (m * ((13 * v) + (5 * (-u)) - (5 * w)))]) → c''_{19}
  147. Translate(d', Vector[(3 * u) + (4 * v) - w + (j * (-w)) + (m * ((13 * v) + (5 * (-u)) - (5 * w)))]) → d''_{19}
  148. Translate(e', Vector[(3 * u) + (4 * v) - w + (j * (-w)) + (m * ((13 * v) + (5 * (-u)) - (5 * w)))]) → e''_{19}
  149. Translate(g', Vector[(3 * u) + (4 * v) - w + (j * (-w)) + (m * ((13 * v) + (5 * (-u)) - (5 * w)))]) → g''_{19}
  150. Translate(h', Vector[(3 * u) + (4 * v) - w + (j * (-w)) + (m * ((13 * v) + (5 * (-u)) - (5 * w)))]) → h''_{19}
  151. Translate(b', Vector[(3 * u) + (4 * v) + (j * w) + (m * ((13 * v) + (5 * (-u)) + (5 * w)))]) → b''_{20}
  152. Translate(d', Vector[(3 * u) + (4 * v) + (j * w) + (m * ((13 * v) + (5 * (-u)) + (5 * w)))]) → d''_{20}
  153. Translate(e', Vector[(3 * u) + (4 * v) + (j * w) + (m * ((13 * v) + (5 * (-u)) + (5 * w)))]) → e''_{20}
  154. Translate(g', Vector[(3 * u) + (4 * v) + (j * w) + (m * ((13 * v) + (5 * (-u)) + (5 * w)))]) → g''_{20}
  155. Translate(h', Vector[(3 * u) + (4 * v) + (j * w) + (m * ((13 * v) + (5 * (-u)) + (5 * w)))]) → h''_{20}
  156. Translate(b', Vector[(3 * u) + (4 * v) + w + (j * w) + (m * ((13 * v) + (5 * (-u)) + (9 * w)))]) → b''_{21}
  157. Translate(c', Vector[(3 * u) + (4 * v) + (j * w) + (m * ((13 * v) + (5 * (-u)) + (5 * w)))]) → c''_{20}
  158. Translate(d', Vector[(3 * u) + (4 * v) + w + (j * w) + (m * ((13 * v) + (5 * (-u)) + (9 * w)))]) → d''_{21}
  159. Translate(e', Vector[(3 * u) + (4 * v) + w + (j * w) + (m * ((13 * v) + (5 * (-u)) + (9 * w)))]) → e''_{21}
  160. Translate(g', Vector[(3 * u) + (4 * v) + w + (j * w) + (m * ((13 * v) + (5 * (-u)) + (9 * w)))]) → g''_{21}
  161. Translate(h', Vector[(3 * u) + (4 * v) + w + (j * w) + (m * ((13 * v) + (5 * (-u)) + (9 * w)))]) → h''_{21}
  162. Translate(b', Vector[(3 * u) + (3 * v) - w + (l * (-w)) + (o * ((9 * v) + (5 * (-u)) - (5 * w)))]) → b''_{22}
  163. Translate(c', Vector[(3 * u) + (4 * v) + w + (j * w) + (m * ((13 * v) + (5 * (-u)) + (9 * w)))]) → c''_{21}
  164. Translate(d', Vector[(3 * u) + (3 * v) - w + (l * (-w)) + (o * ((9 * v) + (5 * (-u)) - (5 * w)))]) → d''_{22}
  165. Translate(e', Vector[(3 * u) + (3 * v) - w + (l * (-w)) + (o * ((9 * v) + (5 * (-u)) - (5 * w)))]) → e''_{22}
  166. Translate(g', Vector[(3 * u) + (3 * v) - w + (l * (-w)) + (o * ((9 * v) + (5 * (-u)) - (5 * w)))]) → g''_{22}
  167. Translate(b', Vector[(3 * u) + (3 * v) + (l * w) + (o * ((9 * v) + (5 * (-u)) + (5 * w)))]) → b''_{23}
  168. Translate(h', Vector[(3 * u) + (3 * v) - w + (l * (-w)) + (o * ((9 * v) + (5 * (-u)) - (5 * w)))]) → h''_{22}
  169. Translate(c', Vector[(3 * u) + (3 * v) - w + (l * (-w)) + (o * ((9 * v) + (5 * (-u)) - (5 * w)))]) → c''_{22}
  170. Translate(b', Vector[(3 * u) + (3 * v) + w + (j * w) + (m * ((9 * v) + (5 * (-u)) + (9 * w)))]) → b''_{24}
  171. Translate(c', Vector[(3 * u) + (3 * v) + (l * w) + (o * ((9 * v) + (5 * (-u)) + (5 * w)))]) → c''_{23}
  172. Translate(d', Vector[(3 * u) + (3 * v) + (l * w) + (o * ((9 * v) + (5 * (-u)) + (5 * w)))]) → d''_{23}
  173. Translate(e', Vector[(3 * u) + (3 * v) + (l * w) + (o * ((9 * v) + (5 * (-u)) + (5 * w)))]) → e''_{23}
  174. Translate(g', Vector[(3 * u) + (3 * v) + (l * w) + (o * ((9 * v) + (5 * (-u)) + (5 * w)))]) → g''_{23}
  175. Translate(h', Vector[(3 * u) + (3 * v) + (l * w) + (o * ((9 * v) + (5 * (-u)) + (5 * w)))]) → h''_{23}
  176. Translate(b', Vector[(3 * u) + (2 * v) - w + (l * (-w)) + (o * ((5 * v) + (5 * (-u)) - (5 * w)))]) → b''_{25}
  177. Translate(c', Vector[(3 * u) + (3 * v) + w + (j * w) + (m * ((9 * v) + (5 * (-u)) + (9 * w)))]) → c''_{24}
  178. Translate(d', Vector[(3 * u) + (3 * v) + w + (j * w) + (m * ((9 * v) + (5 * (-u)) + (9 * w)))]) → d''_{24}
  179. Translate(e', Vector[(3 * u) + (3 * v) + w + (j * w) + (m * ((9 * v) + (5 * (-u)) + (9 * w)))]) → e''_{24}
  180. Translate(g', Vector[(3 * u) + (3 * v) + w + (j * w) + (m * ((9 * v) + (5 * (-u)) + (9 * w)))]) → g''_{24}
  181. Translate(h', Vector[(3 * u) + (3 * v) + w + (j * w) + (m * ((9 * v) + (5 * (-u)) + (9 * w)))]) → h''_{24}
  182. Translate(b', Vector[(3 * u) + (2 * v) - w + (l * (-w)) + (o * ((5 * v) + (5 * (-u)) - (5 * w)))]) → b''_{26}
  183. Translate(c', Vector[(3 * u) + (2 * v) - w + (l * (-w)) + (o * ((5 * v) + (5 * (-u)) - (5 * w)))]) → c''_{25}
  184. Translate(d', Vector[(3 * u) + (2 * v) - w + (l * (-w)) + (o * ((5 * v) + (5 * (-u)) - (5 * w)))]) → d''_{25}
  185. Translate(e', Vector[(3 * u) + (2 * v) - w + (l * (-w)) + (o * ((5 * v) + (5 * (-u)) - (5 * w)))]) → e''_{25}
  186. Translate(g', Vector[(3 * u) + (2 * v) - w + (l * (-w)) + (o * ((5 * v) + (5 * (-u)) - (5 * w)))]) → g''_{25}
  187. Translate(h', Vector[(3 * u) + (2 * v) - w + (l * (-w)) + (o * ((5 * v) + (5 * (-u)) - (5 * w)))]) → h''_{25}
  188. Translate(b', Vector[(3 * u) + (2 * v) + (l * w) + (o * ((5 * v) + (5 * (-u)) + (5 * w)))]) → b''_{27}
  189. Translate(c', Vector[(3 * u) + (2 * v) + (l * w) + (o * ((5 * v) + (5 * (-u)) + (5 * w)))]) → c''_{26}
  190. Translate(d', Vector[(3 * u) + (2 * v) + (l * w) + (o * ((5 * v) + (5 * (-u)) + (5 * w)))]) → d''_{26}
  191. Translate(e', Vector[(3 * u) + (2 * v) + (l * w) + (o * ((5 * v) + (5 * (-u)) + (5 * w)))]) → e''_{26}
  192. Translate(g', Vector[(3 * u) + (2 * v) + (l * w) + (o * ((5 * v) + (5 * (-u)) + (5 * w)))]) → g''_{26}
  193. Translate(h', Vector[(3 * u) + (2 * v) + (l * w) + (o * ((5 * v) + (5 * (-u)) + (5 * w)))]) → h''_{26}
  194. Translate(b', Vector[(3 * u) + (2 * v) + w + (j * w) + (m * ((5 * v) + (5 * (-u)) + (9 * w)))]) → b''_{28}
  195. Translate(c', Vector[(3 * u) + (2 * v) + w + (j * w) + (m * ((5 * v) + (5 * (-u)) + (9 * w)))]) → c''_{27}
  196. Translate(d', Vector[(3 * u) + (2 * v) + w + (j * w) + (m * ((5 * v) + (5 * (-u)) + (9 * w)))]) → d''_{27}
  197. Translate(e', Vector[(3 * u) + (2 * v) + w + (j * w) + (m * ((5 * v) + (5 * (-u)) + (9 * w)))]) → e''_{27}
  198. Translate(g', Vector[(3 * u) + (2 * v) + w + (j * w) + (m * ((5 * v) + (5 * (-u)) + (9 * w)))]) → g''_{27}
  199. Translate(h', Vector[(3 * u) + (2 * v) + w + (j * w) + (m * ((5 * v) + (5 * (-u)) + (9 * w)))]) → h''_{27}
  200. Translate(b', Vector[(3 * u) + v - (2 * w) + (j * (-w)) + (m * (v + (5 * (-u)) - (9 * w)))]) → b''_{29}
  201. Translate(c', Vector[(3 * u) + v - (2 * w) + (j * (-w)) + (m * (v + (5 * (-u)) - (9 * w)))]) → c''_{28}
  202. Translate(d', Vector[(3 * u) + v - (2 * w) + (j * (-w)) + (m * (v + (5 * (-u)) - (9 * w)))]) → d''_{28}
  203. Translate(e', Vector[(3 * u) + v - (2 * w) + (j * (-w)) + (m * (v + (5 * (-u)) - (9 * w)))]) → e''_{28}
  204. Translate(g', Vector[(3 * u) + v - (2 * w) + (j * (-w)) + (m * (v + (5 * (-u)) - (9 * w)))]) → g''_{28}
  205. Translate(h', Vector[(3 * u) + v - (2 * w) + (j * (-w)) + (m * (v + (5 * (-u)) - (9 * w)))]) → h''_{28}
  206. Translate(b', Vector[(3 * u) + v - w + (j * (-w)) + (m * (v + (5 * (-u)) - (5 * w)))]) → b''_{30}
  207. Translate(c', Vector[(3 * u) + v - w + (j * (-w)) + (m * (v + (5 * (-u)) - (5 * w)))]) → c''_{29}
  208. Translate(d', Vector[(3 * u) + v - w + (j * (-w)) + (m * (v + (5 * (-u)) - (5 * w)))]) → d''_{29}
  209. Translate(e', Vector[(3 * u) + v - w + (j * (-w)) + (m * (v + (5 * (-u)) - (5 * w)))]) → e''_{29}
  210. Translate(g', Vector[(3 * u) + v - w + (j * (-w)) + (m * (v + (5 * (-u)) - (5 * w)))]) → g''_{29}
  211. Translate(h', Vector[(3 * u) + v - w + (j * (-w)) + (m * (v + (5 * (-u)) - (5 * w)))]) → h''_{29}
  212. Translate(b', Vector[(3 * u) + v + (j * w) + (m * (v + (5 * (-u)) + (5 * w)))]) → b''_{31}
  213. Translate(c', Vector[(3 * u) + v - w + (j * (-w)) + (m * (v + (5 * (-u)) - (5 * w)))]) → c''_{30}
  214. Translate(d', Vector[(3 * u) + v - w + (j * (-w)) + (m * (v + (5 * (-u)) - (5 * w)))]) → d''_{30}
  215. Translate(e', Vector[(3 * u) + v - w + (j * (-w)) + (m * (v + (5 * (-u)) - (5 * w)))]) → e''_{30}
  216. Translate(g', Vector[(3 * u) + v - w + (j * (-w)) + (m * (v + (5 * (-u)) - (5 * w)))]) → g''_{30}
  217. Translate(h', Vector[(3 * u) + v - w + (j * (-w)) + (m * (v + (5 * (-u)) - (5 * w)))]) → h''_{30}
  218. Translate(b', Vector[(3 * u) + v + w + (j * w) + (m * (v + (5 * (-u)) + (9 * w)))]) → b''_{32}
  219. Translate(c', Vector[(3 * u) + v + (j * w) + (m * (v + (5 * (-u)) + (5 * w)))]) → c''_{31}
  220. Translate(d', Vector[(3 * u) + v + (j * w) + (m * (v + (5 * (-u)) + (5 * w)))]) → d''_{31}
  221. Translate(c', Vector[(3 * u) + v + w + (j * w) + (m * (v + (5 * (-u)) + (9 * w)))]) → c''_{32}
  222. Translate(d', Vector[(3 * u) + v + w + (j * w) + (m * (v + (5 * (-u)) + (9 * w)))]) → d''_{32}
  223. Translate(e', Vector[(3 * u) + v + (j * w) + (m * (v + (5 * (-u)) + (5 * w)))]) → e''_{31}
  224. Translate(g', Vector[(3 * u) + v + (j * w) + (m * (v + (5 * (-u)) + (5 * w)))]) → g''_{31}
  225. Translate(h', Vector[(3 * u) + v + (j * w) + (m * (v + (5 * (-u)) + (5 * w)))]) → h''_{31}
  226. Translate(e', Vector[(3 * u) + v + w + (j * w) + (m * (v + (5 * (-u)) + (9 * w)))]) → e''_{32}
  227. Translate(g', Vector[(3 * u) + v + w + (j * w) + (m * (v + (5 * (-u)) + (9 * w)))]) → g''_{32}
  228. Translate(h', Vector[(3 * u) + v + w + (j * w) + (m * (v + (5 * (-u)) + (9 * w)))]) → h''_{32}
  229. Translate(b', Vector[(2 * u) + (4 * v) - (2 * w) + (j * (-w)) + (m * ((13 * v) + (9 * (-u)) - (9 * w)))]) → b''_{33}
  230. Translate(c', Vector[(2 * u) + (4 * v) - (2 * w) + (j * (-w)) + (m * ((13 * v) + (9 * (-u)) - (9 * w)))]) → c''_{33}
  231. Translate(d', Vector[(2 * u) + (4 * v) - (2 * w) + (j * (-w)) + (m * ((13 * v) + (9 * (-u)) - (9 * w)))]) → d''_{33}
  232. Translate(e', Vector[(2 * u) + (4 * v) - (2 * w) + (j * (-w)) + (m * ((13 * v) + (9 * (-u)) - (9 * w)))]) → e''_{33}
  233. Translate(g', Vector[(2 * u) + (4 * v) - (2 * w) + (j * (-w)) + (m * ((13 * v) + (9 * (-u)) - (9 * w)))]) → g''_{33}
  234. Translate(h', Vector[(2 * u) + (4 * v) - (2 * w) + (j * (-w)) + (m * ((13 * v) + (9 * (-u)) - (9 * w)))]) → h''_{33}
  235. Translate(b', Vector[(2 * u) + (4 * v) - w + (j * (-w)) + (m * ((13 * v) + (9 * (-u)) - (5 * w)))]) → b''_{34}
  236. Translate(c', Vector[(2 * u) + (4 * v) - w + (j * (-w)) + (m * ((13 * v) + (9 * (-u)) - (5 * w)))]) → c''_{34}
  237. Translate(d', Vector[(2 * u) + (4 * v) - w + (j * (-w)) + (m * ((13 * v) + (9 * (-u)) - (5 * w)))]) → d''_{34}
  238. Translate(e', Vector[(2 * u) + (4 * v) - w + (j * (-w)) + (m * ((13 * v) + (9 * (-u)) - (5 * w)))]) → e''_{34}
  239. Translate(g', Vector[(2 * u) + (4 * v) - w + (j * (-w)) + (m * ((13 * v) + (9 * (-u)) - (5 * w)))]) → g''_{34}
  240. Translate(h', Vector[(2 * u) + (4 * v) - w + (j * (-w)) + (m * ((13 * v) + (9 * (-u)) - (5 * w)))]) → h''_{34}
  241. Translate(b', Vector[(2 * u) + (4 * v) + (j * w) + (m * ((13 * v) + (9 * (-u)) + (5 * w)))]) → b''_{35}
  242. Translate(c', Vector[(2 * u) + (4 * v) + (j * w) + (m * ((13 * v) + (9 * (-u)) + (5 * w)))]) → c''_{35}
  243. Translate(d', Vector[(2 * u) + (4 * v) + (j * w) + (m * ((13 * v) + (9 * (-u)) + (5 * w)))]) → d''_{35}
  244. Translate(e', Vector[(2 * u) + (4 * v) + (j * w) + (m * ((13 * v) + (9 * (-u)) + (5 * w)))]) → e''_{35}
  245. Translate(g', Vector[(2 * u) + (4 * v) + (j * w) + (m * ((13 * v) + (9 * (-u)) + (5 * w)))]) → g''_{35}
  246. Translate(h', Vector[(2 * u) + (4 * v) + (j * w) + (m * ((13 * v) + (9 * (-u)) + (5 * w)))]) → h''_{35}
  247. Translate(b', Vector[(2 * u) + (4 * v) + w + (j * w) + (m * ((13 * v) + (9 * (-u)) + (9 * w)))]) → b''_{36}
  248. Translate(c', Vector[(2 * u) + (4 * v) + w + (j * w) + (m * ((13 * v) + (9 * (-u)) + (9 * w)))]) → c''_{36}
  249. Translate(d', Vector[(2 * u) + (4 * v) + w + (j * w) + (m * ((13 * v) + (9 * (-u)) + (9 * w)))]) → d''_{36}
  250. Translate(e', Vector[(2 * u) + (4 * v) + w + (j * w) + (m * ((13 * v) + (9 * (-u)) + (9 * w)))]) → e''_{36}
  251. Translate(g', Vector[(2 * u) + (4 * v) + w + (j * w) + (m * ((13 * v) + (9 * (-u)) + (9 * w)))]) → g''_{36}
  252. Translate(h', Vector[(2 * u) + (4 * v) + w + (j * w) + (m * ((13 * v) + (9 * (-u)) + (9 * w)))]) → h''_{36}
  253. Translate(b', Vector[(2 * u) + (3 * v) - (2 * w) + (j * (-w)) + (m * ((9 * v) + (9 * (-u)) - (9 * w)))]) → b''_{37}
  254. Translate(c', Vector[(2 * u) + (3 * v) - (2 * w) + (j * (-w)) + (m * ((9 * v) + (9 * (-u)) - (9 * w)))]) → c''_{37}
  255. Translate(d', Vector[(2 * u) + (3 * v) - (2 * w) + (j * (-w)) + (m * ((9 * v) + (9 * (-u)) - (9 * w)))]) → d''_{37}
  256. Translate(e', Vector[(2 * u) + (3 * v) - (2 * w) + (j * (-w)) + (m * ((9 * v) + (9 * (-u)) - (9 * w)))]) → e''_{37}
  257. Translate(g', Vector[(2 * u) + (3 * v) - (2 * w) + (j * (-w)) + (m * ((9 * v) + (9 * (-u)) - (9 * w)))]) → g''_{37}
  258. Translate(h', Vector[(2 * u) + (3 * v) - (2 * w) + (j * (-w)) + (m * ((9 * v) + (9 * (-u)) - (9 * w)))]) → h''_{37}
  259. Translate(b', Vector[(2 * u) + (3 * v) - w + (l * (-w)) + (o * ((9 * v) + (9 * (-u)) - (5 * w)))]) → b''_{38}
  260. Translate(c', Vector[(2 * u) + (3 * v) - w + (l * (-w)) + (o * ((9 * v) + (9 * (-u)) - (5 * w)))]) → c''_{38}
  261. Translate(d', Vector[(2 * u) + (3 * v) - w + (l * (-w)) + (o * ((9 * v) + (9 * (-u)) - (5 * w)))]) → d''_{38}
  262. Translate(e', Vector[(2 * u) + (3 * v) - w + (l * (-w)) + (o * ((9 * v) + (9 * (-u)) - (5 * w)))]) → e''_{38}
  263. Translate(g', Vector[(2 * u) + (3 * v) - w + (l * (-w)) + (o * ((9 * v) + (9 * (-u)) - (5 * w)))]) → g''_{38}
  264. Translate(h', Vector[(2 * u) + (3 * v) - w + (l * (-w)) + (o * ((9 * v) + (9 * (-u)) - (5 * w)))]) → h''_{38}
  265. Translate(b', Vector[(2 * u) + (3 * v) + (l * w) + (o * ((9 * v) + (9 * (-u)) + (5 * w)))]) → b''_{39}
  266. Translate(c', Vector[(2 * u) + (3 * v) + (l * w) + (o * ((9 * v) + (9 * (-u)) + (5 * w)))]) → c''_{39}
  267. Translate(d', Vector[(2 * u) + (3 * v) + (l * w) + (o * ((9 * v) + (9 * (-u)) + (5 * w)))]) → d''_{39}
  268. Translate(e', Vector[(2 * u) + (3 * v) + (l * w) + (o * ((9 * v) + (9 * (-u)) + (5 * w)))]) → e''_{39}
  269. Translate(g', Vector[(2 * u) + (3 * v) + (l * w) + (o * ((9 * v) + (9 * (-u)) + (5 * w)))]) → g''_{39}
  270. Translate(h', Vector[(2 * u) + (3 * v) + (l * w) + (o * ((9 * v) + (9 * (-u)) + (5 * w)))]) → h''_{39}
  271. Translate(b', Vector[(2 * u) + (3 * v) + w + (j * w) + (m * ((9 * v) + (9 * (-u)) + (9 * w)))]) → b''_{40}
  272. Translate(c', Vector[(2 * u) + (3 * v) + w + (j * w) + (m * ((9 * v) + (9 * (-u)) + (9 * w)))]) → c''_{40}
  273. Translate(d', Vector[(2 * u) + (3 * v) + w + (j * w) + (m * ((9 * v) + (9 * (-u)) + (9 * w)))]) → d''_{40}
  274. Translate(e', Vector[(2 * u) + (3 * v) + w + (j * w) + (m * ((9 * v) + (9 * (-u)) + (9 * w)))]) → e''_{40}
  275. Translate(g', Vector[(2 * u) + (3 * v) + w + (j * w) + (m * ((9 * v) + (9 * (-u)) + (9 * w)))]) → g''_{40}
  276. Translate(h', Vector[(2 * u) + (3 * v) + w + (j * w) + (m * ((9 * v) + (9 * (-u)) + (9 * w)))]) → h''_{40}
  277. Translate(b', Vector[(2 * u) + (2 * v) - (2 * w) + (j * (-w)) + (m * ((5 * v) + (9 * (-u)) - (9 * w)))]) → b''_{41}
  278. Translate(c', Vector[(2 * u) + (2 * v) - (2 * w) + (j * (-w)) + (m * ((5 * v) + (9 * (-u)) - (9 * w)))]) → c''_{41}
  279. Translate(d', Vector[(2 * u) + (2 * v) - (2 * w) + (j * (-w)) + (m * ((5 * v) + (9 * (-u)) - (9 * w)))]) → d''_{41}
  280. Translate(e', Vector[(2 * u) + (2 * v) - (2 * w) + (j * (-w)) + (m * ((5 * v) + (9 * (-u)) - (9 * w)))]) → e''_{41}
  281. Translate(g', Vector[(2 * u) + (2 * v) - (2 * w) + (j * (-w)) + (m * ((5 * v) + (9 * (-u)) - (9 * w)))]) → g''_{41}
  282. Translate(h', Vector[(2 * u) + (2 * v) - (2 * w) + (j * (-w)) + (m * ((5 * v) + (9 * (-u)) - (9 * w)))]) → h''_{41}
  283. Translate(b', Vector[(2 * u) + (2 * v) - w + (l * (-w)) + (o * ((5 * v) + (9 * (-u)) - (5 * w)))]) → b''_{42}
  284. Translate(c', Vector[(2 * u) + (2 * v) - w + (l * (-w)) + (o * ((5 * v) + (9 * (-u)) - (5 * w)))]) → c''_{42}
  285. Translate(d', Vector[(2 * u) + (2 * v) - w + (l * (-w)) + (o * ((5 * v) + (9 * (-u)) - (5 * w)))]) → d''_{42}
  286. Translate(e', Vector[(2 * u) + (2 * v) - w + (l * (-w)) + (o * ((5 * v) + (9 * (-u)) - (5 * w)))]) → e''_{42}
  287. Translate(g', Vector[(2 * u) + (2 * v) - w + (l * (-w)) + (o * ((5 * v) + (9 * (-u)) - (5 * w)))]) → g''_{42}
  288. Translate(h', Vector[(2 * u) + (2 * v) - w + (l * (-w)) + (o * ((5 * v) + (9 * (-u)) - (5 * w)))]) → h''_{42}
  289. Translate(b', Vector[(2 * u) + (2 * v) + (l * w) + (o * ((5 * v) + (9 * (-u)) + (5 * w)))]) → b''_{43}
  290. Translate(c', Vector[(2 * u) + (2 * v) + (l * w) + (o * ((5 * v) + (9 * (-u)) + (5 * w)))]) → c''_{43}
  291. Translate(d', Vector[(2 * u) + (2 * v) + (l * w) + (o * ((5 * v) + (9 * (-u)) + (5 * w)))]) → d''_{43}
  292. Translate(e', Vector[(2 * u) + (2 * v) + (l * w) + (o * ((5 * v) + (9 * (-u)) + (5 * w)))]) → e''_{43}
  293. Translate(g', Vector[(2 * u) + (2 * v) + (l * w) + (o * ((5 * v) + (9 * (-u)) + (5 * w)))]) → g''_{43}
  294. Translate(h', Vector[(2 * u) + (2 * v) + (l * w) + (o * ((5 * v) + (9 * (-u)) + (5 * w)))]) → h''_{43}
  295. Translate(b', Vector[(2 * u) + (2 * v) + w + (j * w) + (m * ((5 * v) + (9 * (-u)) + (9 * w)))]) → b''_{44}
  296. Translate(c', Vector[(2 * u) + (2 * v) + w + (j * w) + (m * ((5 * v) + (9 * (-u)) + (9 * w)))]) → c''_{44}
  297. Translate(d', Vector[(2 * u) + (2 * v) + w + (j * w) + (m * ((5 * v) + (9 * (-u)) + (9 * w)))]) → d''_{44}
  298. Translate(e', Vector[(2 * u) + (2 * v) + w + (j * w) + (m * ((5 * v) + (9 * (-u)) + (9 * w)))]) → e''_{44}
  299. Translate(g', Vector[(2 * u) + (2 * v) + w + (j * w) + (m * ((5 * v) + (9 * (-u)) + (9 * w)))]) → g''_{44}
  300. Translate(h', Vector[(2 * u) + (2 * v) + w + (j * w) + (m * ((5 * v) + (9 * (-u)) + (9 * w)))]) → h''_{44}
  301. Translate(b', Vector[(2 * u) + v - (2 * w) + (j * (-w)) + (m * (v + (9 * (-u)) - (9 * w)))]) → b''_{45}
  302. Translate(c', Vector[(2 * u) + v - (2 * w) + (j * (-w)) + (m * (v + (9 * (-u)) - (9 * w)))]) → c''_{45}
  303. Translate(d', Vector[(2 * u) + v - (2 * w) + (j * (-w)) + (m * (v + (9 * (-u)) - (9 * w)))]) → d''_{45}
  304. Translate(e', Vector[(2 * u) + v - (2 * w) + (j * (-w)) + (m * (v + (9 * (-u)) - (9 * w)))]) → e''_{45}
  305. Translate(g', Vector[(2 * u) + v - (2 * w) + (j * (-w)) + (m * (v + (9 * (-u)) - (9 * w)))]) → g''_{45}
  306. Translate(h', Vector[(2 * u) + v - (2 * w) + (j * (-w)) + (m * (v + (9 * (-u)) - (9 * w)))]) → h''_{45}
  307. Translate(b', Vector[(2 * u) + v - w + (j * (-w)) + (m * (v + (9 * (-u)) - (5 * w)))]) → b''_{46}
  308. Translate(c', Vector[(2 * u) + v - w + (j * (-w)) + (m * (v + (9 * (-u)) - (5 * w)))]) → c''_{46}
  309. Translate(d', Vector[(2 * u) + v - w + (j * (-w)) + (m * (v + (9 * (-u)) - (5 * w)))]) → d''_{46}
  310. Translate(g', Vector[(2 * u) + v - w + (j * (-w)) + (m * (v + (9 * (-u)) - (5 * w)))]) → g''_{46}
  311. Translate(h', Vector[(2 * u) + v - w + (j * (-w)) + (m * (v + (9 * (-u)) - (5 * w)))]) → h''_{46}
  312. Translate(e', Vector[(2 * u) + v - w + (j * (-w)) + (m * (v + (9 * (-u)) - (5 * w)))]) → e''_{46}
  313. Translate(b', Vector[(2 * u) + v + (j * w) + (m * (v + (9 * (-u)) + (5 * w)))]) → b''_{47}
  314. Translate(c', Vector[(2 * u) + v + (j * w) + (m * (v + (9 * (-u)) + (5 * w)))]) → c''_{47}
  315. Translate(d', Vector[(2 * u) + v + (j * w) + (m * (v + (9 * (-u)) + (5 * w)))]) → d''_{47}
  316. Translate(e', Vector[(2 * u) + v + (j * w) + (m * (v + (9 * (-u)) + (5 * w)))]) → e''_{47}
  317. Translate(g', Vector[(2 * u) + v + (j * w) + (m * (v + (9 * (-u)) + (5 * w)))]) → g''_{47}
  318. Translate(h', Vector[(2 * u) + v + (j * w) + (m * (v + (9 * (-u)) + (5 * w)))]) → h''_{47}
  319. Translate(b', Vector[(2 * u) + v + w + (j * w) + (m * (v + (9 * (-u)) + (9 * w)))]) → b''_{48}
  320. Translate(c', Vector[(2 * u) + v + w + (j * w) + (m * (v + (9 * (-u)) + (9 * w)))]) → c''_{48}
  321. Translate(d', Vector[(2 * u) + v + w + (j * w) + (m * (v + (9 * (-u)) + (9 * w)))]) → d''_{48}
  322. Translate(e', Vector[(2 * u) + v + w + (j * w) + (m * (v + (9 * (-u)) + (9 * w)))]) → e''_{48}
  323. Translate(g', Vector[(2 * u) + v + w + (j * w) + (m * (v + (9 * (-u)) + (9 * w)))]) → g''_{48}
  324. Translate(h', Vector[(2 * u) + v + w + (j * w) + (m * (v + (9 * (-u)) + (9 * w)))]) → h''_{48}
  325. Translate(b', Vector[u + (4 * v) - (2 * w) + (j * (-w)) + (m * ((13 * v) + (13 * (-u)) - (9 * w)))]) → b''_{49}
  326. Translate(c', Vector[u + (4 * v) - (2 * w) + (j * (-w)) + (m * ((13 * v) + (13 * (-u)) - (9 * w)))]) → c''_{49}
  327. Translate(d', Vector[u + (4 * v) - (2 * w) + (j * (-w)) + (m * ((13 * v) + (13 * (-u)) - (9 * w)))]) → d''_{49}
  328. Translate(e', Vector[u + (4 * v) - (2 * w) + (j * (-w)) + (m * ((13 * v) + (13 * (-u)) - (9 * w)))]) → e''_{49}
  329. Translate(g', Vector[u + (4 * v) - (2 * w) + (j * (-w)) + (m * ((13 * v) + (13 * (-u)) - (9 * w)))]) → g''_{49}
  330. Translate(h', Vector[u + (4 * v) - (2 * w) + (j * (-w)) + (m * ((13 * v) + (13 * (-u)) - (9 * w)))]) → h''_{49}
  331. Translate(b', Vector[u + (4 * v) - w + (j * (-w)) + (m * ((13 * v) + (13 * (-u)) - (5 * w)))]) → b''_{50}
  332. Translate(c', Vector[u + (4 * v) - w + (j * (-w)) + (m * ((13 * v) + (13 * (-u)) - (5 * w)))]) → c''_{50}
  333. Translate(d', Vector[u + (4 * v) - w + (j * (-w)) + (m * ((13 * v) + (13 * (-u)) - (5 * w)))]) → d''_{50}
  334. Translate(e', Vector[u + (4 * v) - w + (j * (-w)) + (m * ((13 * v) + (13 * (-u)) - (5 * w)))]) → e''_{50}
  335. Translate(g', Vector[u + (4 * v) - w + (j * (-w)) + (m * ((13 * v) + (13 * (-u)) - (5 * w)))]) → g''_{50}
  336. Translate(h', Vector[u + (4 * v) - w + (j * (-w)) + (m * ((13 * v) + (13 * (-u)) - (5 * w)))]) → h''_{50}
  337. Translate(b', Vector[u + (4 * v) + (j * w) + (m * ((13 * v) + (13 * (-u)) + (5 * w)))]) → b''_{51}
  338. Translate(c', Vector[u + (4 * v) + (j * w) + (m * ((13 * v) + (13 * (-u)) + (5 * w)))]) → c''_{51}
  339. Translate(d', Vector[u + (4 * v) + (j * w) + (m * ((13 * v) + (13 * (-u)) + (5 * w)))]) → d''_{51}
  340. Translate(e', Vector[u + (4 * v) + (j * w) + (m * ((13 * v) + (13 * (-u)) + (5 * w)))]) → e''_{51}
  341. Translate(g', Vector[u + (4 * v) + (j * w) + (m * ((13 * v) + (13 * (-u)) + (5 * w)))]) → g''_{51}
  342. Translate(h', Vector[u + (4 * v) + (j * w) + (m * ((13 * v) + (13 * (-u)) + (5 * w)))]) → h''_{51}
  343. Translate(b', Vector[u + (4 * v) + w + (j * w) + (m * ((13 * v) + (13 * (-u)) + (9 * w)))]) → b''_{52}
  344. Translate(c', Vector[u + (4 * v) + w + (j * w) + (m * ((13 * v) + (13 * (-u)) + (9 * w)))]) → c''_{52}
  345. Translate(d', Vector[u + (4 * v) + w + (j * w) + (m * ((13 * v) + (13 * (-u)) + (9 * w)))]) → d''_{52}
  346. Translate(e', Vector[u + (4 * v) + w + (j * w) + (m * ((13 * v) + (13 * (-u)) + (9 * w)))]) → e''_{52}
  347. Translate(g', Vector[u + (4 * v) + w + (j * w) + (m * ((13 * v) + (13 * (-u)) + (9 * w)))]) → g''_{52}
  348. Translate(h', Vector[u + (4 * v) + w + (j * w) + (m * ((13 * v) + (13 * (-u)) + (9 * w)))]) → h''_{52}
  349. Translate(b', Vector[u + (3 * v) - (2 * w) + (j * (-w)) + (m * ((9 * v) + (13 * (-u)) - (9 * w)))]) → b''_{53}
  350. Translate(c', Vector[u + (3 * v) - (2 * w) + (j * (-w)) + (m * ((9 * v) + (13 * (-u)) - (9 * w)))]) → c''_{53}
  351. Translate(d', Vector[u + (3 * v) - (2 * w) + (j * (-w)) + (m * ((9 * v) + (13 * (-u)) - (9 * w)))]) → d''_{53}
  352. Translate(g', Vector[u + (3 * v) - (2 * w) + (j * (-w)) + (m * ((9 * v) + (13 * (-u)) - (9 * w)))]) → g''_{53}
  353. Translate(h', Vector[u + (3 * v) - (2 * w) + (j * (-w)) + (m * ((9 * v) + (13 * (-u)) - (9 * w)))]) → h''_{53}
  354. Translate(e', Vector[u + (3 * v) - (2 * w) + (j * (-w)) + (m * ((9 * v) + (13 * (-u)) - (9 * w)))]) → e''_{53}
  355. Translate(b', Vector[u + (3 * v) - w + (j * (-w)) + (m * ((9 * v) + (13 * (-u)) - (5 * w)))]) → b''_{54}
  356. Translate(c', Vector[u + (3 * v) - w + (j * (-w)) + (m * ((9 * v) + (13 * (-u)) - (5 * w)))]) → c''_{54}
  357. Translate(d', Vector[u + (3 * v) - w + (j * (-w)) + (m * ((9 * v) + (13 * (-u)) - (5 * w)))]) → d''_{54}
  358. Translate(e', Vector[u + (3 * v) - w + (j * (-w)) + (m * ((9 * v) + (13 * (-u)) - (5 * w)))]) → e''_{54}
  359. Translate(g', Vector[u + (3 * v) - w + (j * (-w)) + (m * ((9 * v) + (13 * (-u)) - (5 * w)))]) → g''_{54}
  360. Translate(h', Vector[u + (3 * v) - w + (j * (-w)) + (m * ((9 * v) + (13 * (-u)) - (5 * w)))]) → h''_{54}
  361. Translate(b', Vector[u + (3 * v) + (j * w) + (m * ((9 * v) + (13 * (-u)) + (5 * w)))]) → b''_{55}
  362. Translate(c', Vector[u + (3 * v) + (j * w) + (m * ((9 * v) + (13 * (-u)) + (5 * w)))]) → c''_{55}
  363. Translate(d', Vector[u + (3 * v) + (j * w) + (m * ((9 * v) + (13 * (-u)) + (5 * w)))]) → d''_{55}
  364. Translate(e', Vector[u + (3 * v) + (j * w) + (m * ((9 * v) + (13 * (-u)) + (5 * w)))]) → e''_{55}
  365. Translate(g', Vector[u + (3 * v) + (j * w) + (m * ((9 * v) + (13 * (-u)) + (5 * w)))]) → g''_{55}
  366. Translate(h', Vector[u + (3 * v) + (j * w) + (m * ((9 * v) + (13 * (-u)) + (5 * w)))]) → h''_{55}
  367. Translate(b', Vector[u + (3 * v) + w + (j * w) + (m * ((9 * v) + (13 * (-u)) + (9 * w)))]) → b''_{56}
  368. Translate(c', Vector[u + (3 * v) + w + (j * w) + (m * ((9 * v) + (13 * (-u)) + (9 * w)))]) → c''_{56}
  369. Translate(d', Vector[u + (3 * v) + w + (j * w) + (m * ((9 * v) + (13 * (-u)) + (9 * w)))]) → d''_{56}
  370. Translate(e', Vector[u + (3 * v) + w + (j * w) + (m * ((9 * v) + (13 * (-u)) + (9 * w)))]) → e''_{56}
  371. Translate(g', Vector[u + (3 * v) + w + (j * w) + (m * ((9 * v) + (13 * (-u)) + (9 * w)))]) → g''_{56}
  372. Translate(h', Vector[u + (3 * v) + w + (j * w) + (m * ((9 * v) + (13 * (-u)) + (9 * w)))]) → h''_{56}
  373. Translate(b', Vector[u + (2 * v) - (2 * w) + (j * (-w)) + (m * ((5 * v) + (13 * (-u)) - (9 * w)))]) → b''_{57}
  374. Translate(c', Vector[u + (2 * v) - (2 * w) + (j * (-w)) + (m * ((5 * v) + (13 * (-u)) - (9 * w)))]) → c''_{57}
  375. Translate(d', Vector[u + (2 * v) - (2 * w) + (j * (-w)) + (m * ((5 * v) + (13 * (-u)) - (9 * w)))]) → d''_{57}
  376. Translate(e', Vector[u + (2 * v) - (2 * w) + (j * (-w)) + (m * ((5 * v) + (13 * (-u)) - (9 * w)))]) → e''_{57}
  377. Translate(g', Vector[u + (2 * v) - (2 * w) + (j * (-w)) + (m * ((5 * v) + (13 * (-u)) - (9 * w)))]) → g''_{57}
  378. Translate(h', Vector[u + (2 * v) - (2 * w) + (j * (-w)) + (m * ((5 * v) + (13 * (-u)) - (9 * w)))]) → h''_{57}
  379. Translate(b', Vector[u + (2 * v) - w + (j * (-w)) + (m * ((5 * v) + (13 * (-u)) - (5 * w)))]) → b''_{58}
  380. Translate(c', Vector[u + (2 * v) - w + (j * (-w)) + (m * ((5 * v) + (13 * (-u)) - (5 * w)))]) → c''_{58}
  381. Translate(d', Vector[u + (2 * v) - w + (j * (-w)) + (m * ((5 * v) + (13 * (-u)) - (5 * w)))]) → d''_{58}
  382. Translate(e', Vector[u + (2 * v) - w + (j * (-w)) + (m * ((5 * v) + (13 * (-u)) - (5 * w)))]) → e''_{58}
  383. Translate(g', Vector[u + (2 * v) - w + (j * (-w)) + (m * ((5 * v) + (13 * (-u)) - (5 * w)))]) → g''_{58}
  384. Translate(h', Vector[u + (2 * v) - w + (j * (-w)) + (m * ((5 * v) + (13 * (-u)) - (5 * w)))]) → h''_{58}
  385. Translate(b', Vector[u + (2 * v) + (j * w) + (m * ((5 * v) + (13 * (-u)) + (5 * w)))]) → b''_{59}
  386. Translate(c', Vector[u + (2 * v) + (j * w) + (m * ((5 * v) + (13 * (-u)) + (5 * w)))]) → c''_{59}
  387. Translate(d', Vector[u + (2 * v) + (j * w) + (m * ((5 * v) + (13 * (-u)) + (5 * w)))]) → d''_{59}
  388. Translate(e', Vector[u + (2 * v) + (j * w) + (m * ((5 * v) + (13 * (-u)) + (5 * w)))]) → e''_{59}
  389. Translate(g', Vector[u + (2 * v) + (j * w) + (m * ((5 * v) + (13 * (-u)) + (5 * w)))]) → g''_{59}
  390. Translate(h', Vector[u + (2 * v) + (j * w) + (m * ((5 * v) + (13 * (-u)) + (5 * w)))]) → h''_{59}
  391. Translate(b', Vector[u + (2 * v) + w + (j * w) + (m * ((5 * v) + (13 * (-u)) + (9 * w)))]) → b''_{60}
  392. Translate(c', Vector[u + (2 * v) + w + (j * w) + (m * ((5 * v) + (13 * (-u)) + (9 * w)))]) → c''_{60}
  393. Translate(d', Vector[u + (2 * v) + w + (j * w) + (m * ((5 * v) + (13 * (-u)) + (9 * w)))]) → d''_{60}
  394. Translate(e', Vector[u + (2 * v) + w + (j * w) + (m * ((5 * v) + (13 * (-u)) + (9 * w)))]) → e''_{60}
  395. Translate(g', Vector[u + (2 * v) + w + (j * w) + (m * ((5 * v) + (13 * (-u)) + (9 * w)))]) → g''_{60}
  396. Translate(h', Vector[u + (2 * v) + w + (j * w) + (m * ((5 * v) + (13 * (-u)) + (9 * w)))]) → h''_{60}
  397. Translate(b', Vector[u + v - (2 * w) + (j * (-w)) + (m * (v + (13 * (-u)) - (9 * w)))]) → b''_{61}
  398. Translate(c', Vector[u + v - (2 * w) + (j * (-w)) + (m * (v + (13 * (-u)) - (9 * w)))]) → c''_{61}
  399. Translate(d', Vector[u + v - (2 * w) + (j * (-w)) + (m * (v + (13 * (-u)) - (9 * w)))]) → d''_{61}
  400. Translate(e', Vector[u + v - (2 * w) + (j * (-w)) + (m * (v + (13 * (-u)) - (9 * w)))]) → e''_{61}
  401. Translate(g', Vector[u + v - (2 * w) + (j * (-w)) + (m * (v + (13 * (-u)) - (9 * w)))]) → g''_{61}
  402. Translate(h', Vector[u + v - (2 * w) + (j * (-w)) + (m * (v + (13 * (-u)) - (9 * w)))]) → h''_{61}
  403. Translate(b', Vector[u + v - w + (j * (-w)) + (m * (v + (13 * (-u)) - (5 * w)))]) → b''_{62}
  404. Translate(c', Vector[u + v - w + (j * (-w)) + (m * (v + (13 * (-u)) - (5 * w)))]) → c''_{62}
  405. Translate(d', Vector[u + v - w + (j * (-w)) + (m * (v + (13 * (-u)) - (5 * w)))]) → d''_{62}
  406. Translate(e', Vector[u + v - w + (j * (-w)) + (m * (v + (13 * (-u)) - (5 * w)))]) → e''_{62}
  407. Translate(g', Vector[u + v - w + (j * (-w)) + (m * (v + (13 * (-u)) - (5 * w)))]) → g''_{62}
  408. Translate(h', Vector[u + v - w + (j * (-w)) + (m * (v + (13 * (-u)) - (5 * w)))]) → h''_{62}
  409. Translate(b', Vector[u + v + (j * w) + (m * (v + (13 * (-u)) + (5 * w)))]) → b''_{63}
  410. Translate(c', Vector[u + v + (j * w) + (m * (v + (13 * (-u)) + (5 * w)))]) → c''_{63}
  411. Translate(d', Vector[u + v + (j * w) + (m * (v + (13 * (-u)) + (5 * w)))]) → d''_{63}
  412. Translate(e', Vector[u + v + (j * w) + (m * (v + (13 * (-u)) + (5 * w)))]) → e''_{63}
  413. Translate(g', Vector[u + v + (j * w) + (m * (v + (13 * (-u)) + (5 * w)))]) → g''_{63}
  414. Translate(h', Vector[u + v + (j * w) + (m * (v + (13 * (-u)) + (5 * w)))]) → h''_{63}
  415. Translate(b', Vector[u + v + w + (j * w) + (m * (v + (13 * (-u)) + (9 * w)))]) → b''_{64}
  416. Translate(c', Vector[u + v + w + (j * w) + (m * (v + (13 * (-u)) + (9 * w)))]) → c''_{64}
  417. Translate(d', Vector[u + v + w + (j * w) + (m * (v + (13 * (-u)) + (9 * w)))]) → d''_{64}
  418. Translate(e', Vector[u + v + w + (j * w) + (m * (v + (13 * (-u)) + (9 * w)))]) → e''_{64}
  419. Translate(g', Vector[u + v + w + (j * w) + (m * (v + (13 * (-u)) + (9 * w)))]) → g''_{64}
  420. Translate(h', Vector[u + v + w + (j * w) + (m * (v + (13 * (-u)) + (9 * w)))]) → h''_{64}
  421. Segment(P, Q) → s
  422. Point(s) → R
  423. OrthogonalLine(R, s) → t
  424. Point(t) → S
  425. Point(t) → T
  426. Segment(S, T) → f_1
  427. Point(f_1) → U
  428. OrthogonalLine(U, f_1) → g_1
  429. Point(g_1) → V
  430. Point(g_1) → W
  431. Segment(V, W) → h_1
  432. Segment(Z, A_1) → i_1