Hello Pat and all,
Actually, I only stumbled on that confusing issue concerning the bivector index ordering with the 3D cross product because I was having trouble finding the component formula for the cross product of 3 1-vectors in 4-space... and so, I thought I'd look at the relation between the wedge and cross products in 3D to see if that might give me some hints about what I might be doing wrong in deriving the component formula for the cross product of 3 1-vectors in 4-space.
At this time, I still don't think I've resolved the issue concerning the bivector index ordering with the 3D cross product, but I do think I've found the correct component formula for the cross product of 3 1-vectors in 4-space.
Also, in regards to various products... It occurred to me that I might be able to say that all implied products (those without explicit operators) are geometric products. It seems the issue might be somewhat confused, but the geometric product of two scalars may just be their ordinary scalar product.
If I read correctly, it appears that the operation table for the geometric product on this webpage... Multivector Methods might support the argument that the geometric product of two scalars is just their ordinary scalar product.
However, the operation table for the wedge product (on the same webpage) would seem to indicate that the wedge product of scalars also gives the ordinary scalar product. If one is utilizing an inner product that gives 0 for all scalar operands, then this scheme would seem to work.
On the other hand, if one chooses an inner product returning the scalar product for scalar operands, then one could use the "thin" outer product.
Of course, later on here, I also use the dot to indicate both the inner product of vectors and the scalar product.
It might better if I approached the problem from another perspective. How about if I say to assume all operands are scalars, unless indicated otherwise. Everyone knows basis multivectors aren't scalars, so... maybe this'll work.
Anyway... As I said, I really set out to derive the component formula for the cross product of 3 1-vectors in 4-space,... which, if I understand correctly, will yield a 1-vector normal to the 3D-realm of the 3 1-vectors.
I think I've now accomplished that. However, it was a real pain to get all the formalism correct.
I tested it on these 3 1-vectors, and it seems to work...
Of course, even if I have derived the component formula correctly, it'd probably be more useful to have a more general formula for finding the normal to a 3D-realm from 4 arbitrary points of 4-space.
Also... I'm not certain how this component formula will behave if the 3 1-vectors happen to be corealmic. Does anyone know how this component formula will behave if the 3 1-vectors are corealmic...?
Also... one other question has been on my mind. Can the norm of the wedge product of two blades be described geometrically as a 'base' equal to the hypervolume of one blade multiplied by a 'height' equal to the hypervolume of the other blade...?
Of course, even if this geometric interpretation might have some validity, I'm dubious it could be extended to general multivectors...?