Yeah I’m pretty well-versed in free constructions of various algebraic objects and how this would interact with things like a quadratic form, etc, but couldn’t sort out GA (I think the authors of “GA4CS” had a very different sort of computer scientist in mind). When I saw the geometric algebra constructions clash with constructions I was already familiar with, I generally got suspicious and lost interest.

I’m actually quite interested in checking out Lengyel’s book. It looks rock solid.