Rosetta Code

Talk:Geometric algebra: Difference between revisions

Page Discussion

Talk:Geometric algebra (view source)

Revision as of 14:07, 18 October 2015

656 bytes removed ,  8 years ago
Oops - two different multiplies - I need to think..
(Oops - two different multiplies - I need to think..)
Line 126:
 
:::From a vector space of arbitrary dimension (but at least 3), you can use the geometric product, not the scalar product, to create three bivectors i, j, k such that the subalgebra generated by (1, i, j, k) is isomorphic to the quaternion field. I think that's basically what the task description says. Maybe I could be a bit more verbose, but I think that is not necessary.--[[User:Grondilu|Grondilu]] ([[User talk:Grondilu|talk]]) 23:07, 17 October 2015 (UTC)
 
== Task has become impossible ==
 
The task currently says:
 
:<math>\begin{array}{c}
i = \mathbf{e}_0\mathbf{e}_1\\
j = \mathbf{e}_1\mathbf{e}_2\\
k = \mathbf{e}_0\mathbf{e}_2
\end{array}</math>
:* verify that <math>i^2 = j^2 = k^2 = ijk = -1</math>
 
But it also says:
 
:* verify the orthonormality <math>\mathbf{e}_i\cdot\mathbf{e}_j = \delta_{i,j}</math> for i, j in <math>\{0, 1, 2, 3\}</math>.
 
But this means:
 
<math>\begin{array}{c}
0 = \mathbf{e}_0\mathbf{e}_1\\
0 = \mathbf{e}_1\mathbf{e}_2\\
0 = \mathbf{e}_0\mathbf{e}_2
\end{array}</math>
 
Please fix the task description. --[[User:Rdm|Rdm]] ([[User talk:Rdm|talk]]) 14:05, 18 October 2015 (UTC)
Rdm
6,962

edits

Retrieved from "https://rosettacode.org/wiki/Special:MobileDiff/262455"