Our great sponsors
-
WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
> Some GA libraries[1][2] define types for the different kind of objects (grades)
That's nice!
This reminds of me things like, linear algebra libraries that will type-check matrices so that a 2x2 matrix can't be added to a 2x3 matrix (but then you can have a dynamic matrix that will error only in runtime), like https://nalgebra.org/ and others.
The GA community in general is very small. So yes, tooling could be better, but IMO that is not even the problem. The lack of understanding how to use it is, because GA is not explicitly taught in schools or universities.
I have written a compiler which generates SIMD ready code for the desired GAs. You can then use that output as a normal library for your application.
https://github.com/Lichtso/geometric_algebra
Talking about Julia, I've been toying around with https://github.com/AlgebraicJulia/Decapodes.jl, which uses geometric algebra/discrete exterior calculus to do physics simulations: think finite element methods, but with better theory behind it.