I am new to GA, to learn more I am trying to implement the operations on the site projectivegeometricalgebra . org using Grassmann.jl.
When I try to replicate the multiplication table for “∧”, all but the top left entry for v ∧ v match. (Grassmann.jl uses “v” and the pga website “1” for the scalar.
Grassmann.jl: v ∧ v = 1
projectivegeometricalgebra: 1 ∧ 1 = 0
G301 = @basis D"1,1,1,0"
(⟨1,1,1,0⟩, v, v₁, v₂, v₃, v₄, v₁₂, v₁₃, v₁₄, v₂₃, v₂₄, v₃₄, v₁₂₃, v₁₂₄, v₁₃₄, v₂₃₄, v₁₂₃₄)
projectivegeometricalgebra . org uses a slightly different basis:
v31 = v3 ∧ v1
v43 = v4 ∧ v3
v42 = v4 ∧ v2
v41 = v4 ∧ v1
v321 = v3 ∧ v2 ∧ v1
v314 = v3 ∧ v1 ∧ v4
𝟙 = v1 ∧ v2 ∧ v3 ∧ v4
PGAbasis = (v, v1, v2, v3, v4, v23, v31, v12, v43, v42, v41, v321, v124, v314, v234, 𝟙)
Number[b ∧ a for b in PGAbasis, a in PGAbasis]
v ∧ v
The table for “∨” has the opposite issue with the bottom right entry for the pseudoscalar:
Grassmann.jl: v₁₂₃₄ ∨ v₁₂₃₄ = v₁₂₃₄
projectivegeometricalgebra: 𝟙 ∨ 𝟙 = 0
What is going on here? Is this an issue of differing conventions, or did I set up the basis in Grassmann.jl incorrectly?