Struct TraitsGenerator 

pub struct TraitsGenerator<'a> { /* private fields */ }

Generates trait implementations for algebra types.

The generator produces:

• Arithmetic operators (Add, Sub, Neg, Mul)
• Scalar multiplication
• Geometric and outer product operators
• Approx traits (AbsDiffEq, RelativeEq, UlpsEq)
• Arbitrary implementations for proptest

Example

use clifford_codegen::algebra::{Algebra, ProductTable};
use clifford_codegen::codegen::TraitsGenerator;
use clifford_codegen::spec::parse_spec;

let spec = parse_spec(r#"
[algebra]
name = "euclidean2"
complete = false

[signature]
positive = ["e1", "e2"]

[types.Vector]
grades = [1]
field_map = [
  { name = "x", blade = "e1" },
  { name = "y", blade = "e2" }
]

[types.Bivector]
grades = [2]
field_map = [
  { name = "xy", blade = "e12" }
]
"#).unwrap();

let algebra = Algebra::euclidean(2);
let table = ProductTable::new(&algebra);
let generator = TraitsGenerator::new(&spec, &algebra, table);

let (tokens, _tests) = generator.generate_traits_file();
let code = tokens.to_string();

assert!(code.contains("Add for Vector"));

Implementations

impl<'a> TraitsGenerator<'a>

pub fn new( spec: &'a AlgebraSpec, algebra: &'a Algebra, table: ProductTable, ) -> Self

Creates a new traits generator with default options.

Groebner simplification is enabled by default.

pub fn with_options( spec: &'a AlgebraSpec, algebra: &'a Algebra, table: ProductTable, enable_groebner: bool, ) -> Self

Creates a new traits generator with explicit Groebner option.

Arguments

• spec - The algebra specification
• algebra - The algebra for computations
• table - The product table for term computation
• enable_groebner - Whether to enable Groebner basis simplification

pub fn generate_traits_file(&self) -> (TokenStream, String)

Generates the complete traits file.

Returns a tuple of (TokenStream, String) where:

• The TokenStream contains the main code (operators, traits, arbitrary)
• The String contains pre-formatted verification tests that should be appended after formatting the main code (rustfmt can’t format inside proptest! macros)