Galixir.Generator.Predicates (galixir v0.28.0)

Copy Markdown View Source

Generates predicates and guards for multivector properties.

Summary

Functions

blade_check_impl(bases)
blade_guard_impl(blade_indices)
scalar_check_impl(dimension, bases)
zero_check_impl(dimension, bases)

Functions

blade_check_impl(bases)

blade_guard_impl(blade_indices)

scalar_check_impl(dimension, bases)

zero_check_impl(dimension, bases)