need a dual operator compatible with G(N,0,1) aka Projective Geometric Algebra

[Orbots]

This seems correct. Tried it in REPL and got correct results.

https://math.stackexchange.com/questions/4590369/is-projective-geometric-algebra-a-strict-subset-of-conformal-geometric-algebra?rq=1

julia> O
1.0e₁₂₃

julia> pseudoscalar(x)
1.0e₁₂₃₄

julia> pdual(x) = x*pseudoscalar(x) + (O∨x)*inv(O)