Struct ExpressionSimplifier 

pub struct ExpressionSimplifier;

Utilities for simplifying Symbolica expressions.

This struct provides methods for simplifying mathematical expressions, which reduces the number of terms and operations in generated code.

Implementations

impl ExpressionSimplifier

pub fn new() -> Self

Creates a new expression simplifier.

pub fn simplify(&self, expr: &Atom) -> Atom

Simplifies an expression by expanding and collecting like terms.

This is the main simplification entry point. It:

1. Expands all products and powers
2. Collects like terms
3. Simplifies numeric coefficients

Example

let simplifier = ExpressionSimplifier::new();
let expr = Atom::parse("(a + b) * (a + b)").unwrap();
let simplified = simplifier.simplify(&expr);
// Result: a*a + 2*a*b + b*b

pub fn is_zero(&self, expr: &Atom) -> bool

Checks if an expression is zero.

Returns true if the expression simplifies to zero.

pub fn term_count(&self, expr: &Atom) -> usize

Counts the number of terms in an expression.

This is useful for comparing simplified vs unsimplified expressions.

pub fn operation_count(&self, expr: &Atom) -> usize

Counts the total number of operations in an expression.

This counts additions, multiplications, and other operations.

Trait Implementations

impl Default for ExpressionSimplifier

fn default() -> Self

Returns the “default value” for a type.