Open eric-wieser opened 4 years ago
👍
Just commenting to note that the above code still works in 0.5.0. The rest of the puzzle is something like
from galgebra import metric
ga = ...
lookup = dict(zip(ga.blades.flat, right_complement_blades(ga).flat))
def right_complement(e):
return a.Ga.mv(sum([
coef * lookup[base]
for coef, base in metric.linear_expand_terms(e.obj)], S.Zero))
The right complement of the basis blades can be found with
With that in place, the complement of any multivector can be taken componentwise.
This would enable:
vee
in PGA without incurring the metric