Skip to content
/ gaast Public

Dimension-agnostic geometric algebra expression evaluation

License

Notifications You must be signed in to change notification settings

YPares/gaast

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

53 Commits
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Geometric Algebra Abstract Syntax Tree

Construct geometric algebra expressions and perform grade inference on them, before direct evaluation or code generation, in order to limit allocations and computations to what is needed to get the wanted result. For instance, let's take the following expression:

$D = \langle A + BC \rangle_{2}$

where $A$, $B$ and $C$ are arbitrary multivector-valued sub-expressions or literals. To evaluate $D$, we actually only need to:

  • allocate the grade 2 part of $D$
  • add to it the grade 2 part of $A$
  • multiply together the parts of $B$ and $C$ of a grade that will contribute to the grade 2 part of the geometric product $BC$, and add that to $D$

gaast finds that out by itself, so the user only needs to write $D$ this way:

let d = (a + b * c).g(2);

Said otherwise, gaast exploits the grade-changing properties of GA operators (that can be fully known ahead of time) and their linearities. To achieve this, it processes GA expressions in 4 phases:

  • 1: Expression construction (declare input multivectors and combine them into an expression with the provided operators)
  • 2: AST reification (provide the metric and get an actual mutable AST)
  • 3: AST specialization (perform grade inference and resolve which individual component-to-component operations are actually needed)
  • 4: AST evaluation (actually read the input data and run the operations resolved at the previous step)

gaast is still pretty experimental. It aims at applications dealing with metric & finite-dimensional vector spaces, but which must cope with a broad range of possible dimensionalities. For instance: data mining, machine learning and multi-dimensional signal processing, or just general GA teaching/visualization. It is therefore not geared towards fixed, low-dimension applications like physics or computer graphics. For these, an implementation tailored to a specific algebra and dimension (like 3D Plane-based or Conformal GA) would be more efficient.

Please refer to the documentation in lib.rs for more information.

Implemented so far

When applicable, "MV" means that the feature is implemented for expressions evaluating to arbitrary multivectors, and "VSR" means it is only implemented for expressions evaluating to versors (ie. a multivector that can be expressed as a geometric product of vectors).

  • Linear combinations of expressions, raw multivectors and scalar literals (MV)
  • Common GA products (MV)
  • Reverse and grade involution (MV)
  • Inverse (VSR)
  • Arbitrary diagonal metrics
  • AST construction, specialization and evaluation
  • Sub-expression identification and caching: if the same expression is reused twice in the AST, its result is computed only once and reused. Note that for now this is limited to the usage of these subexpressions in products (where intermediary allocations are needed), because the advantage of such caching for operations that don't require intermediary allocations (sums, reverse, grade involutions...) isn't clear.

Quite a few implementation ideas are taken from the book "Geometric Algebra for Computer Science", by Leo Dorst, Daniel Fontijne and Stephen Mann.

Roadmap and limitations

gaast is still very much a work in progress, so there is some more work to be done:

Immediate roadmap

  • Versor exponentiation & logarithm
  • Change the inputs used by a SpecializedAst (ie. re-use a "precompiled" expression with different inputs that respect the same "schema"). It's doable right know by using a custom mutable datatype that implements the GradedData trait, but a more convenient API should be built
  • Gram matrix diagonalization (to work with algebras that have a non-diagonal metric, ie. with a basis of non-orthogonal vectors)
  • More extensive test suite
  • Better handling of sparsity (see next section)

Caveats

  • This is Rust. Expect to use .clone() a lot on subexpressions that you want to use several times in your final GA expression. Note that no memory is actually copied, it's really an API concern. clone also ensures that the cloned subexpressions share the same identifier, which allows caching. Aside from this, the API should be pretty concise. Notably, thanks to the genericity of Rust operators, the need for explicit casts should be fairly limited.
  • Grade sets and basis blades are represented by dynamically-sized bitvectors (to be agnostic of vector space dimension), which are of course much slower than stack-allocated bitfields like u64. However, this bitvector manipulation is limited to phases 1-2-3, so it should not impact the speed of the actual computations.
  • Multivectors are read and written in a "one array per grade" fashion. This imposes a dense (contiguous) storage whatever the grade. Enabling a sparse storage for some grades would be necessary for higher-dimension spaces.

Potential future work

Why Rust?

Because of its very good trade-offs between expressiveness, performance and safety (ie., guarantees about your code not running straight into a segfault). Rust traits and general approach to polymorphism offer very good abstraction powers, while incurring only small to non-existent runtime performance penalties, which is wonderful for a tool like gaast which wants to make as little assumptions as possible. Rust is also good when it comes to interoperability, as it can produce shared libraries with a standard C ABI with no extra dependencies. Tooling and ecosystem in general are also great.

About

Dimension-agnostic geometric algebra expression evaluation

Topics

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages