Expand description
Parallel computation engine.
Exploits commutativity to split expressions into independent chunks for async parallel simplification, with staged global merging. Parallel computation engine.
§Architecture
Exploits the commutativity of algebraic operations to split expressions into independent chunks for parallel simplification. Each chunk gets its own AST projection — no shared mutable state during computation.
splitter— Commutativity-based expression partitioning.solver— Async parallel solver with work distribution.simplify— Staged global simplification (end-of-computation default).permission— Per-symbol commutativity permission flags.
Re-exports§
pub use solver::FnEvalRegistry;
Modules§
- permission
- Per-symbol commutativity permission flags.
- simplify
- Staged global simplification.
- solver
- Async parallel solver with work distribution.
- splitter
- Commutativity-based expression splitting.