Struct SymbolicExpressionSimplifier 

pub struct SymbolicExpressionSimplifier { /* private fields */ }

A multi-pass symbolic expression simplifier with rewriting rules and canonical forms.

Implementations

impl SymbolicExpressionSimplifier

pub fn new() -> Self

Create a new simplifier with the default configuration and built-in rules.

pub fn with_config(config: SesSimplifierConfig) -> Self

Create a new simplifier with a custom configuration.

pub fn add_rule(&mut self, rule: SesRewriteRule)

Add a custom rewrite rule.

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

Simplify expr using multi-pass rewriting until fixpoint or max_passes.

pub fn evaluate( &mut self, expr: &SesExpr, vars: &HashMap<String, f64>, ) -> Result<f64, SesError>

Evaluate expr numerically given variable bindings.

pub fn differentiate(&mut self, expr: &SesExpr, var: &str) -> SesExpr

Compute the symbolic derivative of expr with respect to var.

pub fn substitute( &self, expr: &SesExpr, var: &str, replacement: &SesExpr, ) -> SesExpr

Substitute all occurrences of var in expr with replacement.

pub fn contains_var(&self, expr: &SesExpr, var: &str) -> bool

Returns true if expr contains the variable var.

pub fn collect_vars(&self, expr: &SesExpr) -> HashSet<String>

Collect all distinct variable names appearing in expr.

pub fn to_string(&self, expr: &SesExpr) -> String

Convert expr to infix string notation with minimal parentheses.

pub fn parse(s: &str) -> Result<SesExpr, SesError>

Parse an infix expression string into a SesExpr.

Supports: numbers, identifiers (variables), +, -, *, /, ^, unary -, and function calls sin, cos, exp, ln, sqrt, abs. Parentheses and |...| for absolute value are also supported.

pub fn simplifier_stats(&self) -> SesSimplifierStats

Return current simplifier statistics.

pub fn history(&self) -> &VecDeque<SesSimplificationStep>

Return a reference to the simplification history.

pub fn clear_history(&mut self)

Clear the simplification history.

pub fn config(&self) -> &SesSimplifierConfig

Return a reference to the current configuration.

pub fn rule_count(&self) -> usize

Return number of registered rules.

Trait Implementations

impl Default for SymbolicExpressionSimplifier

fn default() -> Self

Returns the “default value” for a type.